Commit Graph

12 Commits (f90eb65104cae442cd817a41511efb5aa824efd3)

Author SHA1 Message Date
Josselin be3bd84630 Add id to Output 5 years ago
Josselin e364ba208e API break: generate_json_result takes a list as input, instead of a str 5 years ago
Josselin dd1330609b Update travis tests 6 years ago
Josselin 6e2194bea4 Json modifications: 6 years ago
Josselin 9149bfc5bf Rename add_other_to_json to add_pragma_to_json 6 years ago
Josselin 2c63abe9a8 Update expected json 6 years ago
Josselin b6af826a83 Improve travis tests: 6 years ago
Josselin 8d0297f604 Fix travis path 6 years ago
Josselin a58da24e86 Update travis test 6 years ago
Josselin f7d68c05f6 Fix travis 6 years ago
Josselin ac82e1fc0c Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3 6 years ago
Josselin f53151e695 Open source 3 detectors: 6 years ago