Leonardo de Moura 14bfe57ba8 test: sum of monomials by reflection		2022-04-20 19:19:50 -07:00
..
forthelean
parser	feat: subsume variables under variable	2021-01-22 14:36:05 +01:00
pldi
webserver	chore: update webserver demo	2021-07-15 21:57:55 +02:00
.gitignore
add_zeros.lean	test: benchmarks for simp	2021-03-09 15:09:51 -08:00
arith_eval_nat.lean
arith_eval_uint32.lean
badreset.lean
badupdate1.lean
bigctorfields.lean	fix: allow bigger ctor objects	2021-01-29 18:23:38 -08:00
cmdparsertest1.lean
compile.sh
deriving.lean	chore: fix tests	2021-03-10 18:45:22 -08:00
dir.lean
DiscrTree.lean
environment_extension.lean	feat: subsume variables under variable	2021-01-22 14:36:05 +01:00
envtest.lean
eval.lean
eval2.lean
expander.lean
file.lean
filemap.lean
fix.lean
fix1.lean
flat_parser.lean
flat_parser2.lean
forIn.lean
forIn2.lean
frontend1.lean
gen.lean
hash.lean
hashable.lean	test: update playground for Hashable	2021-03-30 13:36:52 -07:00
ir.lean
lazylist.lean	feat: subsume variables under variable	2021-01-22 14:36:05 +01:00
levelparsertest1.lean
lowtech_expander.lean
map_perf.lean
mapVShmap.lean	feat: top-down heuristic delaboration	2021-08-03 09:13:18 +02:00
matchEqs.lean	feat: add procedure for solving subgoals generated by mkSplitterProof	2021-08-24 20:23:13 -07:00
moddata.lean
modtest1.lean
nnf.lean	chore: increase test size	2021-03-04 17:27:24 -08:00
oldcompile.sh
oldrun.sh
opts.lean
parser1.lean
parser2.lean
partial_eq_lemma.lean
patch.lean
patcheqnspace.lean
patcheqnspace2.lean
perf.lean
persistentarray.lean
pge.lean	test: pge example	2022-04-17 15:17:28 -07:00
phashmap.lean
primes.hs
qsort64.lean
rand.lean
reelab.lean
ref2.lean
run.sh
seq1.lean	test: perf experiments	2021-03-09 13:42:47 -08:00
seq2.lean	test: perf experiments	2021-03-09 13:42:47 -08:00
simp_binders.lean	test: benchmarks for simp	2021-03-09 15:09:51 -08:00
sizeof1.lean	chore: update tests	2021-01-27 15:17:51 -08:00
sizeof2.lean	chore: update tests	2021-01-27 15:17:51 -08:00
sizeof3.lean	chore: update tests	2021-01-27 15:17:51 -08:00
sleep_save.lean	chore: update test	2022-04-18 11:56:46 -07:00
smap.lean
som.lean	test: sum of monomials by reflection	2022-04-20 19:19:50 -07:00
split.lean
task_test.lean
task_test2.lean
task_test3.lean
task_test4.lean
termParserAttr.lean
termparsertest1.lean
tst.lean
uf1.lean	feat: subsume variables under variable	2021-01-22 14:36:05 +01:00
uf1_new.lean	feat: subsume variables under variable	2021-01-22 14:36:05 +01:00
unsafe.lean
usizeBug.lean
view_expander.lean