aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/primitiveproj.v
Commit message (Expand)AuthorAge
* Add test-suite case for performance, had to use TimeoutGravatar Matthieu Sozeau2018-06-15
* [compat] Remove NOOP and alias deprecated options.Gravatar Emilio Jesus Gallego Arias2018-03-04
* test-suite: more use of the new command Extraction TestCompileGravatar Pierre Letouzey2017-07-27
* Prelude : no more autoload of plugins extraction and recdefGravatar Pierre Letouzey2017-06-14
* Fixed bug #4622.Gravatar Matthieu Sozeau2016-07-06
* Disallow dependent case on prim records w/o etaGravatar Matthieu Sozeau2016-07-06
* Primitive projections: protect kernel from erroneous definitions.Gravatar Matthieu Sozeau2016-03-10
* Fixing logical bugs in the presence of let-ins in computiong primitiveGravatar Hugo Herbelin2015-11-18
* Extraction: fix primitive projection extraction.Gravatar Matthieu Sozeau2015-07-22
* Revert specific syntax for primitive projections, avoiding uglyGravatar Matthieu Sozeau2014-09-17
* Parsing and printing of primitive projections, fix buggy behavior whenGravatar Matthieu Sozeau2014-09-10
* - Fix printing and parsing of primitive projections, including the SetGravatar Matthieu Sozeau2014-09-09
* Fix primitive projections declarations for inductive records.Gravatar Matthieu Sozeau2014-09-05
* Simplify even further the declaration of primitive projections,Gravatar Matthieu Sozeau2014-08-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 06:29:34 +0000