Ralf Jung (8a6cdc38) at 16 Feb 12:29
Merge branch 'ike/frame_exist' into 'master'
... and 4 more commits
Robbert Krebbers (b1446252) at 15 Feb 20:24
This MR changes logical relations. It changes the type nat in F_mu_ref_conc to int. It also adds a few missing cases in the definition of well-typed contexts.
Robbert Krebbers (9597c6c4) at 15 Feb 20:24
Merge branch 'amin/logrel-nat-to-int' into 'master'
... and 3 more commits
done.
I just fixed this. I had to extend one of the automation tactics. Thanks for pointing this out.
Amin Timany (b1446252) at 15 Feb 19:28
fix minor issues
Why did this become so complicated?
I would use match a, b with
; that's more easy to read.
This MR changes logical relations. It changes the type nat in F_mu_ref_conc to int. It also adds a few missing cases in the definition of well-typed contexts.
Amin Timany (e7d42f1d) at 15 Feb 14:45
add missing cases in contexts
Amin Timany (5eaaab7e) at 14 Feb 18:34
Change nat to int in logrel
Amin Timany (80ca03cb) at 12 Feb 16:53
Prove Gremlin is semantically untyped
Ralf Jung (6d20f91e) at 09 Feb 17:29
update dependencies
Ralf Jung (d7c04fa9) at 09 Feb 12:46
update dependencies
Ralf Jung (ecbc294b) at 02 Feb 15:25
update dependencies