aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/MultiSizeTest2.v
Commit message (Expand)AuthorAge
* make 8.5 happyGravatar Andres Erbsen2017-03-02
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Split up BoundByCastGravatar Jason Gross2017-02-13
* Generalize BoundByCast a bitGravatar Jason Gross2017-02-10
* Remove useless importsGravatar Jason Gross2017-02-08
* Factor things into BoundByCast.vGravatar Jason Gross2017-02-08
* Fix type inference bug in 8.6Gravatar Jason Gross2017-02-08
* Simpler version of MapCastGravatar Jason Gross2017-02-08
* Split off some bits of Reflection.SyntaxGravatar Jason Gross2017-01-26
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Split out Reflection.Equality, change Tflat implicit argumentGravatar Jason Gross2017-01-19
* 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-05-20 14:27:57 +0000