slither

Author	SHA1	Message	Date
alpharush	801809fe56	unsued import	2 years ago
alpharush	16f8f33cab	fmt	2 years ago
alpharush	38ac822bc5	use switch_global_version	2 years ago
alpharush	d4d387e585	install solc on demand, add coverage to setupy	2 years ago
alpharush	bfe38cfd79	add unit tests	2 years ago
William Aaron Cheung	547a8047f0	add bug revealing test for #1748	2 years ago
alpharush	b16bb7079f	remove xfail from passing test, test_initial_version_exists_for_locals	2 years ago
alpharush	9f56a91f73	mark currently failing IR tests as xfail	2 years ago
Feist Josselin	bd2d572f48	More types	2 years ago
Feist Josselin	10109fc553	Remove core.children	2 years ago
Henrik Brodin	fdf346f530	Hbrodin/ssa array tests (#1205 ) * Initial array test cases. Not asserting anything yet. * Test cases for SSA IR related to arrays	3 years ago
Henrik Brodin	644f5e59a9	Test cases for SSA IR (#1101 ) * Test cases for SSA IR generation Attempts to verify a few basic properties of the generated SSA IR. Currently these tests fail because of IR that seems to be incorrect. Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>	3 years ago