Commits · 14829b2ec73948585e2fcbf288d6b63fd0418295 · tlsomers / Actris · GitLab

Snippets Groups Projects

Dec 14, 2020
- Referred to cpp21 branch in CPP21.md · 8b90dfbd
  Jonas Kastberg authored 4 years ago
  
  8b90dfbd
Oct 28, 2020
- Added reference to lmcs branch to readme · 68c89a0b
  Jonas Kastberg authored 4 years ago
  
  68c89a0b
- Improved text on difference from paper · c86266a4
  Jonas Kastberg authored 4 years ago
  
  c86266a4
- Fixed typo · b2aa14bb
  Jonas Kastberg authored 4 years ago
  
  b2aa14bb
- Added reference to lmcs branch to readme · b5e3f440
  Jonas Kastberg authored 4 years ago
  
  b5e3f440
- Made naming convention of publication branches consistent · 096c3d18
  Jonas Kastberg authored 4 years ago
  
  096c3d18
- Referenced commit og original POPL20 submission · 6ee424d9
  Jonas Kastberg authored 4 years ago
  
  6ee424d9
Oct 27, 2020
- Branch -> Choice · 9c471c80
  Jonas Kastberg authored 4 years ago
  
  9c471c80
- Renamed map.v -> par_map.v to distinguish from swap_mapper.v · 2528ab76
  Jonas Kastberg authored 4 years ago
  
  2528ab76
- Used consistent (wrong) spelling of mechanisation · 6076344b
  Jonas Kastberg authored 4 years ago
  
  6076344b
- Addressed binder rules in README · 2551c007
  Jonas Kastberg authored 4 years ago
  
  2551c007
- Covered examples of LMCS submission in README and recovered POPL.md · 9ff97c9f
  Jonas Kastberg authored 4 years ago
  
  9ff97c9f
Sep 23, 2020
- Update CPP21.md · d12e91a3
  Robbert Krebbers authored 4 years ago
  
  d12e91a3
- Update CPP21.md · 29502179
  Robbert Krebbers authored 4 years ago
  
  29502179
- Addressed discrepancies with displayed Coq code · 9306e49e
  Jonas Kastberg authored 4 years ago
  
  9306e49e
- Adressed nested binder encoding discrepancy · df1cd316
  Jonas Kastberg authored 4 years ago
  
  df1cd316
- Referenced computation service example · e63c2a5c
  Jonas Kastberg authored 4 years ago
  
  e63c2a5c
Sep 22, 2020
- Note about CPP files. · 342b275c
  Robbert Krebbers authored 4 years ago
  
  342b275c
- Rename environment → context + some random cleanup along the way. · 13215e11
  Robbert Krebbers authored 4 years ago
  
  13215e11
- Elaborated on value typing judgement · 62a64267
  Jonas Kastberg authored 4 years ago
  
  62a64267
- Refactored list type to own file. Bumped mapper_list. Documentation. · 36b0408d
  Jonas Kastberg authored 4 years ago
  
  36b0408d
- Renamed double.v -> par_recv.v · 51b34e7e
  Jonas Kastberg authored 4 years ago
  
  51b34e7e
- Updated README's for CPP submission · 06765b93
  Jonas Kastberg authored 4 years ago
  
  06765b93
May 10, 2020
- Misc tweaking. · 2324f271
  Robbert Krebbers authored 4 years ago
  
  2324f271
- More differences · 7bd9e72d
  Jonas Kastberg authored 4 years ago
  
  7bd9e72d
- Added difference of ground type encoding · 698be0b8
  Jonas Kastberg authored 4 years ago
  
  698be0b8
- Concur2020 · 03d3465f
  Jonas Kastberg authored 4 years ago
  
  03d3465f