Commits · master · Iris / orc11

12 Nov, 2020 1 commit
- update dependencies · 2d9dd724
  Ralf Jung authored Nov 12, 2020
  
  2d9dd724
11 Nov, 2020 2 commits
- update build system · 72304b5d
  Ralf Jung authored Nov 11, 2020
  
  72304b5d
- update CI config · 7891e932
  Ralf Jung authored Nov 11, 2020
  
  7891e932
30 Oct, 2020 1 commit
- Bump std++. · b186bfe1
  Robbert Krebbers authored Oct 30, 2020
  
  b186bfe1
15 Oct, 2020 1 commit
- update dependencies · 1a4c68cc
  Ralf Jung authored Oct 15, 2020
  
  1a4c68cc
02 Oct, 2020 1 commit
- Bump std++. · bb4cbf16
  Robbert Krebbers authored Oct 02, 2020
  
  bb4cbf16
01 Oct, 2020 1 commit
- Bump std++. · 378b5e3c
  Robbert Krebbers authored Oct 01, 2020
  
  378b5e3c
29 Sep, 2020 1 commit
- update CI config · 10e7c49e
  Ralf Jung authored Sep 29, 2020
  
  10e7c49e
26 Sep, 2020 3 commits
- fixup through re-push of same commit · acbd81f4
  Ralf Jung authored Sep 26, 2020
  
  acbd81f4
- update dependencies · 24833222
  Ralf Jung authored Sep 26, 2020
  
  24833222
- update std++ · 0071b335
  Ralf Jung authored Sep 26, 2020
  
  0071b335
06 Sep, 2020 1 commit
- fix build in lambda-rust-weak · ed056390
  Hai Dang authored Sep 06, 2020
  
  ed056390
05 Sep, 2020 4 commits
- fix build for 8.11.2 · 0de6e4af
  Hai Dang authored Sep 06, 2020
  
  0de6e4af
- Merge branch 'master' of gitlab.mpi-sws.org:iris/orc11 · 40a7d770
  Hai Dang authored Sep 06, 2020
  
  40a7d770
- fix TC divergence in lambda-rust-weak; add hint mode · 14a91e2e
  Hai Dang authored Sep 06, 2020
  
  14a91e2e
- update dependencies · 1a06d698
  Ralf Jung authored Sep 05, 2020
  
  1a06d698
04 Sep, 2020 1 commit
- some cleanup · d76571ee
  Hai Dang authored Sep 04, 2020
  
  d76571ee
03 Sep, 2020 2 commits
- deny warnings · b2105b84
  Ralf Jung authored Sep 03, 2020
  
  b2105b84
- update dependencies · af7ce89c
  Ralf Jung authored Sep 03, 2020
  
  af7ce89c
02 Sep, 2020 4 commits
- Merge branch 'ci/ralf/drop-coq-8.10' into 'master' · dd50c655
  Ralf Jung authored Sep 02, 2020
```
Require Coq 8.11 and fix some warnings

See merge request !3
```
  dd50c655
- Require Coq 8.11 and fix some warnings · c4001d2a
  Ralf Jung authored Sep 02, 2020
  
  c4001d2a
- restore compatibility with Coq 8.10 · 102189ac
  Ralf Jung authored Sep 02, 2020
  
  102189ac
- update warning settings and fix some warnings · ef305cd2
  Ralf Jung authored Sep 02, 2020
  
  ef305cd2
07 Aug, 2020 1 commit
- update dependencies · 7f22660c
  Ralf Jung authored Aug 07, 2020
  
  7f22660c
18 Jul, 2020 1 commit
- Bump std++. · 102685f4
  Robbert Krebbers authored Jul 18, 2020
  
  102685f4
15 Jul, 2020 1 commit
- update dependencies · 965f5c72
  Ralf Jung authored Jul 15, 2020
  
  965f5c72
03 Jul, 2020 1 commit
- update dependencies · adeaaee2
  Ralf Jung authored Jul 03, 2020
  
  adeaaee2
19 Jun, 2020 3 commits
- update Makefile · e193b295
  Ralf Jung authored Jun 19, 2020
  
  e193b295
- test Coq 8.11.2 · 222409f1
  Ralf Jung authored Jun 19, 2020
  
  222409f1
- test Coq 8.12 beta · cc6085ef
  Ralf Jung authored Jun 19, 2020
  
  cc6085ef
18 Jun, 2020 1 commit
- update dependencies · 842e3f65
  Ralf Jung authored Jun 18, 2020
  
  842e3f65
29 May, 2020 1 commit
- update dependencies · d5f678ee
  Ralf Jung authored May 29, 2020
  
  d5f678ee
27 May, 2020 2 commits
- update dependencies · c14761bb
  Ralf Jung authored May 28, 2020
  
  c14761bb
- bump std++ · 644ff655
  Ralf Jung authored May 27, 2020
  
  644ff655
13 May, 2020 1 commit
- update dependencies · c1e24005
  Ralf Jung authored May 13, 2020
  
  c1e24005
07 May, 2020 2 commits
- update dependencies · 6193783a
  Ralf Jung authored May 07, 2020
  
  6193783a
- bump std++ · 66df31bc
  Ralf Jung authored May 07, 2020
  
  66df31bc
23 Apr, 2020 2 commits
- bump Coq 8.11.0 -> 8.11.1 · bd70c341
  Ralf Jung authored Apr 23, 2020
  
  bd70c341
- update dependencies · 6c4535d2
  Ralf Jung authored Apr 23, 2020
  
  6c4535d2
22 Apr, 2020 1 commit
- update std++ · ba26e170
  Ralf Jung authored Apr 22, 2020
  
  ba26e170