Milan Kral
35757f928a
use HTTPS URL instead of HTTP URL when possible
2019-12-19 14:26:41 +01:00
Jorge Acereda
25baedb7d8
Read idris executable from environment variable
2018-03-23 13:32:12 +01:00
Jan de Muijnck-Hughes
86615f026b
Merge pull request #4363 from jacereda/master
...
Fix shell return code, closes #4362
2018-03-09 11:59:09 +00:00
Jan de Muijnck-Hughes
06e9b53dc2
Patched fasta benchmark so it compiles.
...
Underlying problem with string literals needs to be addressed.
that can come later.
2018-03-09 11:02:16 +00:00
Jorge Acereda
4b04d933d6
Fix shell return code, closes #4362
2018-03-02 13:46:28 +01:00
Niklas Larsson
bf01486963
Fix fasta benchmark
...
It defined it's own scanl, leading to name clash
2017-08-06 15:01:13 +02:00
Echo Nolan
938e8611e0
Fix deprecation warnings in benchmarks
...
Most of this is from purification, two are switching from the
%assert_total directive to the assert_total function.
2016-08-31 21:41:11 -07:00
Jan de Muijnck-Hughes
9cf2c02781
Update Benchmark to respect new visibility rules.
2016-02-08 15:30:24 +00:00
Paul Koerbitz
86782e6226
Fix quasigroups compile time issues
2016-01-03 13:23:52 +01:00
Paul Koerbitz
bccb453a0d
Fix pidigits benchmark
2016-01-03 12:48:06 +01:00
Paul Koerbitz
ec4eab347c
Fix sortvec benchmark compile time issues
2016-01-03 12:16:51 +01:00
Paul Koerbitz
7de7820e5d
Fix fasta benchmark compile time issues
2016-01-03 11:43:09 +01:00
Jan de Muijnck-Hughes
5ea6aa0520
Address semantic differences in putting things to STDOUT.
...
The changes are as follows:
+ `print` is for putting showable things to STDOUT.
+ `printLn` is for putting showable things to STDOUT with a new line
+ `putCharLn` for putting a single character to STDOUT, with a new line.
Effects has been updated accordingly.
2015-03-06 17:26:33 +00:00
Ahmad Salim Al-Sibahi
edb9980974
Removed '_|_' as a built in declaration and renamed it to 'Void',
...
'FalseElim' now 'VoidElim' to match up
2014-10-11 20:00:19 +02:00
David Raymond Christiansen
cca02415ee
Merge branch 'feature/renaming' of github.com:ahmadsalim/Idris-dev into ahmadsalim-feature/renaming
...
Conflicts:
libs/prelude/Prelude/Vect.idr
2014-09-30 13:49:52 +02:00
Ahmad Salim Al-Sibahi
fe569c4e0d
Finished making standard library naming consistent
2014-09-26 07:34:38 +02:00
Ahmad Salim Al-Sibahi
f0ed9e992f
First renaming attempt
2014-09-26 07:34:28 +02:00
Sebastian de Bellefon
3835dce242
Some comments for pidigits
2014-09-25 18:58:30 +02:00
Sebastian de Bellefon
6e9ae3e176
Add benchmark pidigits
...
Memory usage is quite high
2014-09-25 16:32:44 +02:00
Paul Koerbitz
1915d38fcb
Add fasta benchmark to benchmarks/ALL
2014-04-19 20:38:33 +02:00
Paul Koerbitz
de098f2f3e
Fix bugs in fasta implementation
2014-04-19 20:38:33 +02:00
Paul Koerbitz
d90731e5db
Replace awful scanl version with a saner one
2014-04-19 20:38:33 +02:00
Paul Koerbitz
32417da066
Replace Nat's with Int's
...
The performance of Nat's is prohibitive
2014-04-19 20:38:33 +02:00
Paul Koerbitz
2706aca4e8
Add naive and horribly performing port of Haskell's fasta benchmark implementation
...
This benchmark is part of the 'computer benchmarks game'
(http://benchmarksgame.alioth.debian.org/ ).
2014-04-19 20:38:32 +02:00
Markus Pfeiffer
3558c7c29f
Change from shebangs with absolute references to using /usr/bin/env
2013-11-18 17:10:00 +00:00
Benjamin Saunders
4fcecd9576
Add test board and wire up quasigroup solver to benchmark tools
2013-11-13 20:30:42 -08:00
Benjamin Saunders
7426114bcc
Merge branch 'quasigroups' into quasigroup-solver-benchmark
2013-11-13 20:14:37 -08:00
Benjamin Saunders
87931f6693
Rearrangement in preparation for use as benchmark
2013-11-13 20:13:44 -08:00
Edwin Brady
9836a07175
Inlining - Evaluator now supports run-time terms
...
In particular this reduces type class overhead.
NOTE: Breaks the javascript code generation because it doesn't seem to
support projection from global names, which can now arise as a result
of inlinings.
A temporary fix for this would be to update ElabDecls.hs:733 to
simple_rt ctxt t = t
which disables the simplification of run time terms.
2013-11-07 18:48:55 +00:00
Edwin Brady
86fc1a193c
Added simple benchmark system
2013-11-05 22:45:16 +00:00