7047 Commits (81667f25aeb89b00d971a38bf0a6661aef8835b8)
 

Author SHA1 Message Date
Nikos Gorogiannis 998960930f [deadcode] multilinks
5 years ago
Phoebe Nichols 43964c898c Add test for introducing a procedure
5 years ago
Phoebe Nichols 6874926b10 Clean specs directory before running capture
5 years ago
Sungkeun Cho a294085d9a [inferbo] Extend size alias domain for Java temporary variables
5 years ago
Sungkeun Cho 5127a975e3 [cost] Ignore boundends when getting range
5 years ago
Ezgi Çiçek a18e22ef7f [pulse] Remove empty edges and their WrittenTo from post
5 years ago
Jules Villard 0911a1297a [pulse] do not record addresses of logical variables
5 years ago
Jules Villard 22c5acd236 [pulse] utility method `PulseDomain.Memory.pp_edges`
5 years ago
Sungkeun Cho 1918477da8 [cost] Simplify range of min(1,x)
5 years ago
Mitya Lyubarskiy e97621c4ee [easy] we never created a param here
5 years ago
Mitya Lyubarskiy 753580095e make --debug option side-effect free
5 years ago
Scott Owens d864fb2c89 [sledge semantics] Add a rough draft llair semantics
5 years ago
Mitya Lyubarskiy 2339791336 [nullsafe][EASY] rename test annotation for clarity
5 years ago
Mitya Lyubarskiy 5b0bdfb297 [nullsafe] Refine semantics of @Nonnull: obey minimum surprise principle
5 years ago
Scott Owens 32983e129b [sledge semantics] Update expr transl. for cross-block
5 years ago
Sungkeun Cho 4351ba9bd1 [cost] Add version to BasicCost.t
5 years ago
Sungkeun Cho ddaf51713e [inferbo] Revise Java's String models
5 years ago
Scott Owens 9f44bbc264 [sledge semantics] Refactor the memory model
5 years ago
Ezgi Çiçek 28e84f275e [pulse] Don't print attribute ranks
5 years ago
Mitya Lyubarskiy 356ec9afe5 [easy] make method with side-effects looks like it has side-effects
5 years ago
Ezgi Çiçek 193aa91b05 [litho] Hookup litho tests to main test suite
5 years ago
Ezgi Çiçek 8081dbfbf1 [pulse] Record the trace of the address written to
5 years ago
Josh Berdine 13fb57ec62 [sledge] Revise llvm to llair translation to avoid code duplication
5 years ago
Sungkeun Cho 6e1adf4d1d [inferbo] Remove deadcode
5 years ago
Sungkeun Cho 59f06568cf [inferbo] Use std::vector model for std::string
5 years ago
Jules Villard 9e5115a9e0 [annotreach] support for new `"symbol_regexps"` matcher
5 years ago
Josh Berdine ed4aac4f66 [sledge] Update stale comment
5 years ago
Josh Berdine 0667edf418 [sledge] Remove unused Llair.ignore_result
5 years ago
Josh Berdine 3f8d5ace6e [sledge] Eliminate SSA
5 years ago
Josh Berdine b6eab89504 [sledge] Remove dead from_call.actuals_to_formals field
5 years ago
Josh Berdine 8d9b8962c7 [sledge] Add Move instruction
5 years ago
Josh Berdine 2c9fce0bf2 [sledge] Add Vector.unzip
5 years ago
Josh Berdine 0790a64763 [sledge] Change symbolic execution of instructions to not rely on SSA
5 years ago
Scott Owens 808a61623f Add types to the variable syntax in llair
5 years ago
Scott Owens 85243ada62 Update for improved HOL syntax for Datatypes
5 years ago
Scott Owens 84883127af Add a skeleton of an approach to llvm->llair
5 years ago
Scott Owens 6eab69d0d1 Definie a prelim. AST for llair's semantics
5 years ago
Jules Villard ee4489dd4c [clang][setup] suppress zealous warning
5 years ago
Dulma Churchill d0bfb856ed [AL] Add new predicate is_extern
5 years ago
Jules Villard f76ed88741 [clang] wrap test determinator in frontend exception catcher
5 years ago
Jules Villard b59ff499c7 [clang] move error handling from cFrontend_config to a new cFrontend_errors module
5 years ago
Sungkeun Cho fadd8cb541 [inferbo] Prune array size in Java
5 years ago
Jules Villard a18cf040df [al] better distinction AL vs frontend in file names
5 years ago
Jules Villard 1c0345f00c [clang] move AL source code to new al/ folder
5 years ago
Sungkeun Cho 77084782e1 [inferbo] Fix bug in integer pruning by pointer
5 years ago
Sungkeun Cho aaa40084c4 [inferbo] Add Preconditions.checkArgument model
5 years ago
Sungkeun Cho d11444f7d3 [inferbo] Change the order of StdBasicString and StdVector
5 years ago
Nikos Gorogiannis e49f3f1512 [racerd] use access expression structure in ownership domain
5 years ago
Sungkeun Cho 5f5b3de91a [inferbo] Pruning collection.size in Java
5 years ago
Phoebe Nichols 50c39a5b4b Log reverse analysis call graph statistics
5 years ago