8 Commits (ad986dffde83eb0e95bcd8bc6fbffffd3cb0f15e)

Author SHA1 Message Date
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Cristiano Calcagno 257f4976f0 Convert java tracing tests to new direct format.
9 years ago
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment
10 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages.
10 years ago
Cristiano Calcagno df04749cd0 Add module to fix copyright messages.
10 years ago
jrm ef27abcc8f [infer][tracing] disabling non working tests for ArrayIndexOutOfBoundsException
10 years ago
jrm 8779b80f8a [infer][tracing] add an example of inter-procedural array out of bounds error
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago