This website works better with JavaScript.
Dashboard
Explore
Help
Sign In
ProtocolSecurity
/
isabelle-ofmc
Archived
Watch
1
Star
0
Fork
You've already forked isabelle-ofmc
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
26
Commits
1
Branch
0
Tags
316 KiB
Branch:
master
master
Branches
Tags
${ item.name }
Create tag
${ searchTerm }
Create branch
${ searchTerm }
from 'master'
${ noResults }
Commit Graph
26 Commits (master)
All Branches
Search
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