![]() Implementation of a compiler for a small functional language for the Functional programming and type systems course of the MPRI, given by François Pottier, Didier Rémy, Yann Régis-Gianas and Pierre-Évariste Dagand. School projects Compiler for a small functional language (2018). Here are the report and slides for the intership defense, as well as slides for an audience unfamiliar with abstract interpretation, and the paper we published at TACAS 2017 to present the results ( DOI, mirror). This work was done during my 2016 internship in the Chair of Programming Methodology at ETH Zürich, under the supervision of Caterina Urban. Design and implementation of improved widening operators for the FuncTion tool, an analyser for C programs based on abstract interpretation for deriving sufficient preconditions for termination, guarantee and recurrence properties. Improved widening operators for proving termination by abstract interpretation (2016). Here are the report, the slides for the internship defense and the paper ( DOI, mirror) we published about it after some additional work by Antoine Séré. This work was done during my 2017 internship in the CSL team, under the supervision of Natarajan Shankar. Implementation and verification in PVS of an idealized version of the PVS2C code generator. Verified code generation for the PVS2C code generator (2017). Here are the report, the slides for the internship defense (both in French), and the paper to appear at POPL21 about it. This work was done during my 2018 internship in the Gallium research team under the supervision of Xavier Leroy. Implementation and verification in Coq of the code generation step in the polyhedral model. Thanks also to Spots for the filter textures, and bas080 for textures and fixes, and T4im and est31 for performance improvements.įor details on crafting and usage of this mod, see the Wiki page.Projects Work projects Verified code generation for the polyhedral model (2018). Many thanks go out to Mauvebic for contributing the water flowing code, Nore for making the pneumatic tubes work, and to RealBadAngel for the code Nore used to that end. Install: Download and unzip the above file, rename VanessaE-pipeworks-blahblah to just "pipeworks", and move it into Minetest's mods directory. Recommends: mesecons (commit 5be179bf or newer). Please note that owing to the nature of this for the sake of decent appearance and function, I have opted to use larger-than-16px textures on the pipes and related devices.ĭependencies: Minetest engine 0.4.14 or newer, and a corresponding copy of minetest_game. See below for the crafting guide, or use Creative Mode if you'd rather do that. Tubes come in several variants: Regular clear tubes that simply pass objects from one end to the other, and various kinds of sorting, transport, and Mesecons-compatible signaling tubes. ![]() Note that crafting or digging them will always give you the empty variety. ![]() These windows only appear on straight lengths and on certain junctions. Pipes come in two variants: one type bears one or more dark windows, suggesting they're empty, while the other type bears transparent windows, which show the texture of the liquid they're transporting. This mod uses nodeboxes to supply a complete set of nicely-rounded flanged pipes, along with "valve" and "pump" devices for them, plus a set of boxy, clear pneumatic tubes. (High resolution image - right click and view separately, or load into an image viewer to see it full size)
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |