Commits · master · Jonas Kastberg / actris

18 Oct, 2019 1 commit
- More README tweaks. · 9acbe81f
  Robbert Krebbers authored Oct 18, 2019
  
  9acbe81f
17 Oct, 2019 8 commits
- CI file. · 0a60e14c
  Robbert Krebbers authored Oct 17, 2019
  
  0a60e14c
- Opam file. · 6342095a
  Robbert Krebbers authored Oct 17, 2019
  
  6342095a
- Enable Coq syntax highlighting in Gitlab. · 6efac361
  Robbert Krebbers authored Oct 17, 2019
  
  6efac361
- Removed experimental folder · 3ee72d39
  jihgfee authored Oct 17, 2019
  
  3ee72d39
- Tweak README more. · 23202085
  Robbert Krebbers authored Oct 17, 2019
  
  23202085
- Update README.md · 1b54ac28
  Robbert Krebbers authored Oct 17, 2019
  
  1b54ac28
- Update README.md · 30416c7c
  Robbert Krebbers authored Oct 17, 2019
  
  30416c7c
- Tweak README. · 0b08db9f
  Robbert Krebbers authored Oct 17, 2019
  
  0b08db9f
14 Oct, 2019 7 commits
- Bumped supported versions in README · 7f5d2645
  Jonas Kastberg authored Oct 14, 2019
  
  7f5d2645
- Bumped move of Atomic to Iris · 708450ba
  Jonas Kastberg authored Oct 14, 2019
  
  708450ba
- Added todo detailing Coq 8.10 confusion · 7f46144d
  Jonas Kastberg authored Oct 14, 2019
  
  7f46144d
- Deleted moved Iris specific stuff · 202a6080
  Jonas Kastberg authored Oct 14, 2019
  
  202a6080
- Bumped to work with Coq 8.10 · a6825e8d
  Jonas Kastberg authored Oct 14, 2019
  
  a6825e8d
- intropattern -> simple_intropattern · a4707ed5
  Jonas Kastberg authored Oct 14, 2019
```
Note: Compatibility with 8.10 not verified yet.
```
  a4707ed5
- Bumped Coq 8.10 · f55d64b5
  Jonas Kastberg authored Oct 14, 2019
  
  f55d64b5
13 Oct, 2019 1 commit
- Minor updates to contribution · 023322d5
  Jonas Kastberg authored Oct 13, 2019
  
  023322d5
12 Oct, 2019 6 commits
- More nits and consistency of CoqDoc · 621a41d6
  Jonas Kastberg authored Oct 12, 2019
  
  621a41d6
- README nits · 34d30758
  Jonas Kastberg authored Oct 12, 2019
  
  34d30758
- Updated documentation of proofmode · cf424f14
  Jonas Kastberg authored Oct 12, 2019
  
  cf424f14
- Updated the proto_channel documentation · 77bb99f4
  jihgfee authored Oct 11, 2019
  
  77bb99f4
- Updated proto_model documentation · cee4e560
  jihgfee authored Oct 11, 2019
  
  cee4e560
- Re-instated missing operator. · f0856ce4
  jihgfee authored Oct 11, 2019
```
Moved Iris specific stuff into a utility file.
```
  f0856ce4
11 Oct, 2019 3 commits
- Tweak comments of `channel/channel.v`. · 2c2d38c5
  Robbert Krebbers authored Oct 11, 2019
  
  2c2d38c5
- Some updates to comments · 8afdb110
  jihgfee authored Oct 10, 2019
  
  8afdb110
- Added descriptive headers to all files · 56a4744f
  jihgfee authored Oct 10, 2019
  
  56a4744f
01 Oct, 2019 1 commit
- Add BSD LICENSE. · 42ba5b0a
  Robbert Krebbers authored Oct 01, 2019
  
  42ba5b0a
23 Sep, 2019 1 commit
- Bump Iris. · 37784f60
  Robbert Krebbers authored Sep 23, 2019
  
  37784f60
17 Sep, 2019 1 commit
- Fix for recent std++. · ef59f1b0
  Robbert Krebbers authored Sep 17, 2019
  
  ef59f1b0
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 2 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