summaryrefslogtreecommitdiff
path: root/test/gtest
Commit message (Expand)AuthorAgeFilesLines
* [analysis] Add a tuple lattice (#6062)Thomas Lively2023-10-311-0/+117
* [analysis] Implement a vector lattice (#6058)Thomas Lively2023-10-311-0/+109
* [analysis] Implement an array lattice (#6057)Thomas Lively2023-10-311-0/+109
* [analysis] Implement a Lift lattice (#6040)Thomas Lively2023-10-251-0/+77
* [analysis] Implement Flat lattice (#6039)Thomas Lively2023-10-251-0/+103
* [analysis] Add a FullLattice concept and Inverted lattice (#6038)Thomas Lively2023-10-251-3/+113
* [analysis] Implement an Int lattice (#6037)Thomas Lively2023-10-251-0/+36
* [analysis] Implement a Bool lattice (#6036)Thomas Lively2023-10-252-0/+51
* [analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice...Thomas Lively2023-10-251-2/+2
* [analysis] Simplify core analysis code (#6034)Thomas Lively2023-10-251-169/+0
* Fix segfault in catch validator (#6032)Philip Blair2023-10-232-0/+51
* [analysis][NFC] Move the stack lattice to analysis/lattices (#6030)Thomas Lively2023-10-201-1/+1
* [Outlining] Filter branches & returns (#6024)Ashley Nelson2023-10-181-56/+95
* [Outlining] Filter Local Set (#6018)Ashley Nelson2023-10-181-1/+42
* Added type to fix template deduction failure (#6014)Ashley Nelson2023-10-171-2/+1
* Add getGeneralSuperType() that includes basic supers, and use in fuzzer (#6005)Alon Zakai2023-10-172-3/+77
* [NFC] Rename getSuperType to getDeclaredSuperType (#6015)Alon Zakai2023-10-171-3/+3
* [Outlining] Adds separator context (#5977)Ashley Nelson2023-10-041-39/+67
* [Outlining] Adds SuffixTree::RepeatSubstring dedupe test (#5972)Ashley Nelson2023-10-041-0/+17
* Outlining Test Improvements (#5971)Ashley Nelson2023-09-251-13/+21
* [NFC] Split the new wat parser into multiple files (#5960)Thomas Lively2023-09-191-1/+1
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-7/+7
* Make final types the default (#5918)Thomas Lively2023-09-092-68/+53
* Lattice to model Stack (#5849)Bruce He2023-08-031-0/+98
* [Outlining] Integration test for suffix_tree and stringify (#5839)Ashley Nelson2023-08-031-3/+40
* [NFC] Move ModuleUtils copying and renaming logic from header to cpp (#5855)Alon Zakai2023-08-021-0/+1
* GUFA: Infer using TrapsNeverHappen (#5850)Alon Zakai2023-08-021-3/+5
* PossibleContents: Support more intersection types (#5847)Alon Zakai2023-07-311-7/+21
* Convert lattice compare function to non-static (#5848)Bruce He2023-07-281-3/+2
* End the current basic block on a Call (#5823)Alon Zakai2023-07-261-0/+45
* [Outlining] Changing stringify values to 32-bit (#5832)Ashley Nelson2023-07-211-45/+45
* Add support for debug printing of functions (#5828)Alon Zakai2023-07-202-0/+45
* Static Analysis: Add an API to get the block index of an expression (#5822)Alon Zakai2023-07-201-0/+40
* Reaching Definitions Analysis for LocalGraph (#5817)Bruce He2023-07-191-0/+205
* [Outlining] LLVM Suffix Tree (#5821)Ashley Nelson2023-07-182-0/+156
* [Outlining] HashStringifyWalker (#5810)Ashley Nelson2023-07-131-2/+93
* Generalize Finite Powerset Lattice to Any Given Type (#5800)Bruce He2023-07-061-6/+47
* Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...Bruce He2023-07-061-19/+19
* Initial support for `final` types (#5803)Thomas Lively2023-07-061-0/+32
* [NFC] Fix the use of "strict" in subtypes.h (#5804)Thomas Lively2023-07-061-3/+3
* [Outlining] StringifyWalker (#5772)Ashley Nelson2023-06-302-0/+128
* Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)Bruce He2023-06-291-23/+35
* Liveness Analysis Proof of Concept (#5771)Bruce He2023-06-231-0/+158
* Add a gtest fixture for tests checking printed output (#5781)Thomas Lively2023-06-232-8/+33
* [analysis] Add a new iterable CFG utility (#5712)Thomas Lively2023-05-122-0/+85
* Remove the ability to construct basic types in a TypeBuilder (#5678)Thomas Lively2023-04-191-22/+0
* Remove the nominal type system (#5672)Thomas Lively2023-04-173-97/+26
* [GUFA] Refine global types during flow (#5639)Alon Zakai2023-04-071-4/+14
* Add a TypeNameGenerator that uses names from a Module (#5437)Thomas Lively2023-01-181-4/+42
* Add Valmari-Lehtinen DFA minimization as a standalone utility (#5430)Thomas Lively2023-01-172-0/+136
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-05 02:58:14 +0000