You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Jules Villard f72a1a4210
read errors from json instead of csv
10 years ago
..
annotations Initial version of the @Expensive checker 10 years ago
bin [sync] repair broken github sync 10 years ago
etc [clang] replace yojson frontend with biniou frontend 10 years ago
lib read errors from json instead of csv 10 years ago
models rename infer.py to analyze.py 10 years ago
src Enforcing subtyping rules for @Expensive and @PerformanceCritical 10 years ago
tests Enforcing subtyping rules for @Expensive and @PerformanceCritical 10 years ago
.merlin initial synchronization 10 years ago
.ocp-indent add ocp-indent configuration and eclipse launcher 10 years ago
.project initial synchronization 10 years ago
Makefile Move the annotation processor into lib 10 years ago