diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-22 00:33:50 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-22 00:33:50 -0300 |
| commit | 59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c (patch) | |
| tree | 83cde3e41a97cd87699cdcc4ed7c3fdd82c5bc90 /proof/Makefile | |
| parent | e6661bfa6a3d7dc477d0b7717c80bd536eca2d68 (diff) | |
| download | Sakura-59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c.tar.gz Sakura-59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c.zip | |
Sublanguages improvement & Coq experiment (#53)
* separation and functor for sublanguages
* add coq experiment for termination
* fix tests with envelopes
* add timestamp and print responses to server on terminal
* remove coq experiment for trivial cases and rework gate
* refactor nesting with let*
* remove non-envelope sublang support and tests on server
* manip_err duplication purge and better format as s-expr
* abstract storage with dispatch for sublanguages
* dead code and minor refactor due to old non-envelope parsing on subl
* refactor server to use proper dml alg error and wire ephem relations
* remove (schema)
* change .gitignore to blacklist folders
Diffstat (limited to 'proof/Makefile')
| -rw-r--r-- | proof/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/proof/Makefile b/proof/Makefile new file mode 100644 index 0000000..a9e1f72 --- /dev/null +++ b/proof/Makefile @@ -0,0 +1,14 @@ +COQMAKEFILE ?= Makefile.coq + +all: $(COQMAKEFILE) + mkdir -p ../lib/drl_verified + $(MAKE) -f $(COQMAKEFILE) + +$(COQMAKEFILE): _CoqProject + coq_makefile -f _CoqProject -o $(COQMAKEFILE) + +clean: $(COQMAKEFILE) + $(MAKE) -f $(COQMAKEFILE) clean + rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf + +.PHONY: all clean |