summaryrefslogtreecommitdiff
path: root/test/gtest
Commit message (Expand)AuthorAgeFilesLines
* [threads] Shared basic heap types (#6667)Thomas Lively2024-06-192-9/+210
* [NFC] Add constexpr HeapTypes for basic heap types (#6662)Thomas Lively2024-06-141-38/+38
* [threads] Parse, build, and print shared composite types (#6654)Thomas Lively2024-06-121-0/+34
* Remove obsolete parser code (#6607)Thomas Lively2024-05-292-2/+0
* [Strings] Remove stringview types and instructions (#6579)Thomas Lively2024-05-151-82/+4
* Use the new wat parser in tests (#6556)Thomas Lively2024-04-294-72/+90
* Improve return validation (#6551)Thomas Lively2024-04-291-0/+17
* [Parser] Do not eagerly lex parens (#6540)Thomas Lively2024-04-251-3/+0
* Typed continuations: nocont and cont basic heap types (#6468)Frank Emrich2024-04-041-1/+83
* Fix stringview subtyping (#6440)Thomas Lively2024-03-261-28/+39
* [Parser] Simplify the lexer interface (#6319)Thomas Lively2024-02-201-1432/+831
* [Parser] Support string-style identifiers (#6278)Thomas Lively2024-02-061-0/+27
* [Parser] Templatize lexing of integers (#6272)Thomas Lively2024-02-051-166/+166
* JSON: Add simple printing and creation (#6265)Alon Zakai2024-02-012-0/+17
* Update the text syntax for tuple types (#6246)Thomas Lively2024-01-261-6/+6
* Require `then` and `else` with `if` (#6201)Thomas Lively2024-01-042-17/+23
* [Outlining] Adding more tests (#6117)Ashley Nelson2023-11-151-1/+1
* [Outlining] Adds Outlining pass (#6110)Ashley Nelson2023-11-131-26/+6
* Update CFGWalker to generate consolidated exit blocks (#6079)Thomas Lively2023-11-061-2/+57
* [analysis] Allow joining a single vector element efficiently (#6071)Thomas Lively2023-11-021-0/+43
* [analysis] Simplify the stack lattice (#6069)Thomas Lively2023-11-022-97/+26
* [analysis] Add a "Shared" lattice to represent shared state (#6067)Thomas Lively2023-11-021-0/+108
* [analysis][NFC] Refactor lattice unit tests (#6065)Thomas Lively2023-11-011-420/+145
* [analysis] Add a lattice for value types (#6064)Thomas Lively2023-11-011-0/+112
* [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
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-14 01:19:05 +0000