e107058bf6
[Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.
...
Summary: This should make code easier to read/review in the future.
10 years ago
60000be43b
[infer][backend] refactoring code for getting reachable hpred's/pure atoms from a prop
...
Summary: factored this functionality into prop.ml and eliminated some duplicate functionality in sil.ml/propgraph.ml
10 years ago
bae8a4dced
[whitespace] indent .ml files as well
10 years ago
6911a1516c
[whitespace] ocp-indent the code
...
Summary:
This commit is the result of
`find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;`
and
`INFER_CHECK_COPYRIGHT=1 InferPrint`
10 years ago
d7bb75ad5d
[infer][backend] eliminating duplicate declaration of ExpSet module
...
Summary: Both sil.ml and prop.ml declare this module, but everywhere else in the code uses sil.ml's version.
10 years ago
3e199467f4
Complete copyright messages.
10 years ago
6bde9bda88
[Bucketing] Improve error bucketing by using constant propagation when detecting direct null assignments.
10 years ago
c26401021c
[infer] remove Sil.Avariadic_function_argument
...
Summary:
This attribute was used to tag arguments to variadic functions, as a way to
detect premature sentinels. The approach to detect premature sentinels has
changed making it obsolete.
10 years ago
d7a4474d90
[Infer][angelic] Adding angelic abduction on actuals passed by reference
10 years ago
b8982270f2
initial synchronization
10 years ago
Sam Blackshear
Jules Villard
Cristiano Calcagno
Open Source Synchronization