afp-mirror
/
Automated_Stateful_Protocol_Verification
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Automated_Stateful_Protocol.../Automated_Stateful_Protocol.../trac
History
Achim D. Brucker f1b3fa41c2 Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
..
bin Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
ml-yacc-lib Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
trac_parser Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
Makefile Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
README.md Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
ml_yacc_lib.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
trac.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
trac_fp_parser.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
trac_protocol_parser.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00
trac_term.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:44:53 +01:00

README.md

Interface between Isabelle and trac specifications

Prerequisites

  • For re-generating the parser, ml-lex and ml-yacc are required

License

This project is licensed under a 2-clause BSD-style license.

SPDX-License-Identifier: BSD-2-Clause