ProtocolSecurity
/
isabelle-ofmc
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
26 Commits
1 Branch
0 Tags
316 KiB
Tag: Branch: Tree: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

26 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker 26ce1b6147 Added DOI for CSF paper.
2 years ago
Achim D. Brucker dd7720682e Added reference to successor project.
2 years ago
Achim D. Brucker af43be20ef Added master repository URL.
4 years ago
Achim D. Brucker 9d0641480a Added SPDX License Identifier.
4 years ago
Achim D. Brucker 49054ca8ce Cleanup of Markdown.
4 years ago
Achim D. Brucker 8d16f2b40f Updated description and clarified Isabelle version.
6 years ago
Achim D. Brucker 65583684a1 Makefile for generating theory files.
6 years ago
Achim D. Brucker 10a9b2514e Ported to Isabelle 2016.
6 years ago
Achim D. Brucker 35fd91aad5 Regenerated example theory file.
6 years ago
Achim D. Brucker c028fc027e Updated path to ofmc.thy.
6 years ago
Achim D. Brucker 805e67fefb Ignore generated binary.
6 years ago
Achim D. Brucker 781d13855a Switched to plain Makefiles for build.
6 years ago
Achim D. Brucker 2c804039b5 Deleted outdated config.sml.in.
6 years ago
Achim D. Brucker bb1c93b00e Generated thy files for Isabelle 2015.
6 years ago
Achim D. Brucker 9ef8e90bd7 Removed outdated Isabelle files.
6 years ago
Achim D. Brucker 9f66f82aa8 Updated ofmc grammar and regenerated parser.
6 years ago
Achim D. Brucker ec42f2f2de Added timing of theory loading.
6 years ago
Achim D. Brucker 53cea57fb5 Cleanup (removed dead code).
6 years ago
Achim D. Brucker 0d6d685268 Removed outdated IsaMakefile.
6 years ago
Achim D. Brucker aad1e984f9 Updated/clarified license information.
6 years ago
Achim D. Brucker 22da81b807 Updated readme.
6 years ago
Achim D. Brucker 3212d103b1 Updated readme and added citation information.
6 years ago
Achim D. Brucker be33b1158c Updated license (to a 2-clause BSD-style license).
6 years ago
Achim D. Brucker beb6c839ef Renaming to start conversion to markdown.
6 years ago
Achim D. Brucker 38c374f657 Updated file/directory structure to match new standard naming/layout.
6 years ago
Achim D. Brucker 0407d94abd Import of originally published version of isabelle-ofmc.
13 years ago