Skip to content
GitLab
Explore
Sign in
Mathias Weber
acgregate-java
Repository
Branches
Overview
Active
Stale
All
Stale branches
remote
d40a0bdb
·
made decision procedures consistent with respect to passed information
·
Aug 21, 2017
master
default
protected
91ae5bd3
·
consistency and bug fix
·
Aug 22, 2017
abac
ff4438f5
·
Merge branch 'abac' of softech-git.informatik.uni-kl.de:mweber/acgregate-java into abac
·
Jul 18, 2018