Skip to content
GitLab
Explore
Sign in
Register
Vieth, Markus
sturdy
Branches
Overview
Active
Stale
All
mini-java
e22011e4
·
fix some compiler errors
·
Sep 29, 2019
master
default
protected
bb9eb846
·
Revert "init MiniJava"
·
Sep 03, 2019
jimpl-refactoring
eced0994
·
added char, int operations, not completely tested yet.
·
Aug 13, 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
type-changing-traversal
e88a71c0
·
fix some bugs in the ill-sorted semantics
·
Jun 20, 2019