../ 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/Change export qualifier keywords11 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 basic017/Added %auto_implicits directive11 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/Renamed `DepPair` to DPair11 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/Minor name changes11 years ago docs004/make the tests respect the IDRIS env variable11 years ago dsl001/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago dsl002/Merge branch 'master' of github.com:idris-lang/Idris-dev11 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/Add Uninhabited for Elem x []11 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 ffi007/Improve C FFI11 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/Change export qualifier keywords11 years ago idrisdoc003/Change export qualifier keywords11 years ago idrisdoc004/Change export qualifier keywords11 years ago idrisdoc005/Change export qualifier keywords11 years ago idrisdoc006/Change export qualifier keywords11 years ago idrisdoc007/make the tests respect the IDRIS env variable11 years ago idrisdoc008/Change export qualifier keywords11 years ago idrisdoc009/Change export qualifier keywords11 years ago interactive001/make the tests respect the IDRIS env variable11 years ago interactive002/Fix bracketing when solving holes interactively11 years ago interactive003/make the tests respect the IDRIS env variable11 years ago interactive004/Fix bracketing when solving holes interactively11 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/Fix bracketing when solving holes interactively11 years ago interactive010/Renamed Prelude.Classes to Prelude.Interfaces11 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/expanded file modes11 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/Change export qualifier keywords11 years ago meta001/make the tests respect the IDRIS env variable11 years ago meta002/Renamed `DepPair` to DPair11 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 primitives005/Implement primitive memory access functions11 years ago proof001/make the tests respect the IDRIS env variable11 years ago proof002/Updates to renaming dependent pairs.11 years ago proof003/Change export qualifier keywords11 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/Change export qualifier keywords11 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/Renamed `DepPair` to DPair11 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 reg005/Added test for unsafePerformIO11 years ago reg006/make the tests respect the IDRIS env variable11 years ago reg007/Change export qualifier keywords11 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/Renamed `DepPair` to DPair11 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/Renamed Prelude.Classes to Prelude.Interfaces11 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/Renamed `UniquePair` to `UPair`.11 years ago unique002/make the tests respect the IDRIS env variable11 years ago unique003/make the tests respect the IDRIS env variable11 years ago MakefileImplement support for C callbacks11 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.hsOnly use IDRIS if there's actually such an executable11 years ago