10 Commits (d3f981699960a90f92b197b78004ce6a6c4105c6)

Author	SHA1	Message	Date
ggrieco-tob	802ab4edb2	fixes	6 years ago
ggrieco-tob	ee706bf5a9	fixes and improvements in slither-simil	6 years ago
ggrieco-tob	6c613dde8c	fixed formating	6 years ago
ggrieco-tob	1752a1abfb	added crytic-compile options into the slither-simil command line	6 years ago
ggrieco-tob	5a1d30e1ab	fixes	6 years ago
ggrieco-tob	8f2bad8905	fixes	6 years ago
ggrieco-tob	03b318b55e	fixes + enable contract sampling during training	6 years ago
ggrieco-tob	3fd50a40a6	fixes	6 years ago
ggrieco-tob	32f2f6f0d1	fixes + logger	6 years ago
ggrieco-tob	43fa9c73df	first version of slither-simil	6 years ago