Skip to content
GitLab
Explore
Sign in
Register
Brandl, Katharina
sturdy
Repository
Branches
Overview
Active
Stale
All
wasm
9148384c
·
code refactoring into different modules
·
Feb 11, 2021
experiments
e9212e5f
·
FIX: termination of SimpleWhile abstract interpreter
·
Nov 17, 2020
master
default
protected
4f982ca2
·
Merge branch 'master' into 'master'
·
Nov 13, 2020
plmz/sturdy!2
test-PowersetValT
ba7ad605
·
changed threading of metrics, changed gc for app, added desugaring of lambdas with multiple args
·
Sep 18, 2020
PowersetT
e8a707b3
·
refactor; fixing benchmakrs
·
Jul 31, 2020
backwards-analysis
caf3e8eb
·
add implement backward analysis for addition and conditionals
·
Jul 25, 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