Tests for pipeline
Showing
- .github/workflows/proof_tools.yml 41 additions, 1 deletion.github/workflows/proof_tools.yml
- proofs/appaxiom/appaxiom.ml 3 additions, 1 deletionproofs/appaxiom/appaxiom.ml
- proofs/pipeline/Makefile 6 additions, 0 deletionsproofs/pipeline/Makefile
- proofs/pipeline/examples/.gitignore 1 addition, 0 deletionsproofs/pipeline/examples/.gitignore
- proofs/pipeline/examples/Makefile 15 additions, 0 deletionsproofs/pipeline/examples/Makefile
- proofs/pipeline/examples/hello.log 144 additions, 0 deletionsproofs/pipeline/examples/hello.log
- proofs/pipeline/examples/run.expected 6 additions, 0 deletionsproofs/pipeline/examples/run.expected
- proofs/pipeline/examples/run.sh 2 additions, 4 deletionsproofs/pipeline/examples/run.sh
- proofs/pipeline/pipe.ml 15 additions, 12 deletionsproofs/pipeline/pipe.ml
Loading
Please register or sign in to comment