SPEED CENTER
Home
About
Changes
Timeline
Comparison
Environments
i44pc15
i44pc65
Executables
lean4
(All
,
None)
lean4 IJCAR20
lean4 ICFP20
lean4 latest in branch 'master'
Benchmarks
Time
(All
,
None)
bin/lean: binary size
binarytrees: etime
const_fold: etime
deriv.lean
deriv.lean allocations
deriv.lean instrs
deriv: etime
expr_const_folding.lean
expr_const_folding.lean instrs
new parser Core.lean: etime
parser1.lean
parser1.lean allocations
parser1.lean instrs
parser1.lean max RSS
parser1.lean: elaborator
parser1.lean: expander
parser1.lean: parser
qsort: etime
rbmap.lean
rbmap2.lean
rbmap3.lean
rbmap: etime
rbmap_10: etime
rbmap_1: etime
standard_lib
stdlib size: bytes .olean
stdlib size: lines
stdlib size: lines C++
stdlib: .olean serialization
stdlib: C code generation
stdlib: compilation
stdlib: decl post-processing
stdlib: elaboration
stdlib: etime
stdlib: import
stdlib: initialization
stdlib: parsing
stdlib: typeclass inference
tests/bench/ interpreted: etime
tests/compiler: sum binary sizes
unionfind: etime
Size
(All
,
None)
standard_lib size
Allocations
(All
,
None)
parser1.lean closure allocations
parser1.lean object allocations
Chart type:
normal bars
stacked bars
Normalization:
None
lean4 IJCAR20
lean4 ICFP20
lean4 latest in branch 'master'
horizontal
Permalink