Leonardo de Moura 772fa06461 doc: add workarounds, and describe what we need in the new equation compiler ... @dselsam The good news is that the problem is fixable. I included a workaround `mergeCongr3` for avoiding the overhead in the current system.		2020-02-05 11:46:35 -08:00
..
bench	chore: fix tests	2020-01-28 10:34:27 -08:00
compiler	feat: use custom error messages at checkRBPGreater	2020-02-03 18:30:22 -08:00
elabissues	doc: add workarounds, and describe what we need in the new equation compiler	2020-02-05 11:46:35 -08:00
ir	chore(tests): fix do syntax in tests	2019-06-30 13:04:34 +02:00
lean	feat: implement withPtrEq and withPtrAddr	2020-02-04 17:48:11 -08:00
playground	test: add termElab attribute test	2020-01-01 14:16:49 -08:00
plugin	feat: file IO using handles	2020-01-12 08:02:48 -08:00