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 418a1b586c
[opam] do not crash when the switch does not exist
5 years ago
..
create_annotations_release.sh Fix release script for infer-annotation JAR 5 years ago
create_binary_release.sh [inferbo] Revert external relational domains (apron, elina) 5 years ago
infer_repl [build] Replace custom make cmds w/ dune promotion and byte_complete 5 years ago
make-strict-mode.sh [infer-out] change bugs.txt to report.txt 5 years ago
opam_utils.sh [opam] do not crash when the switch does not exist 5 years ago
toplevel_init rename most libraries to be more consistent 5 years ago