Commits · ci/ocaml-dev · Iris / examples

Sep 09, 2022
- baseline · ddfde5d9
  Ralf Jung authored 2 years ago
  
  ddfde5d9
- ocaml-dev test · c3acaf73
  Ralf Jung authored 2 years ago
  
  c3acaf73
Sep 08, 2022
- add some freeable lock experiments · 8cc7ab39
  Ralf Jung authored 2 years ago
  
  8cc7ab39
Sep 06, 2022
- update dependencies · f3f34368
  Ralf Jung authored 2 years ago
  
  f3f34368
Aug 26, 2022
- Merge branch 'ci/amin/logrel-cleanup' into 'master' · f61fe45c
  Ralf Jung authored 2 years ago
  f61fe45c
- Merge branch 'parallel-incr' into 'master' · dfa1c80c
  Ralf Jung authored 2 years ago
  dfa1c80c
- remove commented code · 58fb58b1
  Amin Timany authored 2 years ago
  
  58fb58b1
- cleanup logrel · 916def8c
  Amin Timany authored 2 years ago
  
  916def8c
Aug 25, 2022
- Add explanatory comments · 90c46b7b
  Felix Wiemuth authored 2 years ago
  
  90c46b7b
Aug 24, 2022
- Merge branch 'fix-example-references' into 'master' · 44122519
  Ralf Jung authored 2 years ago
  44122519
Aug 17, 2022
- only use flambda for timed builds · b0c427f2
  Ralf Jung authored 2 years ago
  
  b0c427f2
- bring back speed (now that caching is fixed) · dbabc2a9
  Ralf Jung authored 2 years ago
  
  dbabc2a9
- avoid some deprecated functions · 0260d3d0
  Ralf Jung authored 2 years ago
  
  0260d3d0
Aug 16, 2022
- fix OCAML for real · a8ea4ca8
  Ralf Jung authored 2 years ago
  
  a8ea4ca8
- fix OCAML · ca7f73d5
  Ralf Jung authored 2 years ago
  
  ca7f73d5
- let's not use flambda while opam rebuilds Coq each and every time · ea2eee58
  Ralf Jung authored 2 years ago
  
  ea2eee58
Aug 14, 2022
- Merge branch 'ralf/counter-with-backup' into 'master' · 66636d09
  Ralf Jung authored 2 years ago
  66636d09
- add count with backup case study · fe5633fe
  Ralf Jung authored 2 years ago
  
  fe5633fe
Aug 12, 2022
- Bump Iris. · b93ed6be
  Robbert Krebbers authored 2 years ago
  
  b93ed6be
- Coq 8.16.dev for the nightly tests · 18b5b9b7
  Ralf Jung authored 2 years ago
  
  18b5b9b7
Aug 11, 2022
- bump Iris · 2ade4473
  Ralf Jung authored 2 years ago
  
  2ade4473
- nightly test against 8.16 · 29d173ae
  Ralf Jung authored 2 years ago
  
  29d173ae
Aug 10, 2022
- Merge branch 'ralf/no-make-laterable' into 'master' · 94659efd
  Ralf Jung authored 2 years ago
  94659efd
- update Iris · dd26712a
  Ralf Jung authored 2 years ago
  
  dd26712a
Aug 09, 2022
- do not rely on make_laterable in logatom triples any more · 14102523
  Ralf Jung authored 2 years ago
  
  14102523
Aug 03, 2022
- update dependencies · 99552cb1
  Ralf Jung authored 2 years ago
  
  99552cb1
Jul 31, 2022
- Fix references to lecture notes · 49b27378
  Felix Wiemuth authored 2 years ago
  
  49b27378
- Add parallel increment example from lecture notes · dbf236cd
  Felix Wiemuth authored 2 years ago
  dbf236cd
- Add S-F resource algebra from lecture notes · b84465d6
  Felix Wiemuth authored 2 years ago
  
  b84465d6
Jul 27, 2022
- Bump Iris (later credits). · da61cd9a
  Robbert Krebbers authored 2 years ago
  
  da61cd9a
Jul 20, 2022
- Merge branch 'lennard/bump-iris' into 'master' · 9feddc97
  Ralf Jung authored 2 years ago
  9feddc97
- Bump Iris · 8c544e93
  Lennard Gäher authored 2 years ago and Ralf Jung committed 2 years ago
  
  8c544e93
- Merge branch 'typos' into 'master' · b0ee740c
  Ralf Jung authored 2 years ago
  b0ee740c
- Fix typos in lecture note examples · 73f0aeba
  Felix Wiemuth authored 2 years ago
  
  73f0aeba
Jul 07, 2022
- update dependencies · 93b91d08
  Ralf Jung authored 2 years ago
  
  93b91d08
Jul 05, 2022
- update dependencies for later credits · 47891209
  Ralf Jung authored 2 years ago
  
  47891209
Jun 28, 2022
- update dependencies · af01a975
  Ralf Jung authored 2 years ago
  
  af01a975
Jun 27, 2022
- update dependencies · 42276d44
  Ralf Jung authored 2 years ago
  
  42276d44
Jun 08, 2022
- update dependencies · 757e3a69
  Ralf Jung authored 3 years ago
  
  757e3a69
May 24, 2022
- update dependencies · a4e39db1
  Ralf Jung authored 3 years ago
  
  a4e39db1