Commits · master · Iris / Actris

17 May, 2022 4 commits
- update Iris · 788086dd
  Ralf Jung authored May 17, 2022
  
  788086dd
- update Iris · 5778d335
  Ralf Jung authored May 17, 2022
  
  5778d335
- use a faster OCaml · d81f4c48
  Ralf Jung authored May 17, 2022
  
  d81f4c48
- add (back) timing CI · 6daac903
  Ralf Jung authored May 17, 2022
  
  6daac903
14 May, 2022 2 commits
- fix build · 417e08d9
  Ralf Jung authored May 14, 2022
  
  417e08d9
- update dependencies · 9098bb95
  Ralf Jung authored May 14, 2022
  
  9098bb95
13 May, 2022 1 commit
- update dependencies · 633fc788
  Ralf Jung authored May 13, 2022
  
  633fc788
12 May, 2022 5 commits
- Merge branch 'master' of gitlab.mpi-sws.org:iris/actris · 059bbf74
  Jonas Kastberg authored May 12, 2022
  
  059bbf74
- Added global flags to fix typeclass warnings · 336a6e9d
  Jonas Kastberg authored May 12, 2022
  
  336a6e9d
- publish opam packages · e91d4d7d
  Ralf Jung authored May 12, 2022
  
  e91d4d7d
- make license machine-readable · dd79d5a5
  Ralf Jung authored May 12, 2022
  
  dd79d5a5
- Made opam file pass linting · 09b48e91
  Jonas Kastberg authored May 12, 2022
  
  09b48e91
11 May, 2022 1 commit
- bump the Coq we test · c47dfe5c
  Ralf Jung authored May 11, 2022
  
  c47dfe5c
08 May, 2022 1 commit
- normalize OCaml versions · 2315e87c
  Ralf Jung authored May 08, 2022
  
  2315e87c
07 May, 2022 1 commit
- make ocaml version explicit · 59c450f4
  Ralf Jung authored May 07, 2022
  
  59c450f4
25 Apr, 2022 1 commit
- Added priotity to swap rule of proofmode to avoid looping TC search · 778f3231
  Jonas Kastberg authored Apr 25, 2022
  
  778f3231
19 Apr, 2022 2 commits
- Merge branch 'later_strip' into 'master' · 117c24e5
  Jonas Kastberg authored Apr 19, 2022
```
Removed `skipN` instruction in `send` implementation

See merge request !26
```
  117c24e5
- Removed `skipN` instruction in `send` implementation · 129154d6
  Jonas Kastberg authored Apr 19, 2022
  
  129154d6
12 Apr, 2022 1 commit
- Bump Iris. · 91a4ef45
  Robbert Krebbers authored Apr 12, 2022
  
  91a4ef45
28 Mar, 2022 2 commits
- Fix typo. · 75883a20
  Robbert Krebbers authored Mar 28, 2022
  
  75883a20
- Remove unused strange lemmas. · 4d2d606f
  Robbert Krebbers authored Mar 28, 2022
  
  4d2d606f
22 Mar, 2022 1 commit
- Avoided use of [apply:] as Coq it caused 8.15.0 looping behaviour · 03a7eae7
  Jonas Kastberg authored Mar 22, 2022
  
  03a7eae7
09 Dec, 2021 1 commit
- update makefile and iris · 6ed47dfe
  Ralf Jung authored Dec 09, 2021
  
  6ed47dfe
08 Dec, 2021 3 commits
- Bumped opam Iris version · 3cc498a6
  Jonas Kastberg authored Dec 08, 2021
  
  3cc498a6
- Bumped stdpp · 3efd62f5
  Jonas Kastberg authored Dec 08, 2021
  
  3efd62f5
- do nightly builds with Coq 8.14.dev for now · 01a342bd
  Ralf Jung authored Dec 07, 2021
  
  01a342bd
02 Oct, 2021 1 commit
- update dependencies; fix for f_equiv becoming a bit weaker · 19cd2645
  Ralf Jung authored Oct 02, 2021
  
  19cd2645
28 Jul, 2021 1 commit
- update dependencies · 00b4d222
  Ralf Jung authored Jul 28, 2021
  
  00b4d222
26 Jul, 2021 1 commit
- Bump Iris. · afe73d88
  Robbert Krebbers authored Jul 27, 2021
  
  afe73d88
20 Jul, 2021 1 commit
- Bump Iris. · 10100614
  Robbert Krebbers authored Jul 20, 2021
  
  10100614
29 Jun, 2021 4 commits
- Added "Global" instance locality to resolve future Coq warnings · 68447aa2
  Jonas Kastberg authored Jun 29, 2021
  
  68447aa2
- turns out this is warning-free · e61bd6e9
  Ralf Jung authored Jun 29, 2021
  
  e61bd6e9
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored Jun 29, 2021
  
  a428389f
- update dependencies · 7d63210c
  Ralf Jung authored Jun 29, 2021
  
  7d63210c
17 Jun, 2021 1 commit
- explicit coercion > type ascription · e687aa20
  Ralf Jung authored Jun 17, 2021
  
  e687aa20
16 Jun, 2021 1 commit
- Added scope of unscoped hint modes to address deprecation warning · aa086f74
  Jonas Kastberg Hinrichsen authored Jun 16, 2021
  
  aa086f74
14 Jun, 2021 1 commit
- update dependencies · 3f4e2fe4
  Ralf Jung authored Jun 14, 2021
  
  3f4e2fe4
05 Jun, 2021 1 commit
- adjust to new job naming scheme · d40f6cc6
  Ralf Jung authored Jun 05, 2021
  
  d40f6cc6
04 Jun, 2021 1 commit
- prepare for Iris WP change · eb521a50
  Ralf Jung authored Jun 04, 2021
  
  eb521a50
03 Jun, 2021 1 commit
- update dependencies · aefab58b
  Ralf Jung authored Jun 03, 2021
  
  aefab58b