4 Commits (cb2d8dbe83e41f1fe3059058257a3c1751bf9951)

Author	SHA1	Message	Date
Dulma Rodriguez	8a1288860b	Make alloc save a given procanem in the path ... Reviewed By: ddino Differential Revision: D3184313 fb-gh-sync-id: 53624c4 fbshipit-source-id: 53624c4	9 years ago
Josh Berdine	e1020c8ebe	Remove -open(Utils) compile flag hack ... Summary:public Eliminate the use of the -open Utils command line option passed to the compiler in favor of `open! Utils` in each source file. While slightly convenient, this option causes more headaches than it is worth with other tools e.g. merlin. Reviewed By: jvillard Differential Revision: D3168193 fb-gh-sync-id: 4285ef6 fbshipit-source-id: 4285ef6	9 years ago
Josh Berdine	61d2a50809	Simplify interface of SymExec ... Summary:public Rename functions and arguments to be more uniform, and change several to simplify types by using Builtin.t. Reviewed By: cristianoc Differential Revision: D3107836 fb-gh-sync-id: 8445f79 fbshipit-source-id: 8445f79	9 years ago
Josh Berdine	fd062cf736	Refactor SymExec.ModelBuiltins into toplevel module ... Summary:public Move ModelBuiltins out of SymExec. Reviewed By: cristianoc Differential Revision: D3102373 fb-gh-sync-id: 7fa8485 fbshipit-source-id: 7fa8485	9 years ago