aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/Z/Reify.v
Commit message (Expand)AuthorAge
* An approximately first stab DeBruijn word-size-selGravatar Jason Gross2017-04-03
* More robust reifierGravatar Jason Gross2017-03-29
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Rename Interp lemmasGravatar Jason Gross2017-02-21
* Split up Reflection/Z/Syntax and make it smallerGravatar Jason Gross2017-02-02
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Fix reification of negGravatar Jason Gross2016-11-11
* Remove special code for reified conditional subGravatar Jason Gross2016-11-11
* Preliminary support: conditional sub as primitiveGravatar Jason Gross2016-11-06
* Add support for dependent reificationGravatar Jason Gross2016-11-06
* Revert "Premature optimization of [Reify_rhs]"Gravatar Jason Gross2016-10-30
* Premature optimization of [Reify_rhs]Gravatar Jason Gross2016-10-30
* Make Z Reification handle correctness proofsGravatar Jason Gross2016-10-30
* Generalize InputSyntax.Compile_correctGravatar Jason Gross2016-10-30
* Minor reflective changesGravatar Jason Gross2016-10-30
* Fix an infinite loopGravatar Jason Gross2016-10-29
* Add Inline importGravatar Jason Gross2016-10-27
* Add syntax and reification for the ops in GF25519Gravatar Jason Gross2016-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 13:29:40 +0000