diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-09 15:51:37 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-09 15:51:59 +0100 |
| commit | 9ef2a5538ad04867b4b41216dbba835024387100 (patch) | |
| tree | edc03bc42831a3f192401fb0fefd0a0ad51e1343 | |
| parent | 3a71b1086add81b137f321575da527b6ab59cabc (diff) | |
chore: cleanup proofs directory and add makefile header.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | .kdev4/papers.kdev4 | 2 | ||||
| -rw-r--r-- | papers.kdev4 | 4 | ||||
| -rw-r--r-- | proofs/Makefile | 6 | ||||
| -rw-r--r-- | proofs/WG03/.keep | 0 |
4 files changed, 12 insertions, 0 deletions
diff --git a/.kdev4/papers.kdev4 b/.kdev4/papers.kdev4 new file mode 100644 index 0000000..2ffd5cd --- /dev/null +++ b/.kdev4/papers.kdev4 @@ -0,0 +1,2 @@ +[Project] +VersionControlSupport=kdevgit diff --git a/papers.kdev4 b/papers.kdev4 new file mode 100644 index 0000000..7ebbc57 --- /dev/null +++ b/papers.kdev4 @@ -0,0 +1,4 @@ +[Project] +CreatedFrom=Makefile +Manager=KDevCustomMakeManager +Name=papers diff --git a/proofs/Makefile b/proofs/Makefile index 2391e6d..295591f 100644 --- a/proofs/Makefile +++ b/proofs/Makefile @@ -1,3 +1,9 @@ +# File: Makefile +# Author: Amlal El Mahrouss +# Purpose: Compile Coq proofs for WG05 to the Coq kernel. +# (C) 2026 Amlal El Mahrouss. +# Licensed under Apache 2.0. + COQMAKEFILE ?= Makefile.coq all: $(COQMAKEFILE) diff --git a/proofs/WG03/.keep b/proofs/WG03/.keep deleted file mode 100644 index e69de29..0000000 --- a/proofs/WG03/.keep +++ /dev/null |