23 Commits (3096e8448b124607dc0a0a0df99795711502683f)

Author SHA1 Message Date
Josh Berdine 1ca67fbfa6 ppx_compare DB
8 years ago
Andrzej Kotulski ca9ce58150 [reactive capture] reliably load proc attributes only for defined procedures
8 years ago
Andrzej Kotulski 7a0a89e567 [DB.source_file] Explicitly specify what path is relative to, keep cpp model paths relative
8 years ago
Cristiano Calcagno 47c623ff51 [Merge] Use multilink files to speed up merge with buck projects.
8 years ago
Cristiano Calcagno 3c52ee67a2 [IR] Save defined and declared procedure attributes in different files.
8 years ago
Josh Berdine dd8b8e6d2e [reason] reformat with new version of reason
8 years ago
Josh Berdine af51599e0f [backend] Remove AttributesTable.get_tenv
8 years ago
Cristiano Calcagno bd0215a826 [IR] Add notion of file captured to procedure attributes.
8 years ago
Cristiano Calcagno ec67521c6f [backend] Fix issue where the attribute of a procedure definition could be overwritten with the attribute of a declaration
8 years ago
Josh Berdine 8589dc4868 Remove Tstruct in favor of Tvar
8 years ago
Cristiano Calcagno 0b7ea202db Convert infer c++ tests to new format
8 years ago
Josh Berdine 8a85919001 Pass tenv to everywhere that matches on Tstruct
8 years ago
Josh Berdine f0940f25d7 Replace optional mangled struct_name with typename
8 years ago
Cristiano Calcagno 346d3e6d01 Address capture flakiness when a symbol is multiply defined.
8 years ago
Josh Berdine 4e67ff6771 Fix bug in AttributesTable stats
9 years ago
Josh Berdine bbec166174 Refactor Sil.typ into separate Typ module
9 years ago
Martino Luca f89e66dc60 Stats aggregator for frontend/backend/reporting
9 years ago
Dulma Churchill de615594df Skip whitelisted functions form trace
9 years ago
Josh Berdine 66faedbf15 Optimize attribute loading
9 years ago
Cristiano Calcagno 08546ce7bb Move vim comments up.
9 years ago
Cristiano Calcagno 52e9ebc252 Enable syntax highlighting for Reason files on GitHub.
9 years ago
Dulma Churchill 93fcf7be9f Skip cpp models from traces
9 years ago
Cristiano Calcagno 885beed0b1 Convert the Intermediate Representation to Reason.
9 years ago