9 Commits

Author	SHA1	Message	Date
Daniel Kirchner	5cd98006d4	Fill in junk in stack layouts on terminating control flow paths.	2022-03-15 18:36:55 +01:00
chriseth	b3fe042884	Optimize eq iszero jumpi to xor jumpi and remove double jump.	2022-03-10 14:41:41 +01:00
chriseth	e9592c3f8e	Update tests.	2022-02-21 14:32:52 +01:00
Kamil Śliwak	032f2d8f9f	Update gas expectations	2021-11-15 16:32:45 +01:00
Daniel Kirchner	1a0605c594	Update tests.	2021-11-03 12:39:55 +01:00
Daniel Kirchner	0a6fc89da2	Fix negation function name collision.	2021-07-08 10:47:29 +02:00
Kamil Śliwak	105b4b4c8b	Update tests	2021-07-05 13:46:53 +02:00
Alex Beregszaszi	7dc514847a	Fix prbmath.exp tests	2021-05-14 15:29:12 +01:00
Alex Beregszaszi	484a4398a7	Add semantic tests using prb-math	2021-04-27 20:23:13 +01:00