| .. |
|
identifier_completion.lean.dir
|
|
|
|
binarytrees.lean
|
|
|
|
binarytrees.lean.init.sh
|
|
|
|
binarytrees.lean.out.expected
|
|
|
|
binarytrees.st.lean
|
|
|
|
binarytrees.st.lean.init.sh
|
|
|
|
binarytrees.st.lean.out.expected
|
|
|
|
channel.lean
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
channel.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
channel.lean.out.expected
|
|
|
|
const_fold.lean
|
|
|
|
const_fold.lean.init.sh
|
|
|
|
const_fold.lean.out.expected
|
|
|
|
deriv.lean
|
|
|
|
deriv.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
deriv.lean.out.expected
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
hashmap.lean
|
|
|
|
hashmap.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
hashmap.lean.out.expected
|
|
|
|
identifier_completion.lean
|
|
|
|
identifier_completion.lean.do_interpret
|
|
|
|
identifier_completion.lean.no_compile
|
|
|
|
identifier_completion.lean.out.expected
|
|
|
|
ilean_roundtrip.lean
|
|
|
|
ilean_roundtrip.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
ilean_roundtrip.lean.out.expected
|
|
|
|
io_compute.lean
|
chore: add io compute benchmark (#13406)
|
2026-04-14 18:33:32 +00:00 |
|
io_compute.lean.no_interpret
|
chore: add io compute benchmark (#13406)
|
2026-04-14 18:33:32 +00:00 |
|
io_compute.lean.out.expected
|
chore: add io compute benchmark (#13406)
|
2026-04-14 18:33:32 +00:00 |
|
iterators.lean
|
chore: fix spelling errors (#13274)
|
2026-04-04 07:34:34 +00:00 |
|
iterators.lean.do_interpret
|
|
|
|
iterators.lean.out.expected
|
|
|
|
liasolver.lean
|
|
|
|
liasolver.lean.ex-50-50-1.leq
|
|
|
|
liasolver.lean.init.sh
|
|
|
|
liasolver.lean.out.expected
|
|
|
|
nat_repr.lean
|
|
|
|
nat_repr.lean.init.sh
|
chore: scale nat_repr to a more reasonable runtime (#13347)
|
2026-04-09 13:54:56 +00:00 |
|
nat_repr.lean.out.expected
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
parser.lean
|
|
|
|
parser.lean.init.sh
|
|
|
|
phashmap.lean
|
|
|
|
phashmap.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
phashmap.lean.out.expected
|
|
|
|
qsort.lean
|
|
|
|
qsort.lean.init.sh
|
|
|
|
rbmap.lean
|
|
|
|
rbmap.lean.init.sh
|
|
|
|
rbmap.lean.out.expected
|
|
|
|
rbmap_checkpoint.lean
|
|
|
|
rbmap_checkpoint.lean.init.sh
|
|
|
|
rbmap_checkpoint.lean.out.expected
|
|
|
|
rbmap_checkpoint2.lean
|
|
|
|
rbmap_checkpoint2.lean.init.sh
|
|
|
|
rbmap_checkpoint2.lean.no_test
|
|
|
|
rbmap_fbip.lean
|
|
|
|
rbmap_fbip.lean.init.sh
|
|
|
|
rbmap_fbip.lean.out.expected
|
|
|
|
rbmap_library.lean
|
|
|
|
rbmap_library.lean.init.sh
|
|
|
|
rbmap_library.lean.out.expected
|
|
|
|
run_bench.sh
|
chore: fixes from #13103 "enable separate codegen" (#13241)
|
2026-04-02 11:13:22 +00:00 |
|
run_test.sh
|
chore: improve how test suite interacts with stages (#12913)
|
2026-03-16 15:20:03 +00:00 |
|
server_startup.lean
|
|
|
|
server_startup.lean.log
|
|
|
|
sigmaIterator.lean
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
sigmaIterator.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
sigmaIterator.lean.out.expected
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
treemap.lean
|
|
|
|
treemap.lean.init.sh
|
chore: speed up test suite slightly (#12969)
|
2026-03-20 12:24:32 +00:00 |
|
treemap.lean.out.expected
|
|
|
|
unionfind.lean
|
|
|
|
unionfind.lean.init.sh
|
|
|
|
unionfind.lean.out.expected
|
|
|
|
watchdogRss.lean
|
|
|
|
workspaceSymbolsNewRanges.lean
|
feat: add structured TraceResult to TraceData (#12698)
|
2026-03-10 02:42:57 +00:00 |
|
workspaceSymbolsNewRanges.lean.out.expected
|
feat: add structured TraceResult to TraceData (#12698)
|
2026-03-10 02:42:57 +00:00 |
