| .. |
|
Create
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
před 2 roky |
|
Syntacticosmos
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
před 10 roky |
|
ac
|
4ceb342310
make: Use AGDA_BIN a little more consistently
|
před 4 roky |
|
categories
|
7a7e9ec0c6
Removed an incorrect comment and an unnecessary pragma.
|
před 8 roky |
|
cwf
|
982e18cdcb
[ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)
|
před 3 roky |
|
misc
|
0e698c35fb
Add benchmark for instance argument search
|
před 3 roky |
|
monad
|
d573394115
[ test ] update benchmarks for new std-lib commit
|
před 6 roky |
|
nofib
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
před 7 roky |
|
proj
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
před 9 roky |
|
std-lib
|
2f212bf556
Add --auto-inline and make it off by default
|
před 4 roky |
|
Benchmark.hs
|
957da4d2c6
ghc-support: Remove outdated GHC <= 7.4 pragma
|
před 4 roky |
|
Makefile
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
před 2 roky |
|
emacs
|
56b81cf68f
[ #4458 ] removed (broken) agda2-measure-load-time
|
před 4 roky |
|
notes
|
0d80f4600d
Benchmark run 2014-03-23 with new benchmark facility.
|
před 10 roky |
|
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.
|
před 10 roky |
|
tests.mk
|
0e698c35fb
Add benchmark for instance argument search
|
před 3 roky |
Ulf Norell
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options