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.

Josh Berdine 7e77bad4d2 [sledge] Change: Implement Fol using a solver-independent intermediate type ... Summary: In order to allow implementations of the single Fol interface using multiple backend first-order logic solvers, add explicit definitions of terms and formulas in the Fol module, and implement Context in terms of them. The Fol interface supports freely mixing Terms and Formulas, in particular there is `Term.ite : cnd:Formula.t -> thn:Term.t -> els:Term.t -> Term.t` which allows Formulas to appear in Terms. The Fol implementation performs enough normalization to enable using an internal representation of terms that is strictly partitioned into "theory terms" and "formulas", which are stratified below "conditional terms" and then below "general terms". This partitioning and stratification enables using backend solvers that do not support mixing formulas in terms. Reviewed By: jvillard Differential Revision: D22170506 fbshipit-source-id: a014ee7d7		4 years ago
..
annotations	[infer][PR] Release infer-annotation 0.18.0	5 years ago
bin	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
documentation	[linters] Delete unused linters about ComponentKit	4 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	[linters] Remove the linters UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK and REGISTERED_OBSERVER_BEING_DEALLOCATED	4 years ago
man/man1	[pulse] Add a flag to pass functions that we want to model as returning non-null	4 years ago
models	[biabduction] Delete Core Foundation models for Memory Leaks	4 years ago
src	[sledge] Change: Implement Fol using a solver-independent intermediate type	4 years ago
tests	[pulse] Add a flag to pass functions that we want to model as returning non-null	4 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago
dune	[help] scaffolding to start documenting issue types	5 years ago
dune-project	[dune] ignore all dirs except src/	5 years ago
dune-workspace.in	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
infer.mld	documentation for new libraries	5 years ago
infer.opam	[dune] ignore all dirs except src/	5 years ago