Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Admin message
5.10.2023
: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
i7
heron
Repository
Branches
Overview
Active
Stale
All
Stale branches
stateless-transitions
6777f4f9
·
cleanup
·
May 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iFM-artifact
a3ec78d6
·
allowed finite state variables to have names rather than ints; needs to be revisited
·
Jun 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
logging
c9d1140e
·
added timeouts to various proving aspects
·
Jun 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rendezvous
df186426
·
fixed some styling issues
·
Oct 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iteration
d7751cb9
·
added Szymanski's algorithm as an example, removed logs, graceful shutdown...
·
Dec 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
