summaryrefslogtreecommitdiffstats
path: root/testsuite/external/.ignore
AgeCommit message (Expand)Author
2014-04-25update to use the git version of camlp5Damien Doligez
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-04-04merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14...Damien Doligez
2013-11-28testsuite/external: update coq, lablgtk, alt-ergoDamien Doligez
2013-11-27update for latest trunk changesDamien Doligez
2013-09-12Merge branch 4.01 from 4.01.0+rc1 to 4.01.0Damien Doligez
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-06-03update external tests -- camlp5 still missing because the AST has changedDamien Doligez
2013-04-13updatesDamien Doligez
2013-04-04add compcert to the test suiteDamien Doligez
2013-03-18update some programsDamien Doligez
2013-02-26update to latest version of a few programsDamien Doligez
2012-12-20add kaputt to the external test suiteDamien Doligez
2012-10-05ignore build dir for frama-cDamien Doligez
2012-09-28update hevea + small changes for cygwinDamien Doligez
2012-08-10ignore generated filesDamien Doligez
2012-08-09ignore generated filesDamien Doligez
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 12:26:58 +0000