git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test
258 folders, 4 files
../ base001/Rename expected, input and run basic001/Rename expected, input and run basic002/Rename expected, input and run basic003/Rename expected, input and run basic004/Rename expected, input and run basic005/Rename expected, input and run basic006/Rename expected, input and run basic007/Rename expected, input and run basic008/Rename expected, input and run basic009/Rename expected, input and run basic010/Rename expected, input and run basic011/Rename expected, input and run basic012/Rename expected, input and run basic013/Rename expected, input and run basic014/Rename expected, input and run basic015/Rename expected, input and run basic016/Rename expected, input and run basic017/Rename expected, input and run basic018/Rename expected, input and run basic019/Rename expected, input and run basic020/Rename expected, input and run basic021/Rename expected, input and run basic022/Rename expected, input and run basic023/Rename expected, input and run basic024/Rename expected, input and run basic025/Rename expected, input and run basic026/Rename expected, input and run bignum001/Rename expected, input and run bignum002/Rename expected, input and run bignum003/Rename expected, input and run bounded001/Rename expected, input and run buffer001/Rename expected, input and run buffer002/Rename expected, input and run contrib001/Rename expected, input and run corecords001/Rename expected, input and run corecords002/Rename expected, input and run delab001/Rename expected, input and run directives001/Rename expected, input and run directives002/Rename expected, input and run directives003/Rename expected, input and run disambig002/Rename expected, input and run docs001/Rename expected, input and run docs002/Rename expected, input and run docs003/Rename expected, input and run docs004/Rename expected, input and run docs005/Rename expected, input and run docs006/Rename expected, input and run dsl001/Rename expected, input and run dsl002/Disable travis for GHC 8.8 (libffi still broken) dsl003/Rename expected, input and run dsl004/Rename expected, input and run effects001/Disable travis for GHC 8.8 (libffi still broken) effects002/Rename expected, input and run effects003/Rename expected, input and run effects004/Rename expected, input and run effects005/Rename expected, input and run error001/Rename expected, input and run error002/Rename expected, input and run error003/Rename expected, input and run error004/Rename expected, input and run error005/Rename expected, input and run error006/Rename expected, input and run error007/Rename expected, input and run error008/Rename expected, input and run error009/Rename expected, input and run ffi001/Rename expected, input and run ffi002/Rename expected, input and run ffi003/Rename expected, input and run ffi004/Rename expected, input and run ffi005/Rename expected, input and run ffi006/Rename expected, input and run ffi007/Rename expected, input and run ffi008/Rename expected, input and run ffi009/Rename expected, input and run ffi010/Rename expected, input and run ffi011/Disable travis for GHC 8.8 (libffi still broken) ffi012/Disable travis for GHC 8.8 (libffi still broken) ffi013/Rename expected, input and run folding001/Rename expected, input and run idrisdoc001/Rename expected, input and run idrisdoc002/Rename expected, input and run idrisdoc003/Rename expected, input and run idrisdoc004/Rename expected, input and run idrisdoc005/Rename expected, input and run idrisdoc006/Rename expected, input and run idrisdoc007/Rename expected, input and run idrisdoc008/Rename expected, input and run idrisdoc009/Rename expected, input and run interactive001/Rename expected, input and run interactive002/Rename expected, input and run interactive003/Rename expected, input and run interactive004/Rename expected, input and run interactive005/Rename expected, input and run interactive006/Rename expected, input and run interactive007/Rename expected, input and run interactive008/Rename expected, input and run interactive009/Rename expected, input and run interactive010/Rename expected, input and run interactive011/Rename expected, input and run interactive012/Rename expected, input and run interactive013/Rename expected, input and run interactive014/Rename expected, input and run interactive015/Rename expected, input and run interactive016/Rename expected, input and run interactive017/Rename expected, input and run interactive018/Rename expected, input and run interfaces001/Rename expected, input and run interfaces002/Rename expected, input and run interfaces003/Rename expected, input and run interfaces004/Rename expected, input and run interfaces005/Rename expected, input and run interfaces006/Rename expected, input and run interfaces007/Rename expected, input and run interfaces008/Rename expected, input and run interfaces009/Rename expected, input and run interfaces010/Rename expected, input and run interpret001/Rename expected, input and run interpret002/Rename expected, input and run interpret003/Rename expected, input and run io001/Rename expected, input and run io002/Rename expected, input and run io003/Rename expected, input and run layout001/Rename expected, input and run literate001/Rename expected, input and run meta001/Rename expected, input and run meta002/Rename expected, input and run meta003/Rename expected, input and run meta004/Rename expected, input and run pkg001/Rename expected, input and run pkg002/Rename expected, input and run pkg003/Rename expected, input and run pkg004/Rename expected, input and run pkg005/Rename expected, input and run pkg006/Rename expected, input and run pkg007/Rename expected, input and run pkg008/Rename expected, input and run pkg009/Rename expected, input and run pkg010/Disable travis for GHC 8.8 (libffi still broken) prelude001/Rename expected, input and run primitives001/Rename expected, input and run primitives002/Rename expected, input and run primitives003/Rename expected, input and run primitives004-disabled/Rename expected, input and run primitives005/Rename expected, input and run primitives006/Rename expected, input and run proof001/Rename expected, input and run proof002/Rename expected, input and run proof003/Rename expected, input and run proof004/Rename expected, input and run proof005/Rename expected, input and run proof006/Rename expected, input and run proof007/Rename expected, input and run proof008/Rename expected, input and run proof009/Rename expected, input and run proof010/Rename expected, input and run proof011/Rename expected, input and run proofsearch001/Rename expected, input and run proofsearch002/Rename expected, input and run proofsearch003/Rename expected, input and run pruviloj001/Rename expected, input and run quasiquote001/Rename expected, input and run quasiquote002/Rename expected, input and run quasiquote003/Rename expected, input and run quasiquote004/Rename expected, input and run quasiquote005/Rename expected, input and run quasiquote006/Rename expected, input and run records001/Rename expected, input and run records002/Rename expected, input and run records003/Rename expected, input and run records004/Rename expected, input and run records005/Rename expected, input and run reg001/Rename expected, input and run reg002/Rename expected, input and run reg004/Rename expected, input and run reg005/Rename expected, input and run reg007/Rename expected, input and run reg013/Rename expected, input and run reg016/Rename expected, input and run reg017/Rename expected, input and run reg020/Rename expected, input and run reg024/Rename expected, input and run reg025/Rename expected, input and run reg027/Rename expected, input and run reg029/Rename expected, input and run reg031/Rename expected, input and run reg032/Rename expected, input and run reg039/Rename expected, input and run reg040/Rename expected, input and run reg041/Rename expected, input and run reg042/Rename expected, input and run reg045/Rename expected, input and run reg048/Rename expected, input and run reg051-disabled/Rename expected, input and run reg052/Rename expected, input and run reg067/Rename expected, input and run reg075/Rename expected, input and run reg076/Rename expected, input and run reg077/Rename expected, input and run regression001/Rename expected, input and run regression002/Rename expected, input and run regression003/Rename expected, input and run scripts/Move `timeout` from `test/bin/` to `test/scripts/` sourceLocation001/Rename expected, input and run st001/Disable travis for GHC 8.8 (libffi still broken) st002/Disable travis for GHC 8.8 (libffi still broken) st003/Disable travis for GHC 8.8 (libffi still broken) st004/Rename expected, input and run st005/Rename expected, input and run st006/Rename expected, input and run st007/Rename expected, input and run sugar001/Rename expected, input and run sugar002/Rename expected, input and run sugar003/Rename expected, input and run sugar004/Rename expected, input and run sugar005/Rename expected, input and run syntax001/Rename expected, input and run syntax002/Rename expected, input and run tactics001/Rename expected, input and run totality001/Rename expected, input and run totality002/Rename expected, input and run totality003/Rename expected, input and run totality004/Rename expected, input and run totality005/Rename expected, input and run totality006/Rename expected, input and run totality007/Rename expected, input and run totality008/Rename expected, input and run totality009/Rename expected, input and run totality010/Rename expected, input and run totality011/Rename expected, input and run totality012/Rename expected, input and run totality013/Rename expected, input and run totality014/Rename expected, input and run totality015/Rename expected, input and run totality016/Rename expected, input and run totality017/Rename expected, input and run totality018/Rename expected, input and run totality019/Rename expected, input and run totality020/Rename expected, input and run totality021/Rename expected, input and run totality022/Rename expected, input and run totality023/Rename expected, input and run totality024/Rename expected, input and run totality025/Rename expected, input and run totality026/Rename expected, input and run tutorial001/Rename expected, input and run tutorial002/Rename expected, input and run tutorial003/Rename expected, input and run tutorial004/Rename expected, input and run tutorial005/Rename expected, input and run tutorial006/Rename expected, input and run tutorial007/Rename expected, input and run unique001/Rename expected, input and run unique004/Rename expected, input and run universes001/Rename expected, input and run universes002/Rename expected, input and run views001/Rename expected, input and run views002/Rename expected, input and run views003/Rename expected, input and run README.mdRename expected, input and run TestData.hsfix Core.Execute and test TestRun.hsRename expected, input and run mktest.plFix warning for implicitable names