4 commits

Author	SHA1	Message	Date
Sebastian Ullrich	7e521f0105	chore: remove remaining #lang lean4 in tests	2021-01-27 14:45:31 +01:00
Leonardo de Moura	fa101444b4	chore: fix tests	2020-10-25 09:11:13 -07:00
Sebastian Ullrich	77cbaa752c	fix: Task: make reference and -j0 semantics eager, simplify	2020-09-14 17:57:33 +02:00
Sebastian Ullrich	5107403d24	feat: detect stack overflows on all platforms and threads	2020-05-04 11:11:11 +02:00