aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Expand)AuthorAge
...
* 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
* Better version of linearize without a-normal formGravatar Jason Gross2017-04-14
* Use 128/256 in ladderstep 130Gravatar Jason Gross2017-04-14
* Split off a-normal form from flatteningGravatar Jason Gross2017-04-14
* Remove old versions of wordsize selectionGravatar Jason Gross2017-04-14
* Remove useless importGravatar Jason Gross2017-04-14
* Add CSE specialized to ZGravatar Jason Gross2017-04-14
* Add base_type_leb_totalGravatar Jason Gross2017-04-14
* Add some CSE propertiesGravatar Jason Gross2017-04-14
* Ask for leb on op codes and base types, not flat typesGravatar Jason Gross2017-04-14
* Add support for cse-modulo-normalizationGravatar Jason Gross2017-04-14
* Update CSE proof with some help from AdamGravatar Jason Gross2017-04-14
* Clean up ladderstep goal with help from AndresGravatar Jason Gross2017-04-14
* Prove interp correctness of register reassignGravatar Jason Gross2017-04-13
* Add Named.Syntax.InterpGravatar Jason Gross2017-04-13
* Add lookupb_removeGravatar Jason Gross2017-04-13
* Add lookupb_removeb_sameGravatar Jason Gross2017-04-13
* Add lookupb_remove_not_inGravatar Jason Gross2017-04-13
* Add ContextOnOkGravatar Jason Gross2017-04-13
* Remove dead code in commentsGravatar Jason Gross2017-04-13
* Handle implications in pipeline glueGravatar Jason Gross2017-04-13
* Add denoter for symbolic_exprGravatar Jason Gross2017-04-12
* SOp needs to hold the type of the arguments, for denoteGravatar Jason Gross2017-04-12
* Hold types in SFst and SSndGravatar Jason Gross2017-04-12
* More WIP on CSE interpGravatar Jason Gross2017-04-11
* Extend cse context when inliningGravatar Jason Gross2017-04-11
* Add initial version of CSE interpGravatar Jason Gross2017-04-11
* Generalize prepend_prefixGravatar Jason Gross2017-04-10
* Finish CSE_WfGravatar Jason Gross2017-04-10
* Finish most of wf for CSEGravatar Jason Gross2017-04-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 00:13:29 +0000