| .. |
|
Create
|
d7c46fa201
make: Factor out $(GHC) and $(RUNGHC) commands
|
hace 4 años |
|
Syntacticosmos
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
hace 10 años |
|
ac
|
4ceb342310
make: Use AGDA_BIN a little more consistently
|
hace 4 años |
|
categories
|
7a7e9ec0c6
Removed an incorrect comment and an unnecessary pragma.
|
hace 8 años |
|
cwf
|
982e18cdcb
[ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)
|
hace 3 años |
|
logs
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
hace 4 años |
|
misc
|
0e698c35fb
Add benchmark for instance argument search
|
hace 4 años |
|
monad
|
d573394115
[ test ] update benchmarks for new std-lib commit
|
hace 6 años |
|
nofib
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
hace 8 años |
|
proj
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
hace 10 años |
|
std-lib
|
2f212bf556
Add --auto-inline and make it off by default
|
hace 4 años |
|
Benchmark.hs
|
957da4d2c6
ghc-support: Remove outdated GHC <= 7.4 pragma
|
hace 4 años |
|
Makefile
|
d7c46fa201
make: Factor out $(GHC) and $(RUNGHC) commands
|
hace 4 años |
|
emacs
|
56b81cf68f
[ #4458 ] removed (broken) agda2-measure-load-time
|
hace 4 años |
|
notes
|
0d80f4600d
Benchmark run 2014-03-23 with new benchmark facility.
|
hace 11 años |
|
termination-depth-1-against-100.txt
|
72f493ad54
Release notes: termination stuff in own section, added note about improved performance of checking with higher termination depth.
|
hace 11 años |
|
tests.mk
|
0e698c35fb
Add benchmark for instance argument search
|
hace 4 años |
Andrea Vezzosi
982e18cdcb
[ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)