Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi
agda
/
benchmark
/
Create
Ulf Norell 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options 2 gadi atpakaļ
..
Makefile 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options 2 gadi atpakaļ
QuadraticImportOneData.hs 5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks 4 gadi atpakaļ
QuadraticImportOneDataHaskell.hs 5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks 4 gadi atpakaļ
QuadraticImportOneDataNoUsing.hs 5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks 4 gadi atpakaļ
README.md 5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks 4 gadi atpakaļ

README.md

Tools to create benchmarks