Commits · master · Iris / Actris

25 Oct, 2020 1 commit
- Avoid some lets. · 2007d5b5
  Robbert Krebbers authored Oct 25, 2020
  
  2007d5b5
21 Oct, 2020 1 commit
- Bump Iris. · 5e73f2f9
  Robbert Krebbers authored Oct 21, 2020
  
  5e73f2f9
12 Oct, 2020 2 commits
- Added spec for telescoped version of send and bumped proofmode · d1fb7ffd
  Jonas Kastberg authored Oct 12, 2020
  
  d1fb7ffd
- Fixed errata in tactic error message · fe4792ae
  Jonas Kastberg authored Oct 12, 2020
  
  fe4792ae
10 Oct, 2020 1 commit
- update dependencies · 7a977d25
  Ralf Jung authored Oct 10, 2020
  
  7a977d25
05 Oct, 2020 1 commit
- Bump Iris (iPreProp). · a81a1fac
  Robbert Krebbers authored Oct 05, 2020
  
  a81a1fac
30 Sep, 2020 1 commit
- update dependencies; fix for auth change · 1b8cc687
  Ralf Jung authored Sep 30, 2020
  
  1b8cc687
29 Sep, 2020 1 commit
- update CI config · a35e41df
  Ralf Jung authored Sep 29, 2020
  
  a35e41df
23 Sep, 2020 6 commits
- Update CPP21.md · d12e91a3
  Robbert authored Sep 23, 2020
  
  d12e91a3
- Update CPP21.md · 29502179
  Robbert authored Sep 23, 2020
  
  29502179
- Addressed discrepancies with displayed Coq code · 9306e49e
  Jonas Kastberg authored Sep 23, 2020
  
  9306e49e
- Adressed nested binder encoding discrepancy · df1cd316
  Jonas Kastberg authored Sep 23, 2020
  
  df1cd316
- Referenced computation service example · e63c2a5c
  Jonas Kastberg authored Sep 23, 2020
  
  e63c2a5c
- Documentation: term types -> session types · abfbf9c4
  Jonas Kastberg authored Sep 23, 2020
  
  abfbf9c4
22 Sep, 2020 16 commits
- Note about CPP files. · 342b275c
  Robbert Krebbers authored Sep 22, 2020
  
  342b275c
- Bumped contexts.v header with new definitions · 65c1292d
  Jonas Kastberg authored Sep 22, 2020
  
  65c1292d
- Rename environment → context + some random cleanup along the way. · 13215e11
  Robbert Krebbers authored Sep 22, 2020
  
  13215e11
- More consistent variables for forall/exist types. · 3ea80546
  Robbert Krebbers authored Sep 22, 2020
  
  3ea80546
- Amber rule for subtyping of rec. types. · c0faa715
  Robbert Krebbers authored Sep 22, 2020
  
  c0faa715
- Coq-level notation for judgments to avoid ⊢s. · d8f9d3d9
  Robbert Krebbers authored Sep 22, 2020
  
  d8f9d3d9
- Coq doc nits · 0df5e4e9
  Jonas Kastberg authored Sep 22, 2020
  
  0df5e4e9
- Elaborated on value typing judgement · 62a64267
  Jonas Kastberg authored Sep 22, 2020
  
  62a64267
- expr -> val in mapper_list. Documentation. Nits. · 456899ea
  Jonas Kastberg authored Sep 22, 2020
  
  456899ea
- ADressed napp and list in README · 716f8844
  Jonas Kastberg authored Sep 22, 2020
  
  716f8844
- Refactored list type to own file. Bumped mapper_list. Documentation. · 36b0408d
  Jonas Kastberg authored Sep 22, 2020
  
  36b0408d
- Added some documentation · c71872d3
  Jonas Kastberg authored Sep 22, 2020
  
  c71872d3
- Renamed double.v -> par_recv.v · 51b34e7e
  Jonas Kastberg authored Sep 22, 2020
  
  51b34e7e
- Updated README's for CPP submission · 06765b93
  Jonas Kastberg authored Sep 22, 2020
  
  06765b93
- Divided the double example into two parts · 1e74dc55
  Jonas Kastberg authored Sep 22, 2020
  
  1e74dc55
- Merge branch 'jonas/compute_list_par' into 'master' · c1f49f5f
  Jonas Kastberg authored Sep 22, 2020
```
Compute service example

See merge request !22
```
  c1f49f5f
21 Sep, 2020 10 commits
- Made client type polymorphic · afe73811
  Jonas Kastberg authored Sep 22, 2020
  
  afe73811
- Changed position of reference in list type def · bd9c13f9
  Jonas Kastberg authored Sep 22, 2020
  
  bd9c13f9
- Nits · be24d0bd
  Jonas Kastberg authored Sep 21, 2020
  
  be24d0bd
- Added todo in regards to ltyped_val explanation · 2b955907
  Jonas Kastberg authored Sep 21, 2020
  
  2b955907
- Added todo for ltyped_val_lam deriving · afff201a
  Jonas Kastberg authored Sep 21, 2020
  
  afff201a
- Killed another lty scope · 55b265fa
  Jonas Kastberg authored Sep 21, 2020
  
  55b265fa
- Killed a bunch of eautos. · 9b9065ed
  Jonas Kastberg authored Sep 21, 2020
  
  9b9065ed
- Removed redundant lty scopes · 4427afa1
  Jonas Kastberg authored Sep 21, 2020
  
  4427afa1
- Refactoring of client/service · fdc2775d
  Jonas Kastberg authored Sep 21, 2020
  
  fdc2775d
- Review comments for compute example · 98da017c
  Jonas Kastberg authored Sep 21, 2020
  
  98da017c