aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add document describing suggested cleanupGravatar jadep2017-01-17
* Use match in curry2; this gives better reificationGravatar Jason Gross2017-01-15
* Add curry.vGravatar Jason Gross2017-01-15
* More universe fixesGravatar Jason Gross2017-01-15
* Fix an issue with universesGravatar Jason Gross2017-01-15
* Update expansion.mdGravatar Andres Erbsen2017-01-13
* Add link to CEP in expansion.mdGravatar Jason Gross2017-01-12
* list of possible expansionsGravatar Andres Erbsen2017-01-12
* record golang poly1305 bugGravatar Andres Erbsen2017-01-11
* Add ApplicationRelationsGravatar Jason Gross2017-01-10
* another update to optimizations.mdGravatar jadep2017-01-09
* optimizations.md: recategorize + reorderGravatar jadep2017-01-09
* Add Syntax.tuple_mapGravatar Jason Gross2017-01-09
* optimizations.md: recategorize a couple thingsGravatar jadep2017-01-09
* Add >>> reserved notationGravatar Jason Gross2017-01-09
* Add Zmod_to_equiv_moduloGravatar Jason Gross2017-01-09
* optimizations.md: add missing descriptions and Karatsuba's trickGravatar jadep2017-01-09
* optimizations.md: formatting fixGravatar jadep2017-01-09
* optimizations.md: formatting fixGravatar jadep2017-01-09
* optimizations.md: formatting fixGravatar jadep2017-01-09
* Add descriptions to optimizations.mdGravatar jadep2017-01-09
* fix typo in optimizations.mdGravatar jadep2017-01-09
* shorten links in optimizations.mdGravatar jadep2017-01-09
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 11:59:19 +0000