Commits · master · Dan Frumin / Actris

03 May, 2021 1 commit
- Revert "coq.dev is not stable enough for regular CI" · 80e12301
  Ralf Jung authored May 03, 2021
```
This reverts commit d481ab7a.
coq.dev is fixed.
```
  80e12301
30 Apr, 2021 1 commit
- coq.dev is not stable enough for regular CI · d481ab7a
  Ralf Jung authored Apr 30, 2021
  
  d481ab7a
20 Apr, 2021 1 commit
- Bump std++ (multisets). · 69ba36c4
  Robbert Krebbers authored Apr 20, 2021
  
  69ba36c4
25 Mar, 2021 2 commits
- Better spec for lock example, and polish · 5ee73302
  Jonas Kastberg authored Mar 25, 2021
  
  5ee73302
- Added pizza examples from the thesis by Jonas Kastberg Hinrichsen · fce3e267
  Jonas Kastberg authored Mar 25, 2021
  
  fce3e267
12 Mar, 2021 1 commit
- Bump std++. · 550633bf
  Robbert Krebbers authored Mar 12, 2021
  
  550633bf
19 Feb, 2021 1 commit
- Tweak shady proof. · 626784fd
  Robbert Krebbers authored Feb 19, 2021
  
  626784fd
17 Feb, 2021 1 commit

Revert "test Coq beta branch (since master is broken)" · 5640920d

Ralf Jung authored Feb 17, 2021

This reverts commit 1226aa9c.
https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.

5640920d

26 Jan, 2021 3 commits
- Make better use of `wp_smart_apply`. · 7fef7ccb
  Robbert Krebbers authored Jan 26, 2021
  
  7fef7ccb
- Clean up ugly proof. · b62c61b1
  Robbert Krebbers authored Jan 26, 2021
  
  b62c61b1
- Bump Iris (wp_apply). · afe8722d
  Robbert Krebbers authored Jan 26, 2021
  
  afe8722d
25 Jan, 2021 1 commit
- Bump Iris. · 7f62234d
  Robbert Krebbers authored Jan 25, 2021
  
  7f62234d
11 Jan, 2021 1 commit
- test Coq beta branch (since master is broken) · 1226aa9c
  Ralf Jung authored Jan 11, 2021
  
  1226aa9c
16 Dec, 2020 2 commits
- Silent some warnings (as in Iris). · d21f89df
  Robbert Krebbers authored Dec 16, 2020
  
  d21f89df
- Bump Iris. · 00f9af1c
  Robbert Krebbers authored Dec 16, 2020
  
  00f9af1c
14 Dec, 2020 5 commits
- More typos. · be66a74d
  Jonas Kastberg authored Dec 14, 2020
  
  be66a74d
- Removed `.`'s from lists in README.md · cf317ac2
  Jonas Kastberg authored Dec 14, 2020
  
  cf317ac2
- Updated README.md · 46958e12
  Jonas Kastberg authored Dec 14, 2020
  
  46958e12
- Referred to cpp21 branch in CPP21.md · 8b90dfbd
  Jonas Kastberg authored Dec 14, 2020
  
  8b90dfbd
- directory -> repository in README.md · 08a2c9d4
  Jonas Kastberg authored Dec 14, 2020
  
  08a2c9d4
09 Dec, 2020 2 commits
- Removed redundant unit in example · 20aef084
  Jonas Kastberg authored Dec 09, 2020
  
  20aef084
- Added binder rule for send, derived from subtyping and original rule · e1e9c9d9
  Jonas Kastberg authored Dec 09, 2020
  
  e1e9c9d9
05 Dec, 2020 1 commit
- update dependencies; fix for wp_finish changes · 91496e50
  Ralf Jung authored Dec 05, 2020
  
  91496e50
02 Dec, 2020 2 commits
- Merge branch 'jonas/iProto_equiv' into 'master' · 4e300200
  Jonas Kastberg authored Dec 02, 2020
```
Protocol equivalence

See merge request iris/actris!24
```
  4e300200
- Added equivalence lemmas for iProto_message and iProto_choice · 6dfa5f72
  Jonas Kastberg authored Dec 02, 2020
  
  6dfa5f72
27 Nov, 2020 1 commit
- update Iris · 946ba572
  Ralf Jung authored Nov 27, 2020
  
  946ba572
25 Nov, 2020 1 commit
- Added list length example · e746c3cc
  Jonas Kastberg authored Nov 20, 2020
  
  e746c3cc
24 Nov, 2020 1 commit
- Added missing variable to fix CI failure · d4654827
  Jonas Kastberg authored Nov 24, 2020
  
  d4654827
23 Nov, 2020 1 commit
- Added proper and nonexpansive classes for iMsg_car · deacf337
  Jonas Kastberg authored Nov 23, 2020
  
  deacf337
17 Nov, 2020 1 commit
- Add all instance arguments, needed for compilation with recent Coq. · 69e9e8d2
  Robbert Krebbers authored Nov 17, 2020
  
  69e9e8d2
13 Nov, 2020 1 commit
- Added example of rpc client/service · d7f2e1a0
  Jonas Kastberg authored Nov 03, 2020
  
  d7f2e1a0
12 Nov, 2020 2 commits
- Type annotation to avoid ambigious use of `pretty`. · 3bab78ba
  Robbert Krebbers authored Nov 12, 2020
  
  3bab78ba
- bump Iris · fb4630d2
  Ralf Jung authored Nov 12, 2020
  
  fb4630d2
11 Nov, 2020 4 commits
- also update nightly build · d1589881
  Ralf Jung authored Nov 11, 2020
  
  d1589881
- update Iris · 3b83ff9b
  Ralf Jung authored Nov 11, 2020
  
  3b83ff9b
- update dependencies · 3df68046
  Ralf Jung authored Nov 11, 2020
  
  3df68046
- update Iris; fix build · 35208784
  Ralf Jung authored Nov 11, 2020
  
  35208784
04 Nov, 2020 2 commits
- update dependencies · eb9dad18
  Ralf Jung authored Nov 04, 2020
  
  eb9dad18
- update dependencies; fix for `l ↦ -` removal · c08bba36
  Ralf Jung authored Nov 04, 2020
  
  c08bba36
28 Oct, 2020 1 commit
- Merge branch 'master' of https://gitlab.mpi-sws.org/iris/actris · 769d2c32
  Jonas Kastberg authored Oct 28, 2020
  
  769d2c32