Alexandre de Alegria Junceiro Mascarenhas Monteiro (ee9e9870) at 05 Oct 18:13
Merge branch 'master' into 'master'
... and 75 more commits
Afonso Neves Ribeiro Freire Falcão (57a2983e) at 05 Oct 18:43
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)
Afonso Neves Ribeiro Freire Falcão (3623bb10) at 05 Oct 18:43
Merge branch 'beggining-rec' into 'master'
... and 1 more commit
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)
Afonso Neves Ribeiro Freire Falcão (57a2983e) at 05 Oct 18:41
fixed bug?
Afonso Neves Ribeiro Freire Falcão (291fcc99) at 05 Oct 18:39
works
Afonso Neves Ribeiro Freire Falcão (5de7f789) at 05 Oct 18:16
implemented?
Afonso Neves Ribeiro Freire Falcão (fa0c5b62) at 05 Oct 17:25
add states and input only if they don't exist already
Afonso Neves Ribeiro Freire Falcão (cd4df997) at 05 Oct 16:58
adding the concept of a transitional state should a rec start the p...
Afonso Neves Ribeiro Freire Falcão (8f181013) at 05 Oct 12:37
fixing problems in title errors are now printed in separated lines
Afonso Neves Ribeiro Freire Falcão (455c050e) at 05 Oct 12:37
Merge branch 'two-label-in-rec' into 'master'
... and 1 more commit
fixing problems in title errors are now printed in separated lines
Afonso Neves Ribeiro Freire Falcão (8f181013) at 05 Oct 12:35
errors in each line in local plutus client
... and 1 more commit
Afonso Neves Ribeiro Freire Falcão (e61f514f) at 05 Oct 12:28
added warning for single label statements
Afonso Neves Ribeiro Freire Falcão (e8243ce3) at 05 Oct 11:59
updating some protocols