Skip to content

Beginning with rec, bug fixed

Afonso Neves Ribeiro Freire Falcão requested to merge beggining-rec into master

created the notion of an epsilon state that serves as the initial state in cases where it can be repeated (i.e. protocol that start with recs)

Merge request reports