6 Commits (ac0084019ccd04f4df96ee14928bf8dde6f31481)

Author SHA1 Message Date
Jeremy Dubreil 168c613ac9 [infer][java] Separate the builtins from the other models for a better modularity
8 years ago
Jules Villard 533831a206 move all config variables to Makefile.config.in
9 years ago
Jules Villard 7f1b494001 migrate infer/models/Makefile
9 years ago
jrm 0282060808 delete the deprecated script inferJ
9 years ago
jrm 5e9f88eaeb [infer][Java] more consistent names for env variables
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago