aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/opened
AgeCommit message (Expand)Author
2015-03-11admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Enrico Tassi
2015-03-08Test for bug #2951.Pierre-Marie Pédrot
2015-03-04Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-03Fix test-suite file, this is open.Matthieu Sozeau
2015-03-03Add missing test-suite files and update gitignore.Matthieu Sozeau
2015-02-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-27Fix test for #3848, still open.Maxime Dénès
2015-02-27Moving test for #3467 to closed after PMP's fix.Maxime Dénès
2015-02-27Fix test-suite files for bugs #2456 and #3593, still open.Maxime Dénès
2015-02-27Moving tests for #2456 and #3593 to "opened" until they're fixed.Maxime Dénès
2015-02-27Moving test of #3848 to "opened".Maxime Dénès
2015-02-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-26Test for bug #3298.Pierre-Marie Pédrot
2015-02-26Moving test for bug #3681 as closed.Pierre-Marie Pédrot
2015-02-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-21Moving test for bug #3071.Pierre-Marie Pédrot
2015-02-21Removed tests for #3900 and #3944 as open bugs.Hugo Herbelin
2015-02-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-15Test for bug #3490.Pierre-Marie Pédrot
2015-02-13Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-11Adding test for bug #3786.Pierre-Marie Pédrot
2015-01-28Several reproduction cases for the test suite.Xavier Clerc
2015-01-28Several reproduction cases for the test suite.Xavier Clerc
2015-01-18Revert "Update test for #3363 now that Require is forbidden inside modules."Maxime Dénès
2015-01-17Revert "Update test for #3363 now that Require is forbidden inside modules."Maxime Dénès
2015-01-12Update test for #3363 now that Require is forbidden inside modules.Maxime Dénès
2014-12-19Fixing wrong notation level in #3295.Hugo Herbelin
2014-12-16#3828 is solved.Hugo Herbelin
2014-12-16Moving #2447 (congruence) to fixed.Hugo Herbelin
2014-12-11New reproduction cases for the test suite.Xavier Clerc
2014-12-05Commits on evar-evar unification fixed HoTT_coq_106 and improved theHugo Herbelin
2014-11-30Adding test for bug #3417.Pierre-Marie Pédrot
2014-11-30Test for bug #3487.Pierre-Marie Pédrot
2014-11-30Test of bug #3682.Pierre-Marie Pédrot
2014-11-25Bug #3804 is actually closed (thanks to Jason Gross for the notification).Xavier Clerc
2014-11-25Tweak some test cases.Xavier Clerc
2014-11-24Adding test for bug #3248.Pierre-Marie Pédrot
2014-11-21Cleaning up closed bugs in test-suite.Pierre-Marie Pédrot
2014-11-14Add missing "Fail" to test case for bug #2814.Xavier Clerc
2014-11-14Reproduction cases for the test suite.Xavier Clerc
2014-11-08Test #3655 was failing due to an anomaly. Now it rather has to failHugo Herbelin
2014-11-08Test fixed by PMP's commits from Oct 21.Hugo Herbelin
2014-11-04test suite: some reproduction cases for recently-reported bugs.Xavier Clerc
2014-11-03New bugs revealed fixed: #3408 by (probably) Maxime's commitsHugo Herbelin
2014-10-21More precise test for #3459.Hugo Herbelin
2014-10-16Bug fixed by Hugo.Matthieu Sozeau
2014-10-15Adding a timeout to bug #2447.Pierre-Marie Pédrot
2014-10-15Fix for bug #3618.Matthieu Sozeau
2014-10-15Bug 3692 is fixed.Matthieu Sozeau
2014-10-15Bug 3628 is fixed.Matthieu Sozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 09:53:29 +0000