index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
/
compile-by-zinc
Commit message (
Expand
)
Author
Age
*
Fix assembly
Jason Gross
2017-09-12
*
WIP on reg alloc for asm output
Jason Gross
2017-09-11
*
Fix (hopefully) overlap in reg
Jason Gross
2017-09-05
*
Fix schedule to be in correct order
Jason Gross
2017-09-05
*
WIP
Jason Gross
2017-09-05
*
Fix schedule
Jason Gross
2017-09-05
*
WIP on reg alloc
Jason Gross
2017-09-04
*
chmod +x
Jason Gross
2017-09-04
*
Add display files (temporary, kind-of)
Jason Gross
2017-09-04
*
WIP Update compile with registers
Jason Gross
2017-09-04
*
More WIP on register allocation
Jason Gross
2017-08-17
*
Handle most of register allocation
Jason Gross
2017-08-14
*
Handle equality in parsing
Jason Gross
2017-08-14
*
Fixup header and footer
Jason Gross
2017-08-14
*
Update scheduler to know about implicit mulx arg
Jason Gross
2017-08-14
*
Use a more realistic processor model
Jason Gross
2017-08-13
*
Revert "Revert "Subset compiler differently""
Jason Gross
2017-08-13
*
Revert "Subset compiler differently"
Jason Gross
2017-08-13
*
Subset compiler differently
Jason Gross
2017-08-13
*
Add heuristic search
Jason Gross
2017-08-13
*
Update the graph maker
Jason Gross
2017-08-13
*
Update exhaustive search compiler
Jason Gross
2017-08-13
*
Add memoize.py to zinc compiler folder
Jason Gross
2017-08-11
*
wip on register allocation in python
Jason Gross
2017-08-09
*
Fix the sense of dependencies in zinc generation
Jason Gross
2017-08-09
*
Get all scheduling done in one frame
Jason Gross
2017-08-09
*
Fix wip
Jason Gross
2017-08-09
*
Larger instruction window for zinc
Jason Gross
2017-08-09
*
Add a faster version of the zinc compiler
Jason Gross
2017-08-06
*
Add initial stab at C-compilation by optimization
Jason Gross
2017-08-06