Commits · master · Michalis Kokologiannakis / Weak Memory Bibliography · GitLab

26 Jan, 2023 1 commit
- bib: Add buster artifact · fdc190ab
  Iason Marmanis authored Jan 26, 2023 and Michalis Kokologiannakis committed Jan 26, 2023
  
  fdc190ab
25 Jan, 2023 1 commit
- bib: Add buster supp material · 8e1477a0
  Michalis Kokologiannakis authored Jan 25, 2023
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8e1477a0
30 Oct, 2022 1 commit
- bib,conf: Model checking citations · 8d0aec6a
  Michalis Kokologiannakis authored Oct 29, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8d0aec6a
26 Oct, 2022 1 commit
- bib: Add model checking success stories · 721f7ee0
  Michalis Kokologiannakis authored Oct 25, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  721f7ee0
21 Oct, 2022 1 commit
- bib: Add SCT · 2cc5abeb
  Michalis Kokologiannakis authored Oct 20, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  2cc5abeb
20 Oct, 2022 2 commits
- bib: Add power-of-regular-languages-SO · 94003ad3
  Michalis Kokologiannakis authored Oct 20, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  94003ad3
- bib: Add KLEE, comm-closure, genmc-bugs · 2e48d58c
  Michalis Kokologiannakis authored Oct 20, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  2e48d58c
17 Oct, 2022 2 commits
- bib: Add VSync-HMCS · 632c7cbe
  Michalis Kokologiannakis authored Oct 16, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  632c7cbe
- bib: Fix pipeline --- sort bibliography · 27d3a924
  Michalis Kokologiannakis authored Oct 16, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  27d3a924
14 Oct, 2022 2 commits
- add context-bounded POR · 351d1fab
  Viktor Vafeiadis authored Oct 14, 2022
  
  351d1fab
- context-bounding · a8d2036f
  Viktor Vafeiadis authored Oct 14, 2022
  
  a8d2036f
07 Jul, 2022 1 commit
- bib: Add Pous-bisimulation ref · 9dd7adbc
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  9dd7adbc
06 Jul, 2022 5 commits
- bib: Use unicode for names; fix stupid bug · 8d825a4f
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8d825a4f
- bib: Sort & check before commit... · 20970a36
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  20970a36
- bib: Add Kameda-Weiner and Zorg · c10a1c76
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c10a1c76
- bib: Add OCaml-MM ref · 08072bd5
  Michalis Kokologiannakis authored Jul 06, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  08072bd5
- bib: Add KAT completeness paper · 5e308c5c
  Michalis Kokologiannakis authored Jul 06, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  5e308c5c
24 Jun, 2022 2 commits
- bib: Add KAT reference · 5b4d47a8
  Michalis Kokologiannakis authored Jun 24, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  5b4d47a8
- bib: Add more references; print publisher for non-books · 08e89db1
  Michalis Kokologiannakis authored Jun 24, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  08e89db1
12 Apr, 2022 2 commits
- bib: Fix leaky semicolon (+ pipeline) · 46c94404
  Michalis Kokologiannakis authored Apr 12, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  46c94404
- bib: add Leaky semicolon · e2f11b33
  Viktor Vafeiadis authored Apr 12, 2022
  
  e2f11b33
23 Jan, 2022 8 commits
- Merge branch 'new-infr' into 'master' · 6ecd5d86
  Michalis Kokologiannakis authored Jan 23, 2022
```
Produce bib with m4

See merge request !1
```
  6ecd5d86
- README: Update documentation · 7fe2ea42
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7fe2ea42
- bib: Minor fixes · 1127f7fc
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  1127f7fc
- infr: Add some testing infrastructure · 906f56d8
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  906f56d8
- infr: Add script to sort bib input · 8333f407
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8333f407
- Makefile: Add a Makefile · 7ed4abcd
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7ed4abcd
- bib: Small fixes · 3802cda8
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  3802cda8
- infr: Use m4 file to produce bib · c39818fa
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c39818fa
22 Jan, 2022 1 commit
- add pmtest · f7508617
  Viktor Vafeiadis authored Jan 22, 2022
  
  f7508617
21 Jan, 2022 6 commits
- bib: Minor fixes · e8f9c813
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  e8f9c813
- bib: Add optimized-lf queue citation · 74a31a7e
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  74a31a7e
- bib: Add entry for optimistic ms-queue · 7f8e65fa
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7f8e65fa
- bib: Add mirror citation · c0377655
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c0377655
- bib: Repair DGLM entry; add IDSs · a9fdcd3f
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  a9fdcd3f
- add DGLM queue · c73f41ae
  Viktor Vafeiadis authored Jan 21, 2022
  
  c73f41ae
12 Jan, 2022 1 commit
- bib: Add treiber-stack; hazard-pointers · 39b0ceb1
  Michalis Kokologiannakis authored Jan 12, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  39b0ceb1
10 Jan, 2022 1 commit
- bib: CDS + TruSt citations · 11822163
  Michalis Kokologiannakis authored Jan 11, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  11822163
04 Jan, 2022 2 commits
- bib: Add SAVer citation · 3c015f95
  Michalis Kokologiannakis authored Jan 04, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  3c015f95
- bib: Add BAM doi · b44040ba
  Michalis Kokologiannakis authored Jan 04, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  b44040ba