Commits · master · Iris / Actris

11 May, 2022 1 commit
- bump the Coq we test · c47dfe5c
  Ralf Jung authored May 11, 2022
  
  c47dfe5c
29 Jun, 2021 1 commit
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored Jun 29, 2021
  
  a428389f
14 Dec, 2020 4 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
- directory -> repository in README.md · 08a2c9d4
  Jonas Kastberg authored Dec 14, 2020
  
  08a2c9d4
27 Oct, 2020 1 commit
- Covered examples of LMCS submission in README and recovered POPL.md · 9ff97c9f
  Jonas Kastberg authored Oct 27, 2020
  
  9ff97c9f
22 Sep, 2020 3 commits
- Rename environment → context + some random cleanup along the way. · 13215e11
  Robbert Krebbers authored Sep 22, 2020
  
  13215e11
- ADressed napp and list in README · 716f8844
  Jonas Kastberg authored Sep 22, 2020
  
  716f8844
- Updated README's for CPP submission · 06765b93
  Jonas Kastberg authored Sep 22, 2020
  
  06765b93
15 Sep, 2020 1 commit
- bump Coq version · 5d799b6f
  Ralf Jung authored Sep 15, 2020
  
  5d799b6f
03 Sep, 2020 1 commit
- deny warnings (and bump Coq to 8.11.2) · 336e0ea1
  Ralf Jung authored Sep 03, 2020
  
  336e0ea1
10 May, 2020 3 commits
- Misc tweaking. · 2324f271
  Robbert Krebbers authored May 10, 2020
  
  2324f271
- Moved and fixed CONCUR20.md reference · 6a854a8a
  Jonas Kastberg authored May 10, 2020
  
  6a854a8a
- Concur2020 · 03d3465f
  Jonas Kastberg authored May 10, 2020
  
  03d3465f
06 May, 2020 7 commits
- Updated header description in README.md · f84033e7
  Jonas Kastberg authored May 07, 2020
  
  f84033e7
- Made README less paper-specific · 8a1dbcee
  Jonas Kastberg authored May 07, 2020
  
  8a1dbcee
- Refactoring · 15e9459e
  Jonas Kastberg authored May 07, 2020
  
  15e9459e
- Changed header title · afccd443
  Jonas Kastberg authored May 07, 2020
  
  afccd443
- Added reference to subprotocol example from paper · c97fe01e
  Jonas Kastberg authored May 07, 2020
  
  c97fe01e
- further updates to README.md · 238f8d00
  Daniël Louwrink authored May 06, 2020 and Jonas Kastberg committed May 07, 2020
  
  238f8d00
- update README.md · 342f34ec
  Daniël Louwrink authored May 06, 2020 and Jonas Kastberg committed May 07, 2020
  
  342f34ec
24 Apr, 2020 1 commit
- Bump Coq version of CI. · c05ce971
  Robbert Krebbers authored Apr 24, 2020
  
  c05ce971
27 Nov, 2019 1 commit
- Updated dependency commit hashes · 9a44a2d9
  Jonas Kastberg authored Nov 27, 2019
  
  9a44a2d9
25 Nov, 2019 2 commits
- More README tweaking. · ee3c6ec1
  Robbert Krebbers authored Nov 25, 2019
  
  ee3c6ec1
- Tweak README. · f803fca1
  Robbert Krebbers authored Nov 25, 2019
  
  f803fca1
24 Nov, 2019 1 commit
- Added more differences between paper and mechanisation to README · 2773194c
  Jonas Kastberg authored Nov 24, 2019
  
  2773194c
22 Nov, 2019 1 commit
- Added description of subtyping discrepancy in the README · a34d13a6
  Jonas Kastberg authored Nov 21, 2019
  
  a34d13a6
19 Oct, 2019 1 commit
- README tweak · 8e80459a
  Jonas Kastberg authored Oct 19, 2019
  
  8e80459a
18 Oct, 2019 2 commits
- More about normalization in README. · d6c96f96
  Robbert Krebbers authored Oct 18, 2019
  
  d6c96f96
- More README tweaks. · 9acbe81f
  Robbert Krebbers authored Oct 18, 2019
  
  9acbe81f
17 Oct, 2019 4 commits
- Tweak README more. · 23202085
  Robbert Krebbers authored Oct 17, 2019
  
  23202085
- Update README.md · 1b54ac28
  Robbert Krebbers authored Oct 17, 2019
  
  1b54ac28
- Update README.md · 30416c7c
  Robbert Krebbers authored Oct 17, 2019
  
  30416c7c
- Tweak README. · 0b08db9f
  Robbert Krebbers authored Oct 17, 2019
  
  0b08db9f
14 Oct, 2019 1 commit
- Bumped supported versions in README · 7f5d2645
  Jonas Kastberg authored Oct 14, 2019
  
  7f5d2645
12 Oct, 2019 1 commit
- README nits · 34d30758
  Jonas Kastberg authored Oct 12, 2019
  
  34d30758
21 Aug, 2019 1 commit
- Bumped some re-ordered rewrites and dep versions · 79b13da5
  Jonas Kastberg authored Aug 21, 2019
  
  79b13da5
11 Jul, 2019 2 commits
- Rename loop_sort -> sort_br_del and updated README · 8cb47270
  jihgfee authored Jul 11, 2019
  
  8cb47270
- Readme · b7e45fde
  jihgfee authored Jul 11, 2019
  
  b7e45fde