aboutsummaryrefslogtreecommitdiff
path: root/src/Assembly/Pipeline.v
Commit message (Expand)AuthorAge
* Fixes for Coq 8.4Gravatar Jason Gross2016-10-27
* Tactics to manually remove Z.to/of_N and suchGravatar Robert Sloan2016-10-26
* Refactors to remove intermediate conversionsGravatar Robert Sloan2016-10-26
* Refactors to remove intermediate conversions in HLConversionsGravatar Robert Sloan2016-10-25
* Use HL conversions for all data types + Pipeline.v refactorsGravatar Robert Sloan2016-10-24
* Make lower bounds work by using HL conversionsGravatar Robert Sloan2016-10-21
* committing unstable refactors to patch masterGravatar Robert Sloan2016-10-21
* Fast bounds-checking machinery but lower-bounds are brokenGravatar Robert Sloan2016-10-18
* Converting to bounded machineryGravatar Robert Sloan2016-10-17
* Moved to non-extended operations + Extraction + Bounds-checkingGravatar Robert Sloan2016-10-14
* Well, here's the program instance. The string conversion is still running.Gravatar Robert Sloan2016-10-13
* More minor improvements in Conversions.v and Compile.vGravatar Robert Sloan2016-10-13
* More minor improvements in Conversions.v and Compile.vGravatar Robert Sloan2016-10-13
* Minor refactors waiting for the code generation to finishGravatar Robert Sloan2016-10-13
* Minor refactors waiting for the code generation to finishGravatar Robert Sloan2016-10-13
* Refactors of ge25519_ast working in Pipeline.vGravatar Rob Sloan2016-10-12
* Complete example + GF25519 outline in Pipeline.vGravatar Robert Sloan2016-10-02
* Large-scale refactoring of src/AssemblyGravatar Robert Sloan2016-09-24
* Experimental requirements for rsloan-phoasGravatar Robert Sloan2016-08-23
* Move most notation level declarations into UtilGravatar Jason Gross2016-07-27
* Remove examples for 8.4 compatibilityGravatar Robert Sloan2016-06-23
* Make Pipeline.v Build on 8.4Gravatar Robert Sloan2016-06-23
* QhasmUtil.v: Remove 8.4-incompatible intro nameGravatar Robert Sloan2016-06-23
* Pipeline: several new examplesGravatar Robert Sloan2016-06-23
* Pseudize Lemmas for Dual OperationsGravatar Robert Sloan2016-06-23
* Integrate Pseudize into Pipeline.vGravatar Robert Sloan2016-06-23
* Integrate Pseudize into Pipeline.vGravatar Robert Sloan2016-06-23
* Make Assembly modules 8.5-compatibleGravatar Robert Sloan2016-06-22
* Fix build processGravatar Robert Sloan2016-06-22
* merging with masterGravatar Robert Sloan2016-06-06
* Full pipeline working againGravatar Robert Sloan2016-06-06
* Huge Language / Conversion refactorsGravatar Robert Sloan2016-06-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 16:22:56 +0000