Skip to content
GitLab
Explore
Sign in
Register
PLMZ
sturdy
Repository
Branches
Overview
Active
Stale
All
master
default
protected
4962b9fb
·
add 2023 publications
·
Jun 23, 2023
scheme-sturdy-scala
d8cda0e9
·
record execution time
·
Sep 17, 2021
wasm-stack-widen
27e1d98d
·
WIP: stack widening operator
·
Jul 09, 2021
jimple-parser
cbb4090f
·
WIP: adds updates to processing of double conditionals, updates...
·
Jun 05, 2021
pointer-analysis
906983bc
·
Finished ConcreteInterpreter and tests for it
·
May 26, 2021
test-PowersetValT
970e1825
·
Refactoring: moves functions needed for GC from ArrowStore/ArrowEnv into independent Arrows
·
Dec 28, 2020
datalog
6085506f
·
Adds a static where-providence analysis for Datalog.
·
Dec 23, 2020
backwards-analysis
2bcf5576
·
add constant operation
·
Nov 30, 2020
PowersetT
e8a707b3
·
refactor; fixing benchmakrs
·
Jul 31, 2020
jimple
c402a463
·
jimple: disable tests
·
Jul 24, 2020
jimpl-refactoring
a5483bce
·
added booleans, and, or and comparison operators
·
Sep 02, 2019
benchmark
93f00ff2
·
benchmark different optimizations seperately
·
Aug 15, 2019
flow-insensitive
db6ff24e
·
add flow-insensitive interval analyses for the while language
·
Jul 30, 2019
oopsla-19-artifact
d6475f9a
·
package artifact in a docker container
·
Jul 05, 2019
tutorial-demo
b48d0c2e
·
fix tutorial test
·
Jul 02, 2019