Skip to content

Commit 37cd310

Browse files
pgiarrusso-slpgiarrusso-sl
authored
Merge pull request #4 from SkylabsAI/gmalecha/recursive-mutex
Specification of std::recursive_mutex
2 parents 720879a + 4fe07cf commit 37cd310

11 files changed

Lines changed: 5136 additions & 16 deletions

File tree

‎.gitignore‎

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,12 @@
44
*.vo
55
*.vos
66
*.vok
7-
*.v.d
7+
*.v.d
8+
mutexes.aux
9+
mutexes.bbl
10+
mutexes.blg
11+
mutexes.log
12+
mutexes.out
13+
mutexes.pdf
14+
mutexes.synctex.gz
15+
comment.cut

‎papers/.gitignore‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
*.aux
2+
*.log
3+
*.out
4+
*.pdf

‎papers/rocqpl-26/Makefile‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
mutexes.pdf: mutexes.tex bibfile.bib
2+
pdflatex mutexes.tex
3+
bibtex mutexes
4+
pdflatex mutexes.tex
5+
pdflatex mutexes.tex
6+
7+
clean:
8+
rm mutexes.pdf

‎papers/rocqpl-26/bibfile.bib‎

Lines changed: 3485 additions & 0 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)