Skip to content
GitLab
Explore
Sign in
tgipublic
ccpn
stack-curry-libs
Repository
Branches
Overview
Active
Stale
All
Stale branches
release/1.x
c2082779
·
Merge branch 'release/1.x' of
https://git.ps.informatik.uni-kiel.de/curry/curry-libs
·
Aug 25, 2018
master
default
protected
e09ee3dc
·
Merge branch 'master' of
https://git.ps.informatik.uni-kiel.de/curry/curry-libs
·
Nov 20, 2018
ccpn
de82b50a
·
CCPN: only end trace if there are no successive markings.
·
Nov 06, 2019