adbrucker
/
isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
83 Commits 1 Branch 6 Tags 426 KiB
Commit Graph

83 Commits

Author SHA1 Message Date
Achim D. Brucker 840c2d63ed Initial commit.
ci/woodpecker/push/build Pipeline was successful Details
2023-05-14 17:37:28 +02:00
Achim D. Brucker 7149ba4cf1 Tuned.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-13 07:23:23 +00:00
Achim D. Brucker 6d6327a000 Exclude diff files. 2023-02-12 07:01:23 +00:00
Achim D. Brucker 712a372372 Use full qualified name for containers.
ci/woodpecker/push/build Pipeline failed Details
2023-02-11 22:01:23 +00:00
Achim D. Brucker 343e4a4012 Added build setup checks. 2023-02-11 22:01:23 +00:00
Achim D. Brucker eca181309d Update to Isabelle 2022. 2022-10-29 22:01:23 +01:00
Achim D. Brucker d536dcff8a Update to Isabelle 2022.
ci/woodpecker/push/build Pipeline failed Details
2022-10-29 21:08:03 +01:00
Achim D. Brucker 50219d34cc Removed Nano_JSON, which is is now an official AFP entry: https://www.isa-afp.org/entries/Nano_JSON.html
ci/woodpecker/push/build Pipeline was successful Details
2022-10-29 20:36:43 +01:00
Achim D. Brucker 6eb7d1cde3 Renaming to comply with the usual naming convention that theory names start with an uppercase letter.
ci/woodpecker/push/build Pipeline was successful Details
2022-04-02 13:12:59 +01:00
Achim D. Brucker 29fbeaed36 Added email notification for failed builds.
ci/woodpecker/push/build Pipeline was successful Details
2022-04-01 08:16:37 +01:00
Achim D. Brucker 3ae86d2624 Renamed upstream repository.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-28 07:24:02 +01:00
Achim D. Brucker 10c0ebcd38 Initial commit: example of a simple external oracle.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-21 06:50:23 +00:00
Achim D. Brucker 00a830f09c Point directly to session specific HTML files.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-20 10:42:37 +00:00
Achim D. Brucker b71825b3d4 Fixed artifact deployment.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-20 10:38:58 +00:00
Achim D. Brucker 85619d4be3 Reorganized CI setup.
ci/woodpecker/push/build Pipeline failed Details
2022-03-20 10:36:46 +00:00
Achim D. Brucker 70d50de6e2 Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-20 08:09:26 +00:00
Achim D. Brucker cdf1aaff5f Switched from Jenkins to Woodpecker CI. 2022-03-20 08:01:38 +00:00
Achim D. Brucker 87794eef79 Updated Isabelle version. 2021-12-23 20:39:09 +00:00
Achim D. Brucker 76b983012d Added reminder to move configuration to Isabelle/Isar. 2021-04-28 11:15:50 +01:00
Achim D. Brucker 961f906944 Fixed typo. 2021-04-28 10:15:19 +01:00
Achim D. Brucker 5288db2205 Fixed typo. 2021-04-28 10:11:26 +01:00
Achim D. Brucker 9c4a2d9483 Integrated fxp and ml_yacc_lib. 2021-04-28 10:00:12 +01:00
Achim D. Brucker 012afeb0a4 Initial commit: ml-yacc support for Isabelle. 2021-04-28 09:58:18 +01:00
Achim D. Brucker 01d66798d3 Initial commit. 2021-04-28 09:57:39 +01:00
Achim D. Brucker 46af09bc1f Changed ref to Unsynchronized.ref. 2021-04-28 09:27:40 +01:00
Achim D. Brucker 69277ff885 Cleanup. 2021-04-28 09:26:54 +01:00
Achim D. Brucker 1d840722d6 Import of fxp sources, as used in su4sml <https://git.logicalhacking.com/HOL-OCL/su4sml>. 2021-04-28 09:24:59 +01:00
Achim D. Brucker b5f15612a7 Upgrading to Isabelle 2020. 2021-03-06 01:01:08 +00:00
Achim D. Brucker ecbfbe0c64 Switched trunk to Isabelle 2020.
adbrucker/isabelle-hacks/pipeline/head This commit looks good Details
2020-04-09 22:00:11 +01:00
Achim D. Brucker f2566edeec Initial commit: SML Code Reflection
adbrucker/isabelle-hacks/master This commit looks good Details
2019-08-15 20:48:07 +01:00
Achim D. Brucker 76ab611c86 Port to Isabelle 2019.
adbrucker/isabelle-hacks/master This commit looks good Details
2019-06-23 00:15:50 +01:00
Achim D. Brucker faae943ad9 Fixed serializer for definitions using equality from Pure.
adbrucker/isabelle-hacks/master This commit looks good Details
2019-01-24 23:20:56 +00:00
Achim D. Brucker 05741ac245 Improved representation of IEEE reals. 2019-01-24 22:51:30 +00:00
Achim D. Brucker dd8a141d5d Code improvement: use actual proof context.
adbrucker/isabelle-hacks/master This commit looks good Details
2019-01-21 23:03:45 +00:00
Achim D. Brucker 446792928e Move theory file name from the level of sections to the level of chapters. 2019-01-21 17:55:25 +00:00
Achim D. Brucker eacb55c43f Added Jenkins CI configuration.
adbrucker/isabelle-hacks/master This commit looks good Details
2019-01-21 17:37:23 +00:00
Achim D. Brucker 1a88f7c6c3 Added inline Changelot to each theory file. 2019-01-21 17:10:30 +00:00
Achim D. Brucker b0f0d93440 Initial document generation support. 2019-01-21 16:57:04 +00:00
Achim D. Brucker ac1cc224b3 Added brief description of Nano JSON. 2019-01-21 16:31:00 +00:00
Achim D. Brucker 229d3145a5 Initial commit. 2019-01-21 16:00:44 +00:00
Achim D. Brucker 5346943a2b Added Nano_JSON.thy. 2019-01-21 15:56:19 +00:00
Achim D. Brucker 64055200c6 First serializer implementation. 2019-01-21 15:54:49 +00:00
Achim D. Brucker 41634c70ac Added parser and overall cleanup. 2019-01-21 09:49:22 +00:00
Achim D. Brucker 338dcc874a Added serializer implementation. 2019-01-20 20:19:41 +00:00
Achim D. Brucker 1be7bfd514 Defined HOL and ML data types for Nano JSON and implemented conversion between them. 2019-01-20 19:57:44 +00:00
Achim D. Brucker c9a174bdbc Initial commit. 2019-01-19 08:23:18 +00:00
Achim D. Brucker f8f04dd867 Updated various legacy notations. 2018-12-24 09:00:31 +00:00
Achim D. Brucker 818438f2cf Isabelle 2018 is now the default version for the master branch. 2018-08-16 07:01:36 +01:00
Achim D. Brucker bf691e04a0 Fixed markdown. 2018-06-27 00:40:43 +01:00
Achim D. Brucker 4fe36e9ad4 Fixed markdown. 2018-06-26 17:28:21 +01:00