aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Switch Coq {8.6 => 8.6.1} on travisGravatar Jason Gross2017-10-06
* Drop 8.5 travis buildGravatar Jason Gross2017-10-06
* Fix printenv sed script in Makefile for Windows supportGravatar Jason Gross2017-10-06
* Coq 8.5 can't handle symbol-free notationsGravatar Jason Gross2017-10-06
* Fix display logGravatar Jason Gross2017-10-06
* Clean up TestCase a bitGravatar Jason Gross2017-10-06
* Add another constantGravatar Jason Gross2017-10-06
* Fix the printlite targetGravatar Jason Gross2017-10-06
* Add pow_ceil_mul_nat_nonnegGravatar Jason Gross2017-10-05
* Add PoseTermWithNameGravatar Jason Gross2017-10-05
* Factor out some bits of ladderstep preglueGravatar Jason Gross2017-10-05
* Add some ZUtil lemmasGravatar Jason Gross2017-10-03
* Make some typeclasses opaqueGravatar Jason Gross2017-10-02
* Speed up reification a little bitGravatar Jason Gross2017-10-02
* Add missing tactic in comment in ladderstepGravatar Jason Gross2017-09-27
* Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...Gravatar Jason Gross2017-09-27
* Add BITWIDTH=64 to extract-function.sh rule in MakefileGravatar Jason Gross2017-09-27
* Add example usageGravatar Jason Gross2017-09-27
* Update etc scripts to include governorGravatar Jason Gross2017-09-27
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
* Add missing fileGravatar Jason Gross2017-09-21
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
* Update constants filesGravatar Jason Gross2017-09-21
* Add extract_ExprGravatar Jason Gross2017-09-21
* Split off tactics in IntegrationTestDisplayCommonGravatar Jason Gross2017-09-21
* Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before searchin...Gravatar Jason Gross2017-09-16
* Drop test target on travisGravatar Jason Gross2017-09-16
* Test `make bench` on travis.Gravatar Jason Gross2017-09-15
* Don't inline measure_helperGravatar Jason Gross2017-09-15
* Allow bp in inline asm by tweaking measureGravatar Jason Gross2017-09-15
* Merge remote-tracking branch 'origin/master'Gravatar Jason Gross2017-09-15
|\
| * Use imul (not sure if it's better...)Gravatar Jason Gross2017-09-12
* | Use imul (not sure if it's better...)Gravatar Jason Gross2017-09-12
|/
* make benchGravatar Jason Gross2017-09-12
* Preserved rbp, not rspGravatar Jason Gross2017-09-12
* Don't claim to clobber rbpGravatar Jason Gross2017-09-12
* Be better about asm syntax dialectsGravatar Jason Gross2017-09-12
* Update register allocation moreGravatar Jason Gross2017-09-12
* Update reg allocGravatar Jason Gross2017-09-12
* Update extract-function.sh for inline asmGravatar Jason Gross2017-09-12
* Add reg alloc to rootGravatar Jason Gross2017-09-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 10:47:52 +0000