Issues
- 0
Panic on `--debug_out_dir`
#69 opened by jaybosamiya - 0
No loadable segment bounds found on `.o`
#67 opened by jaybosamiya - 0
- 5
Implement Function Cloning for Polymorphism
#22 opened by 2over12 - 0
Add Tests that Test Properties of Sketches
#59 opened by 2over12 - 1
Experiment with Allowing Type Inference to Instantiate Summary Signatures of Callees into Constraints
#52 opened by 2over12 - 2
- 2
Handle unbounded points to information more soundly
#48 opened by 2over12 - 1
Long processing time of /bin/ls
#42 opened by ekilmer - 0
- 0
- 1
- 1
- 0
Change Name of the Graph with all Types Inlined to a Supergraph then call graph of all global types the GlobalGraph
#37 opened by 2over12 - 2
Add support for inferring globals.
#15 opened by 2over12 - 1
Currently the Stack Analysis and Actual Displacement Assumes a Downward Growing Stack
#7 opened by 2over12 - 1
Examine implications of not considering the original type when using callsite types for concrete refinement
#25 opened by 2over12 - 0
- 0
Handle variadic functions
#33 opened by 2over12 - 0
- 1
- 0
Don't lose observed parameter information
#30 opened by 2over12 - 0
- 0
Refactor Datalog to Allow for Unions.
#20 opened by 2over12 - 0
- 1
- 1
- 0
When creating polymorphic sketches, parent node labels should not be copied to the child.
#26 opened by 2over12 - 0
- 0
Property Tests for Polymorphic formals/actuals
#24 opened by 2over12 - 0
Handle Constant Adds Better
#17 opened by 2over12 - 2
Formal params and actual returns do not preserve the appropriate subtyping relation in the case of multiple definitions for the returned or passed value
#13 opened by 2over12 - 0
Property Tests for Transducer Simplification
#16 opened by 2over12 - 4
- 1
- 1
Move subprocedure locators within BTI
#11 opened by 2over12 - 0
Deduplicate type variable strings
#12 opened by 2over12 - 0
- 1
- 0
Document Public API
#3 opened by 2over12 - 0
Add CI to run clippy and unit tests
#2 opened by 2over12 - 0