git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
8a2804d
help
sign in
Idris-dev
/
test
60 folders, 4 files
../
reg001/
Reset test runscripts to mode 0755
13 years ago
reg002/
Reset test runscripts to mode 0755
13 years ago
reg003/
Reset test runscripts to mode 0755
13 years ago
reg004/
Reset test runscripts to mode 0755
13 years ago
reg005/
Reset test runscripts to mode 0755
13 years ago
reg006/
Reset test runscripts to mode 0755
13 years ago
reg007/
Reset test runscripts to mode 0755
13 years ago
reg008/
Reset test runscripts to mode 0755
13 years ago
reg009/
Reset test runscripts to mode 0755
13 years ago
reg010/
Reset test runscripts to mode 0755
13 years ago
reg011/
Reset test runscripts to mode 0755
13 years ago
reg012/
Reset test runscripts to mode 0755
13 years ago
reg013/
Reset test runscripts to mode 0755
13 years ago
reg014/
Reset test runscripts to mode 0755
13 years ago
reg015/
Reset test runscripts to mode 0755
13 years ago
reg016/
Reset test runscripts to mode 0755
13 years ago
reg017/
Reset test runscripts to mode 0755
13 years ago
reg018/
Reset test runscripts to mode 0755
13 years ago
reg019/
Reset test runscripts to mode 0755
13 years ago
reg020/
Reset test runscripts to mode 0755
13 years ago
reg021/
Reset test runscripts to mode 0755
13 years ago
reg022/
Reset test runscripts to mode 0755
13 years ago
reg023/
Reset test runscripts to mode 0755
13 years ago
reg024/
Reset test runscripts to mode 0755
13 years ago
reg025/
Reset test runscripts to mode 0755
13 years ago
reg026/
Reset test runscripts to mode 0755
13 years ago
test001/
Reset test runscripts to mode 0755
13 years ago
test002/
Fix test002
13 years ago
test003/
Reset test runscripts to mode 0755
13 years ago
test004/
Reset test runscripts to mode 0755
13 years ago
test005/
Reset test runscripts to mode 0755
13 years ago
test006/
Reset test runscripts to mode 0755
13 years ago
test007/
Reset test runscripts to mode 0755
13 years ago
test008/
Reset test runscripts to mode 0755
13 years ago
test009/
Reset test runscripts to mode 0755
13 years ago
test010/
Reset test runscripts to mode 0755
13 years ago
test011/
Reset test runscripts to mode 0755
13 years ago
test012/
Reset test runscripts to mode 0755
13 years ago
test013/
Reset test runscripts to mode 0755
13 years ago
test014/
Reset test runscripts to mode 0755
13 years ago
test015/
Reset test runscripts to mode 0755
13 years ago
test016/
Disambiguate Stream
13 years ago
test017/
Reset test runscripts to mode 0755
13 years ago
test018/
Reset test runscripts to mode 0755
13 years ago
test019/
Reset test runscripts to mode 0755
13 years ago
test020/
Reset test runscripts to mode 0755
13 years ago
test021/
Reset test runscripts to mode 0755
13 years ago
test022/
Reset test runscripts to mode 0755
13 years ago
test023/
Reset test runscripts to mode 0755
13 years ago
test024/
Reset test runscripts to mode 0755
13 years ago
test025/
Reset test runscripts to mode 0755
13 years ago
test026/
Reset test runscripts to mode 0755
13 years ago
test027/
Reset test runscripts to mode 0755
13 years ago
test028/
Reset test runscripts to mode 0755
13 years ago
test029/
Reset test runscripts to mode 0755
13 years ago
test030/
Reset test runscripts to mode 0755
13 years ago
test031/
Reset test runscripts to mode 0755
13 years ago
test032/
Reset test runscripts to mode 0755
13 years ago
test033/
Reset test runscripts to mode 0755
13 years ago
test034/
Add floating point primitives to LLVM backend
13 years ago
Makefile
Add floating point primitives to LLVM backend
13 years ago
README
Add floating point primitives to LLVM backend
13 years ago
mktest.pl
Change from shebangs with absolute references to using /usr/bin/env
13 years ago
runtest.pl
Make runtest.pl execute run scripts directly
13 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list