aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Fix assemblyGravatar Jason Gross2017-09-12
* WIP on reg alloc for asm outputGravatar Jason Gross2017-09-11
* fsatz tests: 1/(1/x) = xGravatar Andres Erbsen2017-09-11
* Fix more commented out alternativesGravatar Jason Gross2017-09-05
* Fix commented out alternate version in ladderstepGravatar Jason Gross2017-09-05
* Fix (hopefully) overlap in regGravatar Jason Gross2017-09-05
* Fix schedule to be in correct orderGravatar Jason Gross2017-09-05
* WIPGravatar Jason Gross2017-09-05
* Fix scheduleGravatar Jason Gross2017-09-05
* WIP on reg allocGravatar Jason Gross2017-09-04
* chmod +xGravatar Jason Gross2017-09-04
* Add display files (temporary, kind-of)Gravatar Jason Gross2017-09-04
* WIP Update compile with registersGravatar Jason Gross2017-09-04
* More WIP on register allocationGravatar Jason Gross2017-08-17
* Handle most of register allocationGravatar Jason Gross2017-08-14
* Handle equality in parsingGravatar Jason Gross2017-08-14
* Fixup header and footerGravatar Jason Gross2017-08-14
* Update scheduler to know about implicit mulx argGravatar Jason Gross2017-08-14
* Use a more realistic processor modelGravatar Jason Gross2017-08-13
* Revert "Revert "Subset compiler differently""Gravatar Jason Gross2017-08-13
* Revert "Subset compiler differently"Gravatar Jason Gross2017-08-13
* Subset compiler differentlyGravatar Jason Gross2017-08-13
* Add heuristic searchGravatar Jason Gross2017-08-13
* Add decidable equality with nilGravatar Jason Gross2017-08-13
* Update the graph makerGravatar Jason Gross2017-08-13
* Update exhaustive search compilerGravatar Jason Gross2017-08-13
* Add memoize.py to zinc compiler folderGravatar Jason Gross2017-08-11
* wip on register allocation in pythonGravatar Jason Gross2017-08-09
* Fix the sense of dependencies in zinc generationGravatar Jason Gross2017-08-09
* Get all scheduling done in one frameGravatar Jason Gross2017-08-09
* Fix wipGravatar Jason Gross2017-08-09
* Larger instruction window for zincGravatar Jason Gross2017-08-09
* Add a faster version of the zinc compilerGravatar Jason Gross2017-08-06
* Add initial stab at C-compilation by optimizationGravatar Jason Gross2017-08-06
* Update crypto-defects.mdGravatar Andres Erbsen2017-07-29
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* Unfold tuple arguments in reflective pipelineGravatar Jason Gross2017-07-08
* Add cbv_runtime in Arithmetic/CoreGravatar Jason Gross2017-07-08
* Make some tactics a bit more powerfulGravatar Jason Gross2017-07-08
* Also test coq v8.7 on travisGravatar Jason Gross2017-07-08
* Fix Demo.vGravatar Jason Gross2017-07-08
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* More fine-grained importsGravatar Jason Gross2017-07-08
* Add UnfoldArgGravatar Jason Gross2017-07-08
* Update .gitignore with compilation outputsGravatar Jason Gross2017-07-08
* Fix format warning in gccGravatar Jason Gross2017-07-08
* Fix CSE_sym denoteGravatar Jason Gross2017-07-07
* Fix proofs broken by previous commitGravatar Jason Gross2017-07-07
* Stronger contextsGravatar Jason Gross2017-07-07
* README: recommend against Coq 8.5Gravatar Andres Erbsen2017-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 11:57:37 +0000