Leonardo de Moura 434c148800 test: add termElab attribute test		2020-01-01 14:16:49 -08:00
..
parser
.gitignore
arith_eval_nat.lean
arith_eval_uint32.lean
badreset.lean
badupdate1.lean
cmdparsertest1.lean	fix: show #eval errors	2019-10-18 13:10:13 +02:00
compile.sh	feat: make LEAN_PATH a mapping from package names to root dirs, remove C++ impl	2019-11-20 16:39:53 +01:00
dir.lean
DiscrTree.lean	feat: generalize binInsert	2019-11-23 08:20:20 -08:00
environment_extension.lean
envtest.lean
eval.lean
eval2.lean
expander.lean
file.lean
filemap.lean
fix.lean
fix1.lean
flat_parser.lean
flat_parser2.lean
frontend1.lean	feat(library/init/lean/elaborator/term): add elabList, and fix elabTermAux	2019-09-14 08:41:49 -07:00
gen.lean
hash.lean
ir.lean	chore: avoid Expr constructors in tests	2019-11-14 16:54:36 -08:00
lazylist.lean
levelparsertest1.lean
lowtech_expander.lean
map_perf.lean
mapVShmap.lean
moddata.lean
modtest1.lean
oldcompile.sh	feat: make LEAN_PATH a mapping from package names to root dirs, remove C++ impl	2019-11-20 16:39:53 +01:00
oldrun.sh
opts.lean
parser1.lean
parser2.lean
partial_eq_lemma.lean
patch.lean	fix(library/playground/patch): updateArgs => modifyArgs	2019-08-09 16:05:29 -07:00
patcheqnspace.lean	chore(library/init): eliminate whitespaces using another patch script	2019-08-09 09:01:39 -07:00
patcheqnspace2.lean	chore(library/init): fix whitspaces before =>	2019-08-09 09:13:49 -07:00
perf.lean
persistentarray.lean
phashmap.lean	feat(library/init/data/persistenthashmap/basic): add PersistentHashMap.contains	2019-08-09 11:25:01 -07:00
primes.hs
qsort64.lean	perf(library/init/lean/compiler/ir/boxing): create auxiliary constants for caching the value of boxed/unboxed literals and constants	2019-09-11 10:37:35 -07:00
rand.lean
ref2.lean
run.sh
smap.lean
split.lean
task_test.lean	chore(tests/playground/task_testX): update syntax	2019-09-12 18:26:15 +02:00
task_test2.lean	chore(tests/playground/task_testX): update syntax	2019-09-12 18:26:15 +02:00
task_test3.lean	chore(tests/playground/task_testX): update syntax	2019-09-12 18:26:15 +02:00
task_test4.lean	chore(tests/playground/task_testX): update syntax	2019-09-12 18:26:15 +02:00
termParserAttr.lean	test: add termElab attribute test	2020-01-01 14:16:49 -08:00
termparsertest1.lean
tst.lean
uf1.lean
uf1_new.lean
unsafe.lean
usizeBug.lean	test: interpreter bug	2019-11-18 18:12:33 -08:00
view_expander.lean