Commits · 34001d199790d580cc3944f708b96ec72a12328a · Iris / Actris

Aug 12, 2022
- Bump Iris. · 34001d19
  Robbert Krebbers authored 2 years ago
  
  34001d19
Aug 04, 2022
- Bumped opam Iris version · 14829b2e
  Jonas Kastberg authored 2 years ago
  
  14829b2e
- Bumped Iris · 0360a237
  Jonas Kastberg authored 2 years ago
  
  0360a237
Jul 05, 2022
- update dependencies for later credits · 63e065c7
  Ralf Jung authored 2 years ago
  
  63e065c7
- update dependencies · 88d06909
  Ralf Jung authored 2 years ago
  
  88d06909
May 17, 2022
- update Iris · 788086dd
  Ralf Jung authored 2 years ago
  
  788086dd
- update Iris · 5778d335
  Ralf Jung authored 2 years ago
  
  5778d335
- use a faster OCaml · d81f4c48
  Ralf Jung authored 2 years ago
  
  d81f4c48
- add (back) timing CI · 6daac903
  Ralf Jung authored 2 years ago
  
  6daac903
May 14, 2022
- fix build · 417e08d9
  Ralf Jung authored 2 years ago
  
  417e08d9
- update dependencies · 9098bb95
  Ralf Jung authored 2 years ago
  
  9098bb95
May 13, 2022
- update dependencies · 633fc788
  Ralf Jung authored 2 years ago
  
  633fc788
May 12, 2022
- Merge branch 'master' of gitlab.mpi-sws.org:iris/actris · 059bbf74
  Jonas Kastberg authored 2 years ago
  
  059bbf74
- Added global flags to fix typeclass warnings · 336a6e9d
  Jonas Kastberg authored 2 years ago
  
  336a6e9d
- publish opam packages · e91d4d7d
  Ralf Jung authored 2 years ago
  
  e91d4d7d
- make license machine-readable · dd79d5a5
  Ralf Jung authored 2 years ago
  
  dd79d5a5
- Made opam file pass linting · 09b48e91
  Jonas Kastberg authored 2 years ago
  
  09b48e91
May 11, 2022
- bump the Coq we test · c47dfe5c
  Ralf Jung authored 2 years ago
  
  c47dfe5c
May 08, 2022
- normalize OCaml versions · 2315e87c
  Ralf Jung authored 2 years ago
  
  2315e87c
May 07, 2022
- make ocaml version explicit · 59c450f4
  Ralf Jung authored 2 years ago
  
  59c450f4
Apr 25, 2022
- Added priotity to swap rule of proofmode to avoid looping TC search · 778f3231
  Jonas Kastberg authored 2 years ago
  
  778f3231
Apr 19, 2022
- Merge branch 'later_strip' into 'master' · 117c24e5
  Jonas Kastberg authored 2 years ago
  
  Removed `skipN` instruction in `send` implementation See merge request !26
  117c24e5
- Removed `skipN` instruction in `send` implementation · 129154d6
  Jonas Kastberg authored 2 years ago
  
  129154d6
Apr 12, 2022
- Bump Iris. · 91a4ef45
  Robbert Krebbers authored 2 years ago
  
  91a4ef45
Mar 28, 2022
- Fix typo. · 75883a20
  Robbert Krebbers authored 2 years ago
  
  75883a20
- Remove unused strange lemmas. · 4d2d606f
  Robbert Krebbers authored 2 years ago
  
  4d2d606f
Mar 22, 2022
- Avoided use of [apply:] as Coq it caused 8.15.0 looping behaviour · 03a7eae7
  Jonas Kastberg authored 3 years ago
  
  03a7eae7
Dec 09, 2021
- update makefile and iris · 6ed47dfe
  Ralf Jung authored 3 years ago
  
  6ed47dfe
Dec 08, 2021
- Bumped opam Iris version · 3cc498a6
  Jonas Kastberg authored 3 years ago
  
  3cc498a6
- Bumped stdpp · 3efd62f5
  Jonas Kastberg authored 3 years ago
  
  3efd62f5
- do nightly builds with Coq 8.14.dev for now · 01a342bd
  Ralf Jung authored 3 years ago
  
  01a342bd
Oct 02, 2021
- update dependencies; fix for f_equiv becoming a bit weaker · 19cd2645
  Ralf Jung authored 3 years ago
  
  19cd2645
Jul 28, 2021
- update dependencies · 00b4d222
  Ralf Jung authored 3 years ago
  
  00b4d222
Jul 26, 2021
- Bump Iris. · afe73d88
  Robbert Krebbers authored 3 years ago
  
  afe73d88
Jul 20, 2021
- Bump Iris. · 10100614
  Robbert Krebbers authored 3 years ago
  
  10100614
Jun 29, 2021
- Added "Global" instance locality to resolve future Coq warnings · 68447aa2
  Jonas Kastberg authored 3 years ago
  
  68447aa2
- turns out this is warning-free · e61bd6e9
  Ralf Jung authored 3 years ago
  
  e61bd6e9
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored 3 years ago
  
  a428389f
- update dependencies · 7d63210c
  Ralf Jung authored 3 years ago
  
  7d63210c
Jun 17, 2021
- explicit coercion > type ascription · e687aa20
  Ralf Jung authored 3 years ago
  
  e687aa20