spec/spec.tex · c7b4870d1bdd0f31584fe9b2c7e00f1fa11c4e47 · veriT / Alethe

2 years ago

Backport of specification from PhD thesis · c7b4870d

Hans-Jörg authored 2 years ago

- Add backport goal to Makefile to aid work
- copy the main chapter as "spec.tex"
- copy the rules appendix as "alethe_rules.tex"
- finish adaption of source code in spec.tex

c7b4870d

History

Backport of specification from PhD thesis

Hans-Jörg authored 2 years ago

- Add backport goal to Makefile to aid work
- copy the main chapter as "spec.tex"
- copy the rules appendix as "alethe_rules.tex"
- finish adaption of source code in spec.tex

Code owners

Assign users and groups as approvers for specific file changes. Learn more.