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 0b7e2fb7c7 [pulse] more type-safety around summary and latent issues creation ... Summary: This makes sure we call `AbductiveDomain.summary_of_post` exactly once per post-condition. Notice in particular in the diff: - in Pulse.ml we remove a now-certified-useless "is_unsat_expensive" call - in PulseOperations.ml we add a previously-missing call to `summary_of_post` (it's needed to remove local variables from the symbolic state + normalize) The price to pay is ugly type annotations and down-casting peppered in a few places, in reasonable number. Reviewed By: da319 Differential Revision: D24078564 fbshipit-source-id: 3102cacf0		4 years ago
..
Topl.ml	[pulse] more type-safety around summary and latent issues creation	4 years ago
Topl.mli	[topl] Prepare cheap port to pulse.	5 years ago
ToplAst.ml	[topl] Switched to low-level syntax.	5 years ago
ToplAstOps.ml	[topl] Switched to low-level syntax.	5 years ago
ToplAstOps.mli	[topl] Switched to low-level syntax.	5 years ago
ToplAutomaton.ml	[ocamlformat] Set break-sequences = true	5 years ago
ToplAutomaton.mli	[topl] Switched to low-level syntax.	5 years ago
ToplLexer.mll	[topl] Switched to low-level syntax.	5 years ago
ToplMonitor.ml	[topl] Atomic prunes.	4 years ago
ToplMonitor.mli	[typ] extract Procname from Typ	5 years ago
ToplName.ml	[topl] Switched to low-level syntax.	5 years ago
ToplName.mli	[topl] Switched to low-level syntax.	5 years ago
ToplParser.mly	[topl] Switched to low-level syntax.	5 years ago
ToplUtils.ml	[topl] Cheap port to Pulse.	4 years ago
ToplUtils.mli	[topl] Cheap port to Pulse.	4 years ago
dune	[build] make dune format files when testing	5 years ago