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 c0c96b5235 [sledge] Refactor Used globals analysis results type and query ... Summary: The Used globals (pre-)analysis produces results queried by Control. This diff adds a type definition for these and moves the query into the Used_globals module. Reviewed By: bennostein Differential Revision: D17856879 fbshipit-source-id: 0211b82d7		5 years ago
..
config	[sledge] Error reporting improvements	5 years ago
domain	[sledge] Refactor Used globals analysis results type and query	5 years ago
import	[sledge] Use the configured margin when formatting failure messages	5 years ago
llair	[sledge] Refine inlining heuristic to allow casts	5 years ago
ppx_trace	[copyright] Remove years	6 years ago
symbheap	[sledge] Remove left-over SSA assertion	5 years ago
trace	[sledge] Use the configured margin when formatting failure messages	5 years ago
control.ml	[sledge] Refactor Used globals analysis results type and query	5 years ago
control.mli	[sledge] Refactor Used globals analysis results type and query	5 years ago
dune.in	[sledge] Error reporting improvements	5 years ago
report.ml	[sledge] Report the number of alarms	5 years ago
report.mli	[sledge] Report the number of alarms	5 years ago
sledge.ml	[sledge] Refactor Used globals analysis results type and query	5 years ago
sledge.mli	[copyright] Remove years	6 years ago
sledge_buck.ml	[sledge] Fix internalization	5 years ago
sledge_buck.mli	[copyright] Remove years	6 years ago
stop.ml	[sledge] Include alarms in debug trace	5 years ago
stop.mli	[sledge] Include alarms in debug trace	5 years ago
version.ml	[sledge] Use dune's Build_info for version reporting	5 years ago
version.mli	[sledge] Use dune's Build_info for version reporting	5 years ago