aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/opened
Commit message (Expand)AuthorAge
* admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Gravatar Enrico Tassi2015-03-11
* Test for bug #2951.Gravatar Pierre-Marie Pédrot2015-03-08
* Fix test-suite file, this is open.Gravatar Matthieu Sozeau2015-03-03
* Add missing test-suite files and update gitignore.Gravatar Matthieu Sozeau2015-03-03
* Fix test for #3848, still open.Gravatar Maxime Dénès2015-02-27
* Moving test for #3467 to closed after PMP's fix.Gravatar Maxime Dénès2015-02-27
* Fix test-suite files for bugs #2456 and #3593, still open.Gravatar Maxime Dénès2015-02-27
* Moving tests for #2456 and #3593 to "opened" until they're fixed.Gravatar Maxime Dénès2015-02-27
* Moving test of #3848 to "opened".Gravatar Maxime Dénès2015-02-27
* Test for bug #3298.Gravatar Pierre-Marie Pédrot2015-02-26
* Moving test for bug #3681 as closed.Gravatar Pierre-Marie Pédrot2015-02-26
* Moving test for bug #3071.Gravatar Pierre-Marie Pédrot2015-02-21
* Test for bug #3490.Gravatar Pierre-Marie Pédrot2015-02-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 23:54:19 +0000