Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
scheme
437576df
·
adds bench and refactors tests
·
Aug 31, 2021
minijava-parsing
dbca7fc0
·
fixes funCall parsing
·
Oct 04, 2021
wasm-except-bug
f6dd3302
·
WIP wasm except bug
·
May 10, 2022
dai-fixpoint
01c3551e
·
adds ExceptionByTarget abstraction and uses it in Wasm
·
May 11, 2022
parallel
49390348
·
WIP fork at joinComputations
·
May 17, 2022
wasm-interval-debug
2b965469
·
debugging interval to byte encoding
·
Jun 01, 2022
relational-mock
54b1bf99
·
mock implementation of symbolic values
·
Jun 10, 2022
tree-interp
c0e3250a
·
toward tree generation
·
Jul 08, 2022
congruence
08bd53bc
·
Implemented new methods for trait compatibility
·
Jul 18, 2022
relational-backup
e8a9173c
·
Merge
·
Sep 01, 2022
suggestions/relational
5720d0b9
·
Fix `getIntVal` in the relational analysis. Variables that have been just...
·
Sep 12, 2022
relational-auto-free
d25c44d9
·
WIP safe auto-free
·
Sep 13, 2022
generic-syntactic
2c3c0d15
·
data-flow anno experiments
·
Nov 30, 2022
relational
9b207230
·
fixes apron integer division to handle negative divisors
·
Jan 06, 2023
relational-delayed-subst
0d9e70aa
·
change argument order for widening to ensure v1 is the previous loop result...
·
Jan 24, 2023
assert
9648b829
·
Add recursive examples with relational assertions
·
Jan 27, 2023
jimple
57378103
·
Pretty revision
·
Feb 12, 2023
wasm
f8ac3768
·
fix case where instruction has not been logged
·
Mar 02, 2023
bitvector-numbers
0db9265d
·
minro refactoring
·
Mar 06, 2023
apron-bindings
221bbe0f
·
improve comments on unimplemented apron methods
·
Apr 06, 2023
Prev
1
2
Next