aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/opened
Commit message (Expand)AuthorAge
* Adding test for bug #3786.Gravatar Pierre-Marie Pédrot2015-02-11
* Revert "Update test for #3363 now that Require is forbidden inside modules."Gravatar Maxime Dénès2015-01-17
* Update test for #3363 now that Require is forbidden inside modules.Gravatar Maxime Dénès2015-01-12
* Fixing wrong notation level in #3295.Gravatar Hugo Herbelin2014-12-19
* #3828 is solved.Gravatar Hugo Herbelin2014-12-16
* Moving #2447 (congruence) to fixed.Gravatar Hugo Herbelin2014-12-16
* New reproduction cases for the test suite.Gravatar Xavier Clerc2014-12-11
* Commits on evar-evar unification fixed HoTT_coq_106 and improved theGravatar Hugo Herbelin2014-12-05
* Adding test for bug #3417.Gravatar Pierre-Marie Pédrot2014-11-30
* Test for bug #3487.Gravatar Pierre-Marie Pédrot2014-11-30
* Test of bug #3682.Gravatar Pierre-Marie Pédrot2014-11-30
* Bug #3804 is actually closed (thanks to Jason Gross for the notification).Gravatar Xavier Clerc2014-11-25
* Tweak some test cases.Gravatar Xavier Clerc2014-11-25
* Adding test for bug #3248.Gravatar Pierre-Marie Pédrot2014-11-24
* Cleaning up closed bugs in test-suite.Gravatar Pierre-Marie Pédrot2014-11-21
* Add missing "Fail" to test case for bug #2814.Gravatar Xavier Clerc2014-11-14
* Reproduction cases for the test suite.Gravatar Xavier Clerc2014-11-14
* Test #3655 was failing due to an anomaly. Now it rather has to failGravatar Hugo Herbelin2014-11-08
* Test fixed by PMP's commits from Oct 21.Gravatar Hugo Herbelin2014-11-08
* test suite: some reproduction cases for recently-reported bugs.Gravatar Xavier Clerc2014-11-04
* New bugs revealed fixed: #3408 by (probably) Maxime's commitsGravatar Hugo Herbelin2014-11-03
* More precise test for #3459.Gravatar Hugo Herbelin2014-10-21
* Bug fixed by Hugo.Gravatar Matthieu Sozeau2014-10-16
* Adding a timeout to bug #2447.Gravatar Pierre-Marie Pédrot2014-10-15
* Fix for bug #3618.Gravatar Matthieu Sozeau2014-10-15
* Bug 3692 is fixed.Gravatar Matthieu Sozeau2014-10-15
* Bug 3628 is fixed.Gravatar Matthieu Sozeau2014-10-15
* Add a bunch of reproduction files for bugs.Gravatar Xavier Clerc2014-10-03
* Add a bunch of reproduction files for bugs.Gravatar Xavier Clerc2014-09-30
* In evarconv and unification, expand folded primitive projections toGravatar Matthieu Sozeau2014-09-29
* Keyed unification option, compiling the whole standard libraryGravatar Matthieu Sozeau2014-09-27
* Add a boolean to indicate the unfolding state of a primitive projection,Gravatar Matthieu Sozeau2014-09-27
* Add a bunch of reproduction files for bugs.Gravatar Xavier Clerc2014-09-26
* Add missing "Fail" to bug cases.Gravatar Xavier Clerc2014-09-26
* Bug #3566 is fixed.Gravatar Xavier Clerc2014-09-26
* Add several reproduction files for bugs.Gravatar Xavier Clerc2014-09-25
* Update test-suite files.Gravatar Matthieu Sozeau2014-09-24
* Update test-suite files after last commit. Add a file for rewrite_stratGravatar Matthieu Sozeau2014-09-17
* Revert specific syntax for primitive projections, avoiding uglyGravatar Matthieu Sozeau2014-09-17
* Fix test-suite files, and move some opened to closed.Gravatar Matthieu Sozeau2014-09-11
* Status error for bug #3459.Gravatar Pierre-Marie Pédrot2014-09-04
* Fixing bug #3377 by giving env and sigma to constrMathching. Now it's possibleGravatar Matthieu Sozeau2014-08-25
* Fix test-suite file.Gravatar Matthieu Sozeau2014-08-18
* Restrict eta-conversion to inductive records, fixing bug #3310.Gravatar Matthieu Sozeau2014-08-14
* Fix evarconv not applying eta when it used to. Fixes bug#3319.Gravatar Matthieu Sozeau2014-08-08
* Fix eta expansion of primitive records (HoTT bug #78), which now fails cleanl...Gravatar Matthieu Sozeau2014-07-03
* Indeed simpl never is really honored now.Gravatar Matthieu Sozeau2014-07-02
* Invalid bug report.Gravatar Matthieu Sozeau2014-06-26
* Fix bug # 3325 using canonical structure declarations where needed.Gravatar Matthieu Sozeau2014-06-26
* Add an option to disable typeclass resolution during conversion, whichGravatar Matthieu Sozeau2014-06-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 09:10:31 +0000