git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
2be265d..master
compare
635fb40
Unify almost identical checkFixity' functions.
Björn Aili
10 years ago
0af8366
Add regression tests for #3275
Björn Aili
10 years ago
a6f56ce
Fix #3275
Björn Aili
10 years ago
ce81257
Merge pull request #3337 from steshaw/consolidate-layout001-tests
Niklas Larsson
10 years ago
ebe39ce
Merge pull request #3345 from steshaw/multi-ghc-travis-script
Niklas Larsson
10 years ago
07f572a
Merge pull request #3336 from steshaw/consolidate-regxxx-non-executable-tests-into-regression002
Niklas Larsson
10 years ago
c96148c
Collate 'info' about idris setup.
Jan de Muijnck-Hughes
10 years ago
276ba0a
Move `timeout` from `test/bin/` to `test/scripts/`
Steven Shaw
10 years ago
15bed57
Simplify basic010 and reg039.
Steven Shaw
10 years ago
54fadff
Merge pull request #3333 from steshaw/filename-args-in-order
Niklas Larsson
10 years ago
02a4c48
Consolidate layout001 tests
Steven Shaw
10 years ago
46209a7
Rebase master and fix conflicts
Steven Shaw
10 years ago
e0a5a4b
Update TestData
Steven Shaw
10 years ago
4fd3bd9
Add regression002 to test suite
Steven Shaw
10 years ago
97baef4
Consolidate reg072 into regression002
Steven Shaw
10 years ago
5208aeb
Consolidate reg070 into regression002
Steven Shaw
10 years ago
1e1c449
Consolidate reg069 into regression002
Steven Shaw
10 years ago
2e20173
Consolidate reg068 into regression002
Steven Shaw
10 years ago
e2f1da2
Consolidate reg056 into regression002
Steven Shaw
10 years ago
2bf2038
Consolidate reg055 into regression002
Steven Shaw
10 years ago
ea745fc
Consolidate reg054 into regression002
Steven Shaw
10 years ago
88c66f9
Consolidate reg050 into regression002
Steven Shaw
10 years ago
d15d21b
Consolidate reg049 into regression002
Steven Shaw
10 years ago
d9b8bcb
Consolidate reg044 into regression002
Steven Shaw
10 years ago
2683ffa
Consolidate reg035 into regression002
Steven Shaw
10 years ago
087a7c3
Consolidate reg034 into regression002
Steven Shaw
10 years ago
7f53344
Consolidate reg028 into regression002
Steven Shaw
10 years ago
eac558e
Consolidate reg023 into regression002
Steven Shaw
10 years ago
44fb18f
Consolidate reg018 into regression002
Steven Shaw
10 years ago
812566d
Consolidate reg010 into regression002
Steven Shaw
10 years ago
7701a90
Consolidate reg007 into regression002
Steven Shaw
10 years ago
c318c38
Consolidate reg006 into regression002
Steven Shaw
10 years ago
1db1851
Consolidate reg003 into regression002
Steven Shaw
10 years ago
3112b29
Move script from /bin to /scripts
Steven Shaw
10 years ago
c31e09f
A script to (re)generate multi-ghc-travis template.
Steven Shaw
10 years ago
fa6e061
Expect test1 before test2
Steven Shaw
10 years ago
d544a6f
Keep filename args in the order specified on the cmd line.
Steven Shaw
10 years ago
newer commits
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