Leonardo de Moura d6eb5a9ff2 feat: generate sizeOf equality lemmas for constructors ... TODO: support for nested inductive types.		2021-01-21 17:44:15 -08:00
..
forthelean	chore: remove new_frontend from tests	2020-10-25 09:16:38 -07:00
parser	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
pldi	chore: HasToString => ToString	2020-10-27 16:11:48 -07:00
webserver	chore: remove new_frontend from tests	2020-10-25 09:16:38 -07:00
.gitignore
arith_eval_nat.lean
arith_eval_uint32.lean
badreset.lean
badupdate1.lean
cmdparsertest1.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
compile.sh
deriving.lean	chore: cleanup	2020-12-13 15:51:34 -08:00
dir.lean
DiscrTree.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
environment_extension.lean
envtest.lean
eval.lean
eval2.lean	chore: HasToString => ToString	2020-10-27 16:11:48 -07:00
expander.lean
file.lean
filemap.lean
fix.lean
fix1.lean
flat_parser.lean
flat_parser2.lean
forIn.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
forIn2.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
frontend1.lean
gen.lean
hash.lean
ir.lean
lazylist.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
levelparsertest1.lean
lowtech_expander.lean	chore: avoid Has prefix in type classes	2020-10-27 18:29:19 -07:00
map_perf.lean
mapVShmap.lean
moddata.lean
modtest1.lean
nondet.lean	test: add nondet example	2020-10-29 16:33:40 -07: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
phashmap.lean
primes.hs
qsort64.lean
rand.lean
reelab.lean
ref2.lean
run.sh
sizeof1.lean	test: remove code that is being generated automatically	2021-01-21 10:35:22 -08:00
sizeof2.lean	test: remove code that is being generated automatically	2021-01-21 10:35:22 -08:00
sizeof3.lean	feat: generate sizeOf equality lemmas for constructors	2021-01-21 17:44:15 -08:00
smap.lean
split.lean
task_test.lean	chore: fix test	2020-06-17 21:28:37 -07:00
task_test2.lean
task_test3.lean
task_test4.lean
termParserAttr.lean
termparsertest1.lean	chore: HasToString => ToString	2020-10-27 16:11:48 -07:00
tst.lean
uf1.lean
uf1_new.lean
unsafe.lean
usizeBug.lean
view_expander.lean