aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Add list of optimizations currently implementedGravatar jadep2017-01-09
* Update list of .PHONY targetsGravatar Jason Gross2017-01-09
* update-_CoqProjectGravatar Jason Gross2017-01-07
* copy_boundsGravatar Jason Gross2017-01-07
* Add reified LadderStep without carriesGravatar Jason Gross2017-01-07
* Add ladderstep_other_assocGravatar Jason Gross2017-01-07
* Revert "Add apply10"Gravatar Jason Gross2017-01-07
* Add apply10Gravatar Jason Gross2017-01-07
* copy_boundsGravatar Jason Gross2017-01-07
* Add Common10_4OpGravatar Jason Gross2017-01-07
* Add Expr10_4OpGravatar Jason Gross2017-01-07
* Add i10top_correct_and_boundedGravatar Jason Gross2017-01-07
* Add appify10Gravatar Jason Gross2017-01-07
* Add more generic ladderstepGravatar Jason Gross2017-01-07
* Better version of path separator usageGravatar Jason Gross2017-01-07
* Kludge to get a Windows-valid .dir-locals.elGravatar Jason Gross2017-01-07
* Replace $(shell pwd) with ${CURDIR}Gravatar Jason Gross2017-01-05
* Better word operationsGravatar Jason Gross2017-01-03
* Revert "Add Bedrock.Word.{wordToZ,ZToWord}"Gravatar Jason Gross2017-01-03
* Add Bedrock.Word.{wordToZ,ZToWord}Gravatar Jason Gross2017-01-03
* Add word versions of ModularBaseSystemListZOperationsGravatar Jason Gross2017-01-03
* Add ZToWord,wordToZGravatar Jason Gross2017-01-03
* Add fixed word size definitionsGravatar Jason Gross2017-01-03
* Fixes for Coq 8.4Gravatar Jason Gross2017-01-03
* Add src/Reflection/MapCastWithCastOp.vGravatar Jason Gross2017-01-01
* Remove [Print]Gravatar Jason Gross2017-01-01
* Redo MultiSizeTest with generic frameworkGravatar Jason Gross2017-01-01
* Transparent versions of {flat_,}type_eq_decGravatar Jason Gross2017-01-01
* Add generic code for MultiSizeTestGravatar Jason Gross2017-01-01
* Add smart_interp_map_genGravatar Jason Gross2017-01-01
* Add SmartFlatTypeMap2Gravatar Jason Gross2016-12-26
* Add flatten_flat_typeGravatar Jason Gross2016-12-26
* Fix Coq 8.6 warningsGravatar Jason Gross2016-12-26
* make update-_CoqProjectGravatar Jason Gross2016-12-26
* MultiSizeTest: a basic example of the scheme I have in mind for bounds infere...Gravatar Adam Chlipala2016-12-25
* Use 8.6 rather than 8.6rc1 on travisGravatar Jason Gross2016-12-19
* Fix 8.4 build issuesGravatar Jason Gross2016-12-15
* Fix 8.4 issuesGravatar Jason Gross2016-12-15
* Work around bug in 8.4 implicitsGravatar Jason Gross2016-12-14
* Work around bug in 8.4 applyGravatar Jason Gross2016-12-14
* More travis fixups for package installationGravatar Jason Gross2016-12-08
* Only install Coq package on travisGravatar Jason Gross2016-12-08
* Admit Common9_4Op.vGravatar Jason Gross2016-12-08
* Test 8.6rc1 on travisGravatar Jason Gross2016-12-08
* Add trunk as an allowed failure to .travis.ymlGravatar Jason Gross2016-12-06
* Update .travis.ymlGravatar Jason Gross2016-12-05
* Update .travis.ymlGravatar Jason Gross2016-12-05
* Only test 8.6beta1 on travisGravatar Jason Gross2016-12-05
* Don't use UIP in inversion_wffGravatar Jason Gross2016-12-03
* Add inversion_wffGravatar Jason Gross2016-12-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 17:07:47 +0000