Skip to content
GitLab
Explore
Sign in
Register
PLMZ
sturdy.scala
Repository
Branches
Overview
Active
Stale
All
relational-recency
dd6a9b3f
·
Add test to reproduce hashcode problem
·
Apr 15, 2024
backwards
1e28b27e
·
Implemented Sign Analysis for PCF. Solving issues with recursive functions
·
Apr 03, 2024
control-events-wasm
8c9d7429
·
Simplified ControlEventParser stack by removing Entry.Tree
·
Mar 28, 2024
control-events
9a57b755
·
bugfix ObservedBooleanBranching
·
Jan 30, 2024
backWards_New
edcbeeb1
·
Added Examples for Pointers
·
Jan 28, 2024
master
default
protected
42ef5066
·
missing control graph file for Tip
·
Jan 22, 2024
recency-abstraction
55cb7f6e
·
Revert "add powerset for physical addresses that refers to virtual addresses...
·
Nov 07, 2023
wasm
e1950626
·
improve reference ops to be used in Wasm
·
Jul 27, 2023
relational-scoped
3a821972
·
todo
·
Jun 26, 2023
!3
incremental-analysis
73be8a1d
·
Wasm: Add reduced product for function pointers
·
Apr 21, 2023
apron-bindings
221bbe0f
·
improve comments on unimplemented apron methods
·
Apr 06, 2023
bitvector-numbers
0db9265d
·
minro refactoring
·
Mar 06, 2023
jimple
57378103
·
Pretty revision
·
Feb 12, 2023
assert
9648b829
·
Add recursive examples with relational assertions
·
Jan 27, 2023
relational-delayed-subst
0d9e70aa
·
change argument order for widening to ensure v1 is the previous loop result...
·
Jan 24, 2023
relational
9b207230
·
fixes apron integer division to handle negative divisors
·
Jan 06, 2023
generic-syntactic
2c3c0d15
·
data-flow anno experiments
·
Nov 30, 2022
relational-auto-free
d25c44d9
·
WIP safe auto-free
·
Sep 13, 2022
suggestions/relational
5720d0b9
·
Fix `getIntVal` in the relational analysis. Variables that have been just...
·
Sep 12, 2022
relational-backup
e8a9173c
·
Merge
·
Sep 01, 2022
Prev
1
2
Next