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.
Andrzej Kotulski 97fe6275bd
Simplify language detection in frontend
8 years ago
..
.settings add ocp-indent configuration and eclipse launcher 10 years ago
IR Clean up special handling of smart pointers in backend 8 years ago
backend Clean up special handling of smart pointers in backend 8 years ago
checkers killing a bunch of options by using optional argument types correctly 8 years ago
clang Simplify language detection in frontend 8 years ago
eradicate detect unsigned values inside structured expressions 8 years ago
harness Cleanup instruction names: use Load/Store instead of Letderef/Set. 8 years ago
java Cleanup instruction names: use Load/Store instead of Letderef/Set. 8 years ago
llvm Cleanup instruction names: use Load/Store instead of Letderef/Set. 8 years ago
menhir build in one directory only 9 years ago
opensource fix github build 9 years ago
quandary fix needless type extension 8 years ago
scripts Move Logging setup to Logging 9 years ago
unit Add support for multiple stacktraces in '-a crashcontext' 8 years ago
Makefile Fix roots with new names for InferPrint and InferAnalyze 8 years ago
unary.txt Add target to convert files to reason 9 years ago