Leonardo de Moura 40943f84f3 chore(tests): fix tests		2019-07-17 10:46:35 -07:00
..
fail	chore(tests): port tests, fix at least compiler tests	2019-03-21 15:11:05 -07:00
run	chore(tests): fix tests	2019-07-17 10:46:35 -07:00
trust0	chore(tests/lean): fix tests	2019-07-08 22:11:19 -07:00
check.lean	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
check.lean.expected.out	chore(tests/lean): fix more tests	2019-03-21 15:11:05 -07:00
extract.lean	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
extract.lean.expected.out	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
leanpkg.path	refactor(library/module_mgr): minor refactorings	2018-09-11 13:55:25 -07:00
leanpkg.toml
lisp.lean.expected.out
ll_infer_type_bug.lean	chore(tests): fix tests	2019-03-27 14:06:23 -07:00
ll_infer_type_bug.lean.expected.out	chore(tests): fix tests	2019-03-27 14:06:23 -07:00
macro1.lean.expected.out
reader1.lean.expected.out
readlinkf.sh
repr_issue.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
repr_issue.lean.expected.out	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
string_imp.lean	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
string_imp.lean.expected.out	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
string_imp2.lean	chore(tests): fix tests	2019-07-17 10:46:35 -07:00
string_imp2.lean.expected.out	chore(tests): fix/disable some tests	2019-03-21 15:11:05 -07:00
test.sh
test_single.sh	chore(shell/lean): reduce lean interface to taking a single file, assuming all dependencies have already been built	2019-01-25 18:27:38 +01:00
test_single_pp.sh