descriptionunknown
ownerunknown
last changeSat, 06 Jun 2020 01:50:42 +0200
changes
Sat, 06 Jun 2020 01:50:42 +0200 František Kučera Added tag v0.16 for changeset 1564a3514a84 v_0 tip
Fri, 31 Jan 2020 23:34:50 +0100 František Kučera Added tag v0.15 for changeset 03cd058c33ba v_0 v0.16
Sat, 11 Jan 2020 18:06:58 +0100 František Kučera rename exec to streamlet v_0 v0.15
Sat, 11 Jan 2020 01:02:01 +0100 František Kučera exec: protocol update + constants generator v_0
Tue, 07 Jan 2020 17:01:06 +0100 František Kučera exec: any_process, any_executor v_0
Sun, 05 Jan 2020 16:28:53 +0100 František Kučera exec: protocol design draft v_0
...
tags
Fri, 31 Jan 2020 23:34:50 +0100 v0.16
Sat, 11 Jan 2020 18:06:58 +0100 v0.15
...
bookmarks
...
branches
Sat, 06 Jun 2020 01:50:42 +0200 v_0
...