Activity · Ike Mulder / Iris

1 year ago

Ike Mulder @snyke7

deleted branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

f7c9e03e · Fix very wide lines in CHANGELOG

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

c626310e · Be explicit in frame instance

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

56507001 · Update CHANGELOG.md

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

9a559201 · Fix spacing

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

b17aadf0 · Extend comment at class definition
... and 1 more commit. Compare 94351334...b17aadf0

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

94351334 · Apply 2 suggestion(s) to 1 file(s)

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

ccd9cdac · Typo

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

3b3981df · Add comments

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

fda4b19f · Move FrameNoInstantiateExist class.

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

3f74f0e3 · Address comments, disable instantiating existentials under WP

1 year ago

Ike Mulder @snyke7

pushed to branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

2557d6b5 · Apply 4 suggestion(s) to 2 file(s)

1 year ago

Ike Mulder @snyke7

pushed new branch ike/frame_no_instantiate_ex at Ike Mulder / Iris

1 year ago

Ike Mulder @snyke7

deleted branch ci/better_frame_exist at Ike Mulder / Iris

1 year ago

Ike Mulder @snyke7

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

b4b11e4d · Update CHANGELOG.md

1 year ago

Ike Mulder @snyke7

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

23c6061e · Update CHANGELOG.md
... and 11 more commits. Compare f24ac1cc...23c6061e

1 year ago

Ike Mulder @snyke7

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

f24ac1cc · Update CHANGELOG.md

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

baa80ac1 · Remove `FrameExists` class.
... and 1 more commit. Compare 0fee7709...baa80ac1

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

0fee7709 · Remove `FrameExists` class.

1 year ago

Ike Mulder @snyke7

pushed to branch ci/better_frame_exist at Ike Mulder / Iris

b90f33f3 · Trying out same approach for framing under ∃..
... and 1 more commit. Compare 901bba00...b90f33f3