9 Commits

Include renames

Author	SHA1	Message	Date
Alex Beregszaszi	1be07c2b36	Trivial isoltest updates: missing // ---- at the end	2021-04-20 17:38:29 +02:00
Leonardo Alt	8a7e94c06f	Keep pragma in smoke test for bytecode compare script	2021-04-08 21:03:39 +02:00
Leonardo Alt	0a4afa71bd	Update old tests	2021-04-08 21:03:39 +02:00
Leonardo Alt	a8209e9899	[SMTChecker] Shortcut RationalNumber expressions	2019-03-11 12:53:49 +01:00
Leonardo Alt	29b2ab6f66	Handle aliasing	2019-03-06 11:29:54 +01:00
Leonardo Alt	e74f58130e	Add SMT type support to Solidity arrays	2019-03-06 11:29:26 +01:00
Mathias Baumann	f782125463	Fix SMT Checker crash due to missing type information	2019-02-28 11:55:45 +01:00
Mathias Baumann	a63f7ca9df	Fix crash due to missing type info	2019-02-19 17:28:44 +01:00
Leonardo Alt	32fe4768a9	Organize smt tests in subdirectories	2018-11-22 13:33:28 +00:00