Commits · main · cqs7520 / VCC Cheat Sheet

03 Sep, 2021 1 commit
- Merge branch 'more-commands' into 'main' · 8016b5ab
  cqs7520 authored Sep 03, 2021
```
Add additional commands

See merge request !1
```
  8016b5ab
19 Aug, 2021 1 commit
- Added examples to new VCC tags · 9e89530a
  elmar authored Aug 19, 2021
  
  9e89530a
16 Aug, 2021 4 commits
- Updates CONTRIBUTING. · 2bfe27a4
  cqs7520 authored Aug 16, 2021
  
  2bfe27a4
- Changes. · c1fc9980
  cqs7520 authored Aug 16, 2021
  
  c1fc9980
- Adds Christoph to the list of authors. · 805102d6
  cqs7520 authored Aug 16, 2021
  
  805102d6
- Puts sentences on separate lines. · d8b0b707
  cqs7520 authored Aug 16, 2021
  
  d8b0b707
07 Aug, 2021 2 commits
- added reference to VCC manual and new VCC tags · 5c7a9cd4
  elmar authored Aug 07, 2021
  
  5c7a9cd4
- Add some new commands from original website · cf7755ec
  elmar authored Aug 07, 2021
  
  cf7755ec
30 Jul, 2021 1 commit
- Corrects typo. · 188d4216
  cqs7520 authored Jul 30, 2021
  
  188d4216
24 Jul, 2021 3 commits
- Minor reformatting. · 66647958
  cqs7520 authored Jul 24, 2021
  
  66647958
- Adds the Technical Advice section with material from the meeting. · 1481e31c
  cqs7520 authored Jul 24, 2021
  
  1481e31c
- Updates the Common Mistakes section with material from the meeting. · b68e1afc
  cqs7520 authored Jul 24, 2021
  
  b68e1afc
10 Jul, 2021 7 commits
- Clarifies the explanation of \mine. · 774c3e83
  cqs7520 authored Jul 10, 2021
  
  774c3e83
- Adds explanations of \me and \owner. · 5b19d5c9
  cqs7520 authored Jul 10, 2021
  
  5b19d5c9
- Adds explanation of \writable. · 7aae8183
  cqs7520 authored Jul 10, 2021
  
  7aae8183
- Expands explanation of ==> to include <==. · 4a42deec
  cqs7520 authored Jul 10, 2021
  
  4a42deec
- Adds explanation of \closed. · 7473aca7
  cqs7520 authored Jul 10, 2021
  
  7473aca7
- Adds clarification on what is meant by "ghost code". · e38a3e3b
  cqs7520 authored Jul 10, 2021
  
  e38a3e3b
- Adds explanation of \domain. · fde59734
  cqs7520 authored Jul 10, 2021
  
  fde59734
02 Jul, 2021 9 commits
- Adds examples for \owns. · 7b5844f5
  cqs7520 authored Jul 02, 2021
  
  7b5844f5
- Adds an explanation for the alloc directive. · 99d5ed1c
  cqs7520 authored Jul 02, 2021
  
  99d5ed1c
- Adds an example for ghost pointers. · c228bff1
  cqs7520 authored Jul 02, 2021
  
  c228bff1
- Adds explanation of ghost code blocks. · df0f6b92
  cqs7520 authored Jul 02, 2021
  
  df0f6b92
- Cleanup. · 7264926b
  cqs7520 authored Jul 02, 2021
  
  7264926b
- Adds explanation of dynamic_owns. · 2fa158bc
  cqs7520 authored Jul 02, 2021
  
  2fa158bc
- Fixes malloc_root example. · 0fcecd46
  cqs7520 authored Jul 02, 2021
  
  0fcecd46
- Adds explanation of ghost pointers. · 0d78c8a8
  cqs7520 authored Jul 02, 2021
  
  0d78c8a8
- Adds explanation of the malloc_root directive. · 66a715bd
  cqs7520 authored Jul 02, 2021
  
  66a715bd
17 Jun, 2021 2 commits
- Adds explanation of the /smoke command line argument. · fb857cec
  cqs7520 authored Jun 17, 2021
  
  fb857cec
- Adds explanation of the \in directive. · 85b43d7b
  cqs7520 authored Jun 17, 2021
  
  85b43d7b
05 Jun, 2021 2 commits
- Corrects license. · 0089cd8a
  cqs7520 authored Jun 05, 2021
  
  0089cd8a
- Add LICENSE · 18ace78d
  cqs7520 authored Jun 05, 2021
  
  18ace78d
03 Jun, 2021 8 commits
- Adds README.md · 0283bb52
  cqs7520 authored Jun 03, 2021
  
  0283bb52
- Updates CONTRIBUTING with authors, version and date. · 7f680153
  cqs7520 authored Jun 03, 2021
  
  7f680153
- Bumps version. · 66096b30
  cqs7520 authored Jun 03, 2021
  
  66096b30
- Adds CONTRIBUTING · 5e249928
  cqs7520 authored Jun 03, 2021
  
  5e249928
- Clarifies \nested explanation. · 570c1967
  cqs7520 authored Jun 03, 2021
  
  570c1967
- Clarifies \mutable_array explanation. · 21e96535
  cqs7520 authored Jun 03, 2021
  
  21e96535
- Adds disclaimer for ownership and concurrent programs. · ddf3f280
  cqs7520 authored Jun 03, 2021
  
  ddf3f280
- Corrects \mutable example. · 09ff10b4
  cqs7520 authored Jun 03, 2021
  
  09ff10b4