index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add curve25519-donna-c64 to etc/third_party
Jason Gross
2017-09-27
*
Add missing file
Jason Gross
2017-09-21
*
Add femul,fesqure for C32
Jason Gross
2017-09-21
*
Update constants files
Jason Gross
2017-09-21
*
Add extract_Expr
Jason Gross
2017-09-21
*
Split off tactics in IntegrationTestDisplayCommon
Jason Gross
2017-09-21
*
Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before searchin...
Jason Gross
2017-09-16
*
Drop test target on travis
Jason Gross
2017-09-16
*
Test `make bench` on travis.
Jason Gross
2017-09-15
*
Don't inline measure_helper
Jason Gross
2017-09-15
*
Allow bp in inline asm by tweaking measure
Jason Gross
2017-09-15
*
Merge remote-tracking branch 'origin/master'
Jason Gross
2017-09-15
|
\
|
*
Use imul (not sure if it's better...)
Jason Gross
2017-09-12
*
|
Use imul (not sure if it's better...)
Jason Gross
2017-09-12
|
/
*
make bench
Jason Gross
2017-09-12
*
Preserved rbp, not rsp
Jason Gross
2017-09-12
*
Don't claim to clobber rbp
Jason Gross
2017-09-12
*
Be better about asm syntax dialects
Jason Gross
2017-09-12
*
Update register allocation more
Jason Gross
2017-09-12
*
Update reg alloc
Jason Gross
2017-09-12
*
Update extract-function.sh for inline asm
Jason Gross
2017-09-12
*
Add reg alloc to root
Jason Gross
2017-09-12
*
Fix assembly
Jason Gross
2017-09-12
*
WIP on reg alloc for asm output
Jason Gross
2017-09-11
*
fsatz tests: 1/(1/x) = x
Andres Erbsen
2017-09-11
*
Fix more commented out alternatives
Jason Gross
2017-09-05
*
Fix commented out alternate version in ladderstep
Jason Gross
2017-09-05
*
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
*
Add decidable equality with nil
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
[next]