Skip to content

Commit 4fe07cf

Browse files
mansky1gmalecha-at-skylabs
mansky1
authored and
gmalecha-at-skylabs
committed
RocqPL submission about recursive_mutex.
1 parent f5f56b1 commit 4fe07cf

7 files changed

Lines changed: 4738 additions & 1 deletion

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

0 commit comments

Comments
 (0)