 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
|
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
|
cdf1aaff5f
|
Switched from Jenkins to Woodpecker CI.
|
2022-03-20 08:01:38 +00: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
|
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
|
ac1cc224b3
|
Added brief description of Nano JSON.
|
2019-01-21 16:31:00 +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 |
|
Achim D. Brucker
|
ce7e3896b3
|
Fixed markdown.
|
2018-06-22 17:34:52 +01:00 |
|
Achim D. Brucker
|
66101d2527
|
Changed styntax for type wildcard from __ to (_).
|
2018-06-20 10:57:09 +01:00 |
|
Achim D. Brucker
|
3b0a88dfa6
|
Renamed theories to comply to Isabelle's naming convention.
|
2018-06-18 09:50:22 +01:00 |
|
Achim D. Brucker
|
40082ac32b
|
Updated shorthand notation.
|
2018-06-17 22:57:09 +01:00 |
|
Achim D. Brucker
|
2577669f5f
|
Added hiding_type_variables.thy.
|
2018-06-17 21:38:59 +01:00 |
|
Achim D. Brucker
|
0051269b36
|
Fixed markdown.
|
2018-06-17 21:33:19 +01:00 |
|
Achim D. Brucker
|
6c1e607542
|
Added author information.
|
2018-06-17 08:38:49 +01:00 |
|
Achim D. Brucker
|
5c1e76c1eb
|
Added assert.thy to README.
|
2018-06-16 23:57:35 +01:00 |
|
Achim D. Brucker
|
13f2bfe8a9
|
Initial commit.
|
2018-06-14 19:22:45 +01:00 |