infer_clone/scripts/toplevel_init

(* load dependencies *)
#use "topfind";;
#thread;;
#require "core.top";;
#require "ctypes";;
#require "ctypes.stubs";;
#require "sawja";;
#require "atdgen";;
#require "xmlm";;
#require "ANSITerminal";;

(* load infer code *)
#load_rec "toplevel.cmo";;
open Toplevel;;
Add basic support for starting ocaml repl with infer code Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful. Reviewed By: jberdine Differential Revision: D3736029 fbshipit-source-id: 4cebb7c 8 years ago			`(* load dependencies *)`
			`#use "topfind";;`
Add tuareg and core as dependencies Reviewed By: jvillard, jberdine Differential Revision: D4066732 fbshipit-source-id: eccb89e 8 years ago			`#thread;;`
[build] move to ctypes stubs Summary: This removes the dependency of libffi, and gives better guarantees at compile-time. A bit overkill to retrieve the width of the terminal but what do you know... Reviewed By: jberdine Differential Revision: D4700003 fbshipit-source-id: 036989b 8 years ago			`#require "core.top";;`
[utils] Add CTypes binding of fts and implement remove_directory_tree Summary: This diff adds a dependency on ctypes.foreign and uses the example binding of fts to implement remove_directory_tree. Reviewed By: yunxing Differential Revision: D4115569 fbshipit-source-id: 3509955 8 years ago			`#require "ctypes";;`
[build] move to ctypes stubs Summary: This removes the dependency of libffi, and gives better guarantees at compile-time. A bit overkill to retrieve the width of the terminal but what do you know... Reviewed By: jberdine Differential Revision: D4700003 fbshipit-source-id: 036989b 8 years ago			`#require "ctypes.stubs";;`
Add basic support for starting ocaml repl with infer code Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful. Reviewed By: jberdine Differential Revision: D3736029 fbshipit-source-id: 4cebb7c 8 years ago			`#require "sawja";;`
			`#require "atdgen";;`
[mvn] new integration Summary: This replaces the previous integration written in Python, which consisted in 1) run the mvn command and parse its output to locate "directories containing source files", 2) run on files named "*.java" in these directories. This meant we had to run javac twice on each source file, and more importantly this mechanism of finding source files was very fragile. In fact, I could not make it work on several mvn projects I tried. The new integration is based on parsing "pom.xml" to add an "infer-capture" profile which instructs mvn to run `/path/to/infer` instead of `javac`. We also add this profile to each maven submodule. Users can specify an "infer-capture" profile themselves if the default one doesn't work; in that case we don't inject our own "infer-capture" profile. Reviewed By: jeremydubreil Differential Revision: D4409613 fbshipit-source-id: d664274 8 years ago			`#require "xmlm";;`
[CTL] Initial version of a step-by-step debugger for CTL formulas Summary: This debugger stops the execution of CTL during the evaluation of formulas, then shows useful info about the current state: - Which formula is being evaluated - In which part of the AST is such formula being evaluated - Line number of the source file - Whether a CTL-Transition will take place or not - Node-ID that can be related to the dotty file containing the evaluation graph (the one in infer-out/lint_dotty/) The AST is shown with coloured nodes, where each colour has the following meaning: - [Default terminal colour], Bold: The node is being evaluated - Green, Bold: The formula returned true on the current node - Red, Bold: The formula returned false on the current node Reviewed By: ddino Differential Revision: D4834451 fbshipit-source-id: c9aa970 8 years ago			`#require "ANSITerminal";;`
Add basic support for starting ocaml repl with infer code Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful. Reviewed By: jberdine Differential Revision: D3736029 fbshipit-source-id: 4cebb7c 8 years ago
			`(* load infer code *)`
			`#load_rec "toplevel.cmo";;`
			`open Toplevel;;`