aboutsummaryrefslogtreecommitdiff
path: root/src/Assembly/QhasmEvalCommon.v
Commit message (Expand)AuthorAge
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* 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
* AlmostConversion and part of StringConversionGravatar 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
* MedialConversions doneGravatar Robert Sloan2016-06-22
* Tuple-ization tactics workGravatar Robert Sloan2016-06-22
* Pushed through 2-ary multiplication except conversionsGravatar Robert Sloan2016-06-22
* removed float operations + improved pseudo somewhatGravatar Robert Sloan2016-06-22
* Simpler QhasmCommon grammarGravatar Robert Sloan2016-06-22
* Fix Qhasm and AlmostQhasm with new State machineryGravatar Robert Sloan2016-06-22
* Breaking out State into its own fileGravatar Robert Sloan2016-06-22
* Module-based reorganization of Qhasm codeGravatar Robert Sloan2016-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 08:34:49 +0000