aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/interactive
Commit message (Expand)AuthorAge
* Moving bug numbers to BZ# format in the test-suite.Gravatar Théo Zimmermann2017-10-19
* Ensuring all .v files end with a newline to make "sed -i" work better on them.Gravatar Hugo Herbelin2017-08-21
* Error box detection run only on errorGravatar Enrico Tassi2016-06-06
* STM: proof block detection made optional + simple testGravatar Enrico Tassi2016-06-06
* Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
* Test file for bug #4289 (buggy hash-consing of kernel name pairsGravatar Hugo Herbelin2015-07-30
* nanoPG: better copy/pasteGravatar Enrico Tassi2014-03-13
* rename Paral-ITP demo fileGravatar Enrico Tassi2014-01-13
* Paral-ITP demo: better commentsGravatar Enrico Tassi2014-01-13
* STM: fix very simple demoGravatar Enrico Tassi2014-01-13
* fix simple test for paral-itpGravatar Enrico Tassi2014-01-06
* demo file for paral-itpGravatar gareuselesinge2013-10-01
* Trickyer test for Paral-ITPGravatar gareuselesinge2013-08-30
* Universe counters on slaves are in sync with masterGravatar gareuselesinge2013-08-20
* Test for Paral-ITPGravatar gareuselesinge2013-08-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Correction bug #1229 (toplevel "unresolved evar" fled throughGravatar herbelin2006-09-23
* Interactive test of BackGravatar herbelin2005-11-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 21:21:23 +0000