Skip to content
GitLab
Explore
Sign in
i7
heron
Repository
Branches
Overview
Active
Stale
All
Stale branches
stateless-transitions
6777f4f9
·
cleanup
·
May 26, 2020
iFM-artifact
a3ec78d6
·
allowed finite state variables to have names rather than ints; needs to be revisited
·
Jun 17, 2020
logging
c9d1140e
·
added timeouts to various proving aspects
·
Jun 23, 2020
rendezvous
df186426
·
fixed some styling issues
·
Oct 12, 2020
iteration
d7751cb9
·
added Szymanski's algorithm as an example, removed logs, graceful shutdown...
·
Dec 13, 2021