aboutsummaryrefslogtreecommitdiff
path: root/src/Assembly/Pseudo.v
Commit message (Expand)AuthorAge
* Move most notation level declarations into UtilGravatar Jason Gross2016-07-27
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* Add Language.v, Conversion.v to _CoqProjectGravatar Robert Sloan2016-06-23
* Make Assembly modules 8.5-compatibleGravatar Robert Sloan2016-06-22
* Full automation for relevant parts of pseudo conversion except letsGravatar Robert Sloan2016-06-22
* Reorganization of wordize.vGravatar Robert Sloan2016-06-22
* Full pipeline working againGravatar Robert Sloan2016-06-22
* Huge Language / Conversion refactorsGravatar Robert Sloan2016-06-22
* More refactors that will make this whole thing very unstableGravatar Robert Sloan2016-06-22
* Running PipelineExampleGravatar Robert Sloan2016-06-22
* Generalized and cleaned up state modelGravatar Robert Sloan2016-06-22
* Finished proofs in QhasmEvalCommon for formalizing mappingsGravatar Robert Sloan2016-06-22
* Major language refactoring to support Memory and AddWithCarryGravatar Robert Sloan2016-06-22
* Tuple-ization tactics workGravatar Robert Sloan2016-06-22
* Pushed through 2-ary multiplication except conversionsGravatar Robert Sloan2016-06-22
* Finished first draft of PseudoConversionsGravatar Robert Sloan2016-06-22
* A little progress on PseudoConversionGravatar Robert Sloan2016-06-22
* removed float operations + improved pseudo somewhatGravatar Robert Sloan2016-06-22
* A little progress on PseudoConversionGravatar Robert Sloan2016-06-22
* Pseudo Evaluation DoneGravatar Robert Sloan2016-06-22
* Part of Pseudo EvaluationGravatar Robert Sloan2016-06-22
* Finished string conversionsGravatar Robert Sloan2016-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 16:10:13 +0000