../ reg001/Reset test runscripts to mode 075513 years ago reg002/Reset test runscripts to mode 075513 years ago reg003/Reset test runscripts to mode 075513 years ago reg004/Reset test runscripts to mode 075513 years ago reg005/Adjust tests to the changed String show instance13 years ago reg006/Totality checker improvements (soundness)13 years ago reg007/Reset test runscripts to mode 075513 years ago reg008/Reset test runscripts to mode 075513 years ago reg009/Reset test runscripts to mode 075513 years ago reg010/Reset test runscripts to mode 075513 years ago reg011/Reset test runscripts to mode 075513 years ago reg012/Reset test runscripts to mode 075513 years ago reg013/Reset test runscripts to mode 075513 years ago reg014/Reset test runscripts to mode 075513 years ago reg015/Reset test runscripts to mode 075513 years ago reg016/Reset test runscripts to mode 075513 years ago reg017/Reset test runscripts to mode 075513 years ago reg018/Reset test runscripts to mode 075513 years ago reg019/Reset test runscripts to mode 075513 years ago reg020/Reset test runscripts to mode 075513 years ago reg021/Reset test runscripts to mode 075513 years ago reg022/Reset test runscripts to mode 075513 years ago reg023/Reset test runscripts to mode 075513 years ago reg024/Adjust tests to the changed String show instance13 years ago reg025/Adjust tests to the changed String show instance13 years ago reg026/Reset test runscripts to mode 075513 years ago reg027/Improve type class overlap check13 years ago reg028/Update result of reg02813 years ago test001/Switch on 'elabPE'13 years ago test002/Fix test00213 years ago test003/Adjust tests to the changed String show instance13 years ago test004/Reset test runscripts to mode 075513 years ago test005/Adjust tests to the changed String show instance13 years ago test006/Reset test runscripts to mode 075513 years ago test007/Reset test runscripts to mode 075513 years ago test008/Adjust tests to the changed String show instance13 years ago test009/Reset test runscripts to mode 075513 years ago test010/Reset test runscripts to mode 075513 years ago test011/Adjust tests to the changed String show instance13 years ago test012/Reset test runscripts to mode 075513 years ago test013/Reset test runscripts to mode 075513 years ago test014/Switch on 'elabPE'13 years ago test015/Reset test runscripts to mode 075513 years ago test016/Disambiguate Stream13 years ago test017/Totality checker improvements (soundness)13 years ago test018/Reset test runscripts to mode 075513 years ago test019/Reset test runscripts to mode 075513 years ago test020/Adjust tests to the changed String show instance13 years ago test021/Adjust tests to the changed String show instance13 years ago test022/Reset test runscripts to mode 075513 years ago test023/Reset test runscripts to mode 075513 years ago test024/Reset test runscripts to mode 075513 years ago test025/Reset test runscripts to mode 075513 years ago test026/Reset test runscripts to mode 075513 years ago test027/Reset test runscripts to mode 075513 years ago test028/Adjust tests to the changed String show instance13 years ago test029/Reset test runscripts to mode 075513 years ago test030/Reset test runscripts to mode 075513 years ago test031/Reset test runscripts to mode 075513 years ago test032/Add %name directive for naming hints in editing.13 years ago test033/Reset test runscripts to mode 075513 years ago test034/Adjust tests to the changed String show instance13 years ago MakefileAdd floating point primitives to LLVM backend13 years ago READMEAdd floating point primitives to LLVM backend13 years ago mktest.plChange from shebangs with absolute references to using /usr/bin/env13 years ago runtest.plMake runtest.pl execute run scripts directly13 years ago