Skip to content
GitLab
Explore
Sign in
i7
heron
Repository
Branches
Overview
Active
Stale
All
master
default
protected
28e80b5f
·
added (failing) szymanski, allows for iteration to start at self
·
Dec 13, 2021
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
rendezvous
df186426
·
fixed some styling issues
·
Oct 12, 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
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
stateless-transitions
6777f4f9
·
cleanup
·
May 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar