../ basic001/make the tests respect the IDRIS env variable11 years ago basic002/make the tests respect the IDRIS env variable11 years ago basic003/make the tests respect the IDRIS env variable11 years ago basic004/make the tests respect the IDRIS env variable11 years ago basic005/make the tests respect the IDRIS env variable11 years ago basic006/make the tests respect the IDRIS env variable11 years ago basic007/make the tests respect the IDRIS env variable11 years ago basic008/make the tests respect the IDRIS env variable11 years ago basic009/make the tests respect the IDRIS env variable11 years ago basic010/Consistency of implicit/pattern name binding rules11 years ago basic011/make the tests respect the IDRIS env variable11 years ago basic012/make the tests respect the IDRIS env variable11 years ago basic013/make the tests respect the IDRIS env variable11 years ago basic014/make the tests respect the IDRIS env variable11 years ago basic015/make the tests respect the IDRIS env variable11 years ago basic016/make the tests respect the IDRIS env variable11 years ago bignum001/make the tests respect the IDRIS env variable11 years ago bignum002/make the tests respect the IDRIS env variable11 years ago bounded001/make the tests respect the IDRIS env variable11 years ago classes001/make the tests respect the IDRIS env variable11 years ago corecords001/make the tests respect the IDRIS env variable11 years ago corecords002/make the tests respect the IDRIS env variable11 years ago delab001/make the tests respect the IDRIS env variable11 years ago disambig002/make the tests respect the IDRIS env variable11 years ago docs001/make the tests respect the IDRIS env variable11 years ago docs002/make the tests respect the IDRIS env variable11 years ago docs003/make the tests respect the IDRIS env variable11 years ago docs004/make the tests respect the IDRIS env variable11 years ago dsl001/make the tests respect the IDRIS env variable11 years ago dsl002/make the tests respect the IDRIS env variable11 years ago dsl003/make the tests respect the IDRIS env variable11 years ago dsl004/make the tests respect the IDRIS env variable11 years ago effects001/make the tests respect the IDRIS env variable11 years ago effects002/make the tests respect the IDRIS env variable11 years ago effects003/make the tests respect the IDRIS env variable11 years ago effects004/make the tests respect the IDRIS env variable11 years ago effects005/make the tests respect the IDRIS env variable11 years ago error001/make the tests respect the IDRIS env variable11 years ago error002/make the tests respect the IDRIS env variable11 years ago error003/make the tests respect the IDRIS env variable11 years ago error004/make the tests respect the IDRIS env variable11 years ago error005/make the tests respect the IDRIS env variable11 years ago error006/make the tests respect the IDRIS env variable11 years ago ffi001/make the tests respect the IDRIS env variable11 years ago ffi002/make the tests respect the IDRIS env variable11 years ago ffi003/make the tests respect the IDRIS env variable11 years ago ffi004/make the tests respect the IDRIS env variable11 years ago ffi005/make the tests respect the IDRIS env variable11 years ago ffi006/make the tests respect the IDRIS env variable11 years ago folding001/make the tests respect the IDRIS env variable11 years ago idrisdoc001/make the tests respect the IDRIS env variable11 years ago idrisdoc002/make the tests respect the IDRIS env variable11 years ago idrisdoc003/make the tests respect the IDRIS env variable11 years ago idrisdoc004/make the tests respect the IDRIS env variable11 years ago idrisdoc005/make the tests respect the IDRIS env variable11 years ago idrisdoc006/make the tests respect the IDRIS env variable11 years ago idrisdoc007/make the tests respect the IDRIS env variable11 years ago idrisdoc008/make the tests respect the IDRIS env variable11 years ago idrisdoc009/make the tests respect the IDRIS env variable11 years ago interactive001/make the tests respect the IDRIS env variable11 years ago interactive002/make the tests respect the IDRIS env variable11 years ago interactive003/make the tests respect the IDRIS env variable11 years ago interactive004/make the tests respect the IDRIS env variable11 years ago interactive005/make the tests respect the IDRIS env variable11 years ago interactive006/make the tests respect the IDRIS env variable11 years ago interactive007/make the tests respect the IDRIS env variable11 years ago interactive008/make the tests respect the IDRIS env variable11 years ago interactive009/make the tests respect the IDRIS env variable11 years ago interactive010/make the tests respect the IDRIS env variable11 years ago interactive011/make the tests respect the IDRIS env variable11 years ago interactive012/make the tests respect the IDRIS env variable11 years ago io001/make the tests respect the IDRIS env variable11 years ago io002/make the tests respect the IDRIS env variable11 years ago io003/make the tests respect the IDRIS env variable11 years ago literate001/make the tests respect the IDRIS env variable11 years ago meta001/make the tests respect the IDRIS env variable11 years ago meta002/make the tests respect the IDRIS env variable11 years ago meta003/make the tests respect the IDRIS env variable11 years ago meta004/make the tests respect the IDRIS env variable11 years ago pkg001/make the tests respect the IDRIS env variable11 years ago pkg002/make the tests respect the IDRIS env variable11 years ago pkg003/make the tests respect the IDRIS env variable11 years ago pkg004/make the tests respect the IDRIS env variable11 years ago primitives001/make the tests respect the IDRIS env variable11 years ago primitives002/Fix primitives00211 years ago primitives003/make the tests respect the IDRIS env variable11 years ago primitives004-disabled/make the tests respect the IDRIS env variable11 years ago proof001/make the tests respect the IDRIS env variable11 years ago proof002/make the tests respect the IDRIS env variable11 years ago proof003/make the tests respect the IDRIS env variable11 years ago proof004/make the tests respect the IDRIS env variable11 years ago proof005/make the tests respect the IDRIS env variable11 years ago proof006/make the tests respect the IDRIS env variable11 years ago proof007/make the tests respect the IDRIS env variable11 years ago proof008/make the tests respect the IDRIS env variable11 years ago proof009/make the tests respect the IDRIS env variable11 years ago proof010/make the tests respect the IDRIS env variable11 years ago proofsearch001/make the tests respect the IDRIS env variable11 years ago proofsearch002/make the tests respect the IDRIS env variable11 years ago proofsearch003/make the tests respect the IDRIS env variable11 years ago pruviloj001/make the tests respect the IDRIS env variable11 years ago quasiquote001/make the tests respect the IDRIS env variable11 years ago quasiquote002/make the tests respect the IDRIS env variable11 years ago quasiquote003/make the tests respect the IDRIS env variable11 years ago quasiquote004/make the tests respect the IDRIS env variable11 years ago quasiquote005/make the tests respect the IDRIS env variable11 years ago quasiquote006/make the tests respect the IDRIS env variable11 years ago records001/make the tests respect the IDRIS env variable11 years ago records002/make the tests respect the IDRIS env variable11 years ago records003/make the tests respect the IDRIS env variable11 years ago records004/make the tests respect the IDRIS env variable11 years ago reg001/make the tests respect the IDRIS env variable11 years ago reg002/make the tests respect the IDRIS env variable11 years ago reg003/make the tests respect the IDRIS env variable11 years ago reg004/make the tests respect the IDRIS env variable11 years ago reg006/make the tests respect the IDRIS env variable11 years ago reg007/make the tests respect the IDRIS env variable11 years ago reg010/make the tests respect the IDRIS env variable11 years ago reg013/make the tests respect the IDRIS env variable11 years ago reg016/make the tests respect the IDRIS env variable11 years ago reg017/make the tests respect the IDRIS env variable11 years ago reg018/make the tests respect the IDRIS env variable11 years ago reg020/make the tests respect the IDRIS env variable11 years ago reg023/make the tests respect the IDRIS env variable11 years ago reg024/make the tests respect the IDRIS env variable11 years ago reg025/make the tests respect the IDRIS env variable11 years ago reg027/make the tests respect the IDRIS env variable11 years ago reg028/make the tests respect the IDRIS env variable11 years ago reg029/make the tests respect the IDRIS env variable11 years ago reg031/make the tests respect the IDRIS env variable11 years ago reg032/make the tests respect the IDRIS env variable11 years ago reg034/make the tests respect the IDRIS env variable11 years ago reg035/make the tests respect the IDRIS env variable11 years ago reg036/make the tests respect the IDRIS env variable11 years ago reg037/make the tests respect the IDRIS env variable11 years ago reg038/make the tests respect the IDRIS env variable11 years ago reg039/Don't require expect for tests with timeouts12 years ago reg040/make the tests respect the IDRIS env variable11 years ago reg041/make the tests respect the IDRIS env variable11 years ago reg042/make the tests respect the IDRIS env variable11 years ago reg044/make the tests respect the IDRIS env variable11 years ago reg045/make the tests respect the IDRIS env variable11 years ago reg046/make the tests respect the IDRIS env variable11 years ago reg047/make the tests respect the IDRIS env variable11 years ago reg048/make the tests respect the IDRIS env variable11 years ago reg049/make the tests respect the IDRIS env variable11 years ago reg050/make the tests respect the IDRIS env variable11 years ago reg051-disabled/make the tests respect the IDRIS env variable11 years ago reg052/make the tests respect the IDRIS env variable11 years ago reg053/make the tests respect the IDRIS env variable11 years ago reg054/make the tests respect the IDRIS env variable11 years ago reg055/make the tests respect the IDRIS env variable11 years ago reg056/make the tests respect the IDRIS env variable11 years ago reg057/make the tests respect the IDRIS env variable11 years ago reg058/make the tests respect the IDRIS env variable11 years ago reg059/make the tests respect the IDRIS env variable11 years ago reg060/make the tests respect the IDRIS env variable11 years ago reg061/make the tests respect the IDRIS env variable11 years ago reg062/make the tests respect the IDRIS env variable11 years ago reg063/make the tests respect the IDRIS env variable11 years ago reg064/make the tests respect the IDRIS env variable11 years ago reg065/make the tests respect the IDRIS env variable11 years ago reg066/make the tests respect the IDRIS env variable11 years ago reg067/make the tests respect the IDRIS env variable11 years ago sourceLocation001/make the tests respect the IDRIS env variable11 years ago sugar001/make the tests respect the IDRIS env variable11 years ago sugar002/make the tests respect the IDRIS env variable11 years ago sugar003/make the tests respect the IDRIS env variable11 years ago sugar004/make the tests respect the IDRIS env variable11 years ago sugar005/make the tests respect the IDRIS env variable11 years ago syntax001/make the tests respect the IDRIS env variable11 years ago syntax002/make the tests respect the IDRIS env variable11 years ago tactics001/make the tests respect the IDRIS env variable11 years ago totality001/make the tests respect the IDRIS env variable11 years ago totality002/make the tests respect the IDRIS env variable11 years ago totality003/make the tests respect the IDRIS env variable11 years ago totality004/make the tests respect the IDRIS env variable11 years ago totality005/make the tests respect the IDRIS env variable11 years ago totality006/make the tests respect the IDRIS env variable11 years ago totality007/make the tests respect the IDRIS env variable11 years ago totality008/make the tests respect the IDRIS env variable11 years ago totality009/make the tests respect the IDRIS env variable11 years ago totality010/make the tests respect the IDRIS env variable11 years ago tutorial001/make the tests respect the IDRIS env variable11 years ago tutorial002/make the tests respect the IDRIS env variable11 years ago tutorial003/make the tests respect the IDRIS env variable11 years ago tutorial004/make the tests respect the IDRIS env variable11 years ago tutorial005/make the tests respect the IDRIS env variable11 years ago tutorial006/make the tests respect the IDRIS env variable11 years ago unique001/make the tests respect the IDRIS env variable11 years ago unique002/make the tests respect the IDRIS env variable11 years ago unique003/make the tests respect the IDRIS env variable11 years ago MakefileReenable parallel testing11 years ago READMEAdded a test for bignums12 years ago mktest.plKeep track of test stats and print the failed tests at the end11 years ago runtest.plReenable parallel testing11 years ago