aboutsummaryrefslogtreecommitdiff
path: root/src/Assembly
Commit message (Expand)AuthorAge
* 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
* Parsing portion of StringConversionGravatar Robert Sloan2016-06-22
* AlmostConversion and part of StringConversionGravatar Robert Sloan2016-06-22
* PseudoMedialConversion doneGravatar 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
* MedialConversions doneGravatar Robert Sloan2016-06-22
* Tuple-ization tactics workGravatar Robert Sloan2016-06-22
* Fixed MultiBoundedWords to use wand_maskGravatar Robert Sloan2016-06-22
* Full-pipeline exampleGravatar Robert Sloan2016-06-22
* multi works with enough timeGravatar Robert Sloan2016-06-22
* pushed mul through the pipelineGravatar Robert Sloan2016-06-22
* Pushed through 2-ary multiplication except conversionsGravatar Robert Sloan2016-06-22
* Finished first draft of PseudoConversionsGravatar Robert Sloan2016-06-22
* actually-decent PseudoConversion semanticsGravatar 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
* Hypothesis-based Bounded WordsGravatar Robert Sloan2016-06-22
* Assembly converted except String and Gallina conversionsGravatar Robert Sloan2016-06-22
* Simpler QhasmCommon grammarGravatar Robert Sloan2016-06-22
* figured out all that crazy joinWords refinementGravatar 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
* add Assembly to CoqProjectGravatar Robert Sloan2016-06-22
* Module-based reorganization of Qhasm codeGravatar Robert Sloan2016-06-22
* qhasm formal specification + evaluation finishedGravatar Robert Sloan2016-06-22
* nicer verify() derivation starterGravatar Andres Erbsen2016-06-22
* reasonable versionGravatar Robert Sloan2016-06-22
* remove bedrock from COQ_ARGS because we all use COQPATHGravatar Robert Sloan2016-06-22
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-06-22
* asdfGravatar Robert Sloan2016-02-08
* word bound propagation examplesGravatar Andres Erbsen2015-10-30
* bingfGravatar Robert Sloan2015-10-29
* patches for galoisGravatar Robert Sloan2015-10-27
* pull changes from desktopGravatar Robert Sloan2015-10-19
* pull changes from desktopGravatar Robert Sloan2015-10-19
* gfPlus abstractionGravatar Robert Sloan2015-10-16
* remove broken codeGravatar Robert Sloan2015-09-20
* make ring decidable + define constantsGravatar Robert Sloan2015-09-19
* fix module structure + add assembly placeholderGravatar Robert Sloan2015-09-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 20:31:09 +0000