Activity · Iris / Actris

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

d15f9f6a · More clean up

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

851f5709 · More clean up

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

a4f24e3f · Clean up

1 week ago

Jonas Kastberg @jihgfee

deleted branch mixed_choice_list at Iris / Actris

1 week ago

Jonas Kastberg @jihgfee

deleted branch mixed_choice_list_consistent at Iris / Actris

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

5d21abe0 · Improvements to proofmode
... and 7 more commits. Compare 74e56d04...5d21abe0

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice_list at Iris / Actris

5d21abe0 · Improvements to proofmode
... and 4 more commits. Compare 72cce691...5d21abe0

1 week ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice_list_consistent at Iris / Actris

5d21abe0 · Improvements to proofmode

2 weeks ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice_list_consistent at Iris / Actris

72623a4e · Closed iProto_lookup abstraction under nicer lemmas

2 weeks ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice_list_consistent at Iris / Actris

3138b472 · Added iProto_le_perm

2 weeks ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice_list_consistent at Iris / Actris

7a2211d1 · Closed non-mixed choice channel specs under new consistency

2 weeks ago

Robbert Krebbers @robbertkrebbers

pushed to branch master at Iris / Actris

c9249305 · Bump Iris (Transfinite algebra).

3 weeks ago

Jonas Kastberg @jihgfee

pushed new branch mixed_choice_list_consistent at Iris / Actris

3 weeks ago

Jonas Kastberg @jihgfee

pushed to branch master at Iris / Actris

79825f3b · Change positions of unfold/fold in Multris for consistency

4 weeks ago

Jonas Kastberg @jihgfee

accepted merge request !40 "Change positions of unfold/fold to make things consistent with iProp." at Iris / Actris

4 weeks ago

Jonas Kastberg @jihgfee

pushed to branch master at Iris / Actris

5075f124 · Merge branch 'robbert/fold_iProto' into 'master'
... and 1 more commit. Compare 316a5108...5075f124

4 weeks ago

Jonas Kastberg @jihgfee

opened merge request !40 "Change positions of unfold/fold to make things consistent with iProp." at Iris / Actris

1 month ago

Jonas Kastberg @jihgfee

pushed new branch mixed_choice_list at Iris / Actris

1 month ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

74e56d04 · WIP: bump of regular MP channel specs. Still need subprotocols
... and 1 more commit. Compare 5e95b65a...74e56d04

1 month ago

Jonas Kastberg @jihgfee

pushed to branch mixed_choice at Iris / Actris

5e95b65a · Finalized proto_model for mixed choice