İşleme Grafiği

26 İşleme

Yazar SHA1 Mesaj Tarih
Achim D. Brucker 26ce1b6147 Added DOI for CSF paper. 2020-12-31 10:34:15 +00:00
Achim D. Brucker dd7720682e Added reference to successor project. 2020-12-30 15:08:54 +00:00
Achim D. Brucker af43be20ef Added master repository URL. 2018-08-03 17:56:55 +02:00
Achim D. Brucker 9d0641480a Added SPDX License Identifier. 2018-08-03 17:53:47 +02:00
Achim D. Brucker 49054ca8ce Cleanup of Markdown. 2018-08-03 17:51:53 +02:00
Achim D. Brucker 8d16f2b40f Updated description and clarified Isabelle version. 2016-08-02 13:45:45 +01:00
Achim D. Brucker 65583684a1 Makefile for generating theory files. 2016-08-02 13:44:10 +01:00
Achim D. Brucker 10a9b2514e Ported to Isabelle 2016. 2016-08-02 13:42:54 +01:00
Achim D. Brucker 35fd91aad5 Regenerated example theory file. 2016-08-02 13:36:07 +01:00
Achim D. Brucker c028fc027e Updated path to ofmc.thy. 2016-08-02 13:35:30 +01:00
Achim D. Brucker 805e67fefb Ignore generated binary. 2016-08-02 13:30:56 +01:00
Achim D. Brucker 781d13855a Switched to plain Makefiles for build. 2016-08-02 13:30:24 +01:00
Achim D. Brucker 2c804039b5 Deleted outdated config.sml.in. 2016-08-02 12:50:09 +01:00
Achim D. Brucker bb1c93b00e Generated thy files for Isabelle 2015. 2016-08-02 12:49:06 +01:00
Achim D. Brucker 9ef8e90bd7 Removed outdated Isabelle files. 2016-08-02 12:47:41 +01:00
Achim D. Brucker 9f66f82aa8 Updated ofmc grammar and regenerated parser. 2016-08-02 12:45:50 +01:00
Achim D. Brucker ec42f2f2de Added timing of theory loading. 2016-08-02 12:41:10 +01:00
Achim D. Brucker 53cea57fb5 Cleanup (removed dead code). 2016-08-02 12:31:19 +01:00
Achim D. Brucker 0d6d685268 Removed outdated IsaMakefile. 2016-08-02 12:23:20 +01:00
Achim D. Brucker aad1e984f9 Updated/clarified license information. 2016-08-02 09:52:39 +01:00
Achim D. Brucker 22da81b807 Updated readme. 2016-07-29 00:51:36 +01:00
Achim D. Brucker 3212d103b1 Updated readme and added citation information. 2016-07-29 00:50:37 +01:00
Achim D. Brucker be33b1158c Updated license (to a 2-clause BSD-style license). 2016-07-29 00:44:52 +01:00
Achim D. Brucker beb6c839ef Renaming to start conversion to markdown. 2016-07-29 00:38:27 +01:00
Achim D. Brucker 38c374f657 Updated file/directory structure to match new standard naming/layout. 2016-07-29 00:37:53 +01:00
Achim D. Brucker 0407d94abd Import of originally published version of isabelle-ofmc. 2009-11-02 14:14:13 +00:00