aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Expand)AuthorAge
* Flip order of extendb, lookup argumentsGravatar Jason Gross2017-05-16
* Remove useless argumentGravatar Jason Gross2017-05-16
* Add Interp_compileGravatar Jason Gross2017-05-16
* Slightly better type for Interp_InterpToPHOASGravatar Jason Gross2017-05-16
* Add Named.ExprInversionGravatar Jason Gross2017-05-15
* Add Wf_from_unitGravatar Jason Gross2017-05-15
* Add src/Compilers/Z/Named/DeadCodeEliminationInterp.vGravatar Jason Gross2017-05-15
* Add DeadCodeEliminationInterpGravatar Jason Gross2017-05-15
* Add a stronger lemma to registerassigninterpGravatar Jason Gross2017-05-15
* disable ANormal form, we now support expression output!Gravatar Andres Erbsen2017-05-14
* Add reserved java notationGravatar Jason Gross2017-05-14
* Add a reserved C notationGravatar Jason Gross2017-05-14
* Merge branch 'with-return' of https://github.com/JasonGross/fiat-crypto into ...Gravatar Andres Erbsen2017-05-14
|\
* | Add GetNamesGravatar Jason Gross2017-05-14
* | Add Named.default_names_forGravatar Jason Gross2017-05-14
| * Stick 'return' at the end of printed functionsGravatar Jason Gross2017-05-14
|/
* Add Named.CountLetsGravatar Jason Gross2017-05-14
* Add Z/Named/DeadCodeElimination.vGravatar Jason Gross2017-05-14
* Split off EliminateDeadCodeGravatar Jason Gross2017-05-14
* Do more arithmetic simplifyingGravatar Jason Gross2017-05-14
* Add support for more constantsGravatar Jason Gross2017-05-14
* Add constant, support pair-returning assignmentGravatar Jason Gross2017-05-14
* More debug info in reificationGravatar Jason Gross2017-05-14
* Ooops, I mixed up Bind Scope and Delimit ScopeGravatar Jason Gross2017-05-14
* Fix some scopingGravatar Jason Gross2017-05-14
* Allow specifying type in nletGravatar Jason Gross2017-05-14
* Comment out CSE in pipelineGravatar Jason Gross2017-05-14
* CSE without inlining arithmetic expressionsGravatar Jason Gross2017-05-14
* Add flatten_binding_list_SmartVarfMap2_pair_in_generalize2Gravatar Jason Gross2017-05-13
* Support destructuring dlet and sletGravatar Jason Gross2017-05-13
* Remove an unneeded require importGravatar Jason Gross2017-05-13
* s/appcontext/context/Gravatar Jason Gross2017-05-11
* Update C notationsGravatar Jason Gross2017-04-20
* Don't needlessly extend the context in CSEGravatar Jason Gross2017-04-17
* Also handle initial type in CSEGravatar Jason Gross2017-04-17
* Allow more transformations in pipelineGravatar Jason Gross2017-04-17
* Prove antisymmetry of CSE lebGravatar Jason Gross2017-04-17
* Fix a bad copy/paste of the recent commitGravatar Jason Gross2017-04-17
* Better error messages in case of reify_abs failureGravatar Jason Gross2017-04-17
* Inline a24_sig in ladderstepGravatar Jason Gross2017-04-17
* Add CSE correctness files for Z-specializationGravatar Jason Gross2017-04-15
* Add more constant notationsGravatar Jason Gross2017-04-15
* Update notation filesGravatar Jason Gross2017-04-15
* Generalize linearize a bit moreGravatar Jason Gross2017-04-15
* More robust pipelineGravatar Jason Gross2017-04-15
* Add a bit more power to side conditions in reflective_interp rewrite dbGravatar Jason Gross2017-04-15
* Generalize MapCastCorrect a bitGravatar Jason Gross2017-04-15
* Fix hint for SimplifyArithGravatar Jason Gross2017-04-15
* Update display of ladderstep130Gravatar Jason Gross2017-04-14
* Prelinearize so we can simplify more arithmetic in pipelineGravatar Jason Gross2017-04-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 11:53:16 +0000