Commits · 7f2f81e18d1ccd082dfe0400503729529ef07276 · Iris / Actris

22 Aug, 2019 1 commit
- Revert "Removed Experimental" now that we prepared the artifact. · 7f2f81e1
  Robbert Krebbers authored Jul 11, 2019
```
This reverts commit f9234e4f.
```
  7f2f81e1
21 Aug, 2019 1 commit
- Bumped some re-ordered rewrites and dep versions · 79b13da5
  Jonas Kastberg authored Aug 21, 2019
  
  79b13da5
11 Jul, 2019 6 commits
- Rename loop_sort -> sort_br_del and updated README · 8cb47270
  jihgfee authored Jul 11, 2019
  
  8cb47270
- Bumped map_reduce · c8bd8a41
  jihgfee authored Jul 11, 2019
  
  c8bd8a41
- Combined sort_fg_client and sort_fg · 445adad8
  jihgfee authored Jul 11, 2019
  
  445adad8
- Removed Experimental · f9234e4f
  jihgfee authored Jul 11, 2019
  
  f9234e4f
- Readme · b7e45fde
  jihgfee authored Jul 11, 2019
  
  b7e45fde
- rename: proto_eval -> proto_interp · fa6541a5
  jihgfee authored Jul 11, 2019
  
  fa6541a5
10 Jul, 2019 1 commit
- Different number of mappers and reducers. · 17b869d1
  Robbert Krebbers authored Jul 10, 2019
  
  17b869d1
09 Jul, 2019 8 commits
- Fix namespace for proto. · 16e1b090
  Robbert Krebbers authored Jul 10, 2019
  
  16e1b090
- Move all tactic stuff to the proofmode file. · fbdbf1e6
  Robbert Krebbers authored Jul 09, 2019
  
  fbdbf1e6
- Move `group` stuff to its own file. · be06d3b6
  Robbert Krebbers authored Jul 09, 2019
  
  be06d3b6
- Kill `bi_pow`. · 6c83c489
  Robbert Krebbers authored Jul 09, 2019
  
  6c83c489
- More consistent naming & more consistent use of in-place. · f6a4683d
  Robbert Krebbers authored Jul 09, 2019
  
  f6a4683d
- Lemma about `fmap` and `llist`. · 85f7b196
  Robbert Krebbers authored Jul 09, 2019
  
  85f7b196
- Move → forward. · 6dd37799
  Robbert Krebbers authored Jul 09, 2019
  
  6dd37799
- Move functional lists to experimental. · 4ee81b49
  Robbert Krebbers authored Jul 09, 2019
  
  4ee81b49
08 Jul, 2019 8 commits
- Update sorting examples to be consistent with paper. · 3b201219
  Robbert Krebbers authored Jul 09, 2019
  
  3b201219
- Lock example from the paper. · c4f9d470
  Robbert Krebbers authored Jul 09, 2019
  
  c4f9d470
- Kill bigops. · 70e0bae2
  Robbert Krebbers authored Jul 08, 2019
  
  70e0bae2
- Let `lcons` return unit. · 4ae19de7
  Robbert Krebbers authored Jul 08, 2019
  
  4ae19de7
- Oops, add linked list file. · 58a96a4a
  Robbert Krebbers authored Jul 08, 2019
  
  58a96a4a
- Fix merge. · e4f77c74
  Robbert Krebbers authored Jul 08, 2019
  
  e4f77c74
- Fix typo. · fab8ab30
  Robbert Krebbers authored Jul 08, 2019
  
  fab8ab30
- Use proper linked lists instead of functional lists. · 26dc79c4
  Robbert Krebbers authored Jul 08, 2019
```
TODO: fix in-place merge function.
```
  26dc79c4
07 Jul, 2019 3 commits
- Add basic examples. · 16045d70
  Robbert Krebbers authored Jul 07, 2019
  
  16045d70
- Version of `wp_recv` without arguments. · f8ede2b7
  Robbert Krebbers authored Jul 07, 2019
  
  f8ede2b7
- Rename osiris → actris. · 538d0804
  Robbert Krebbers authored Jul 07, 2019
  
  538d0804
05 Jul, 2019 5 commits
- Move fractional spin_lock to experimental since we do not use it. · a169cf57
  Robbert Krebbers authored Jul 06, 2019
  
  a169cf57
- Revert "Make list_sort_elem prog fork a little less eagerly." · d485c7d7
  Robbert Krebbers authored Jul 06, 2019
```
This reverts commit 8bf5d63b.
```
  d485c7d7
- Tweak. · b3ef376b
  Robbert Krebbers authored Jul 06, 2019
  
  b3ef376b
- Misc cleanup. · 5343f4be
  Robbert Krebbers authored Jul 06, 2019
  
  5343f4be
- Map reduce + Misc tweaks. · babec8f2
  Robbert Krebbers authored Jul 05, 2019
  
  babec8f2
04 Jul, 2019 7 commits
- Move sort client to right file. · 4c0c2c53
  Robbert Krebbers authored Jul 04, 2019
  
  4c0c2c53
- Generalize mapper function to do `≫=`. · 77637418
  Robbert Krebbers authored Jul 04, 2019
  
  77637418
- More list cleanup; add append function. · 3879534a
  Robbert Krebbers authored Jul 04, 2019
  
  3879534a
- Make the `list` stuff simpler since we don't really use `val_encode` anymore. · f5e2db76
  Robbert Krebbers authored Jul 04, 2019
  
  f5e2db76
- Tweak. · 763ab7f7
  Robbert Krebbers authored Jul 04, 2019
  
  763ab7f7
- Some mapper clean up. · 0d55d5de
  Robbert Krebbers authored Jul 04, 2019
  
  0d55d5de
- Some renaming. · 1fa2c070
  Robbert Krebbers authored Jul 04, 2019
  
  1fa2c070