Achim D. Brucker
|
449641c5a2
|
Moved from Jenkins to Woodpecker.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-25 18:32:30 +00:00 |
Achim D. Brucker
|
7605ea0561
|
Renamed upstream repository and updated instructions for activating AFP.
|
2021-12-29 15:13:15 +00:00 |
Achim D. Brucker
|
730226750e
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-28 09:00:23 +00:00 |
Achim D. Brucker
|
b8df20bd53
|
Import of AFP for Isabelle 2021.
|
2021-02-26 23:45:27 +00:00 |
Achim D. Brucker
|
85f894937e
|
Improved markdown.
afp-mirror/UPF_Firewall/pipeline/head There was a failure building this commit
Details
|
2020-05-23 11:28:59 +01:00 |
Achim D. Brucker
|
921e2eb4e3
|
Improved/updated installation instructions.
|
2020-05-23 11:26:46 +01:00 |
Achim D. Brucker
|
deb7b457b7
|
Migration to Isabelle 2020.
|
2020-05-23 10:57:54 +01:00 |
Achim D. Brucker
|
ea91410aec
|
Import of official AFP entry for Isabelle 2019.
afp-mirror/UPF_Firewall/master This commit looks good
Details
|
2019-06-22 23:31:30 +01:00 |
Achim D. Brucker
|
fe59480469
|
Fixed build instructions.
|
2019-06-22 23:27:31 +01:00 |
Achim D. Brucker
|
79b475a21f
|
Initial commit.
|
2019-01-05 17:56:32 +00:00 |
Achim D. Brucker
|
5e96945e92
|
Renamed session to avoid conflict with activated AFP.
|
2019-01-05 17:55:27 +00:00 |
Achim D. Brucker
|
dcc6ae26ab
|
Updated installation instructions for Isabelle 2018.
|
2018-12-26 00:01:33 +00:00 |
Achim D. Brucker
|
cb4f1d2a2f
|
Added citation information for AFP entry.
|
2018-12-26 00:00:53 +00:00 |
Achim D. Brucker
|
60415c8f6f
|
Import of official AFP entry for Isabelle 2018.
|
2018-12-22 13:12:43 +00:00 |
Achim D. Brucker
|
28e090fdde
|
Fixed markdown.
|
2018-07-04 02:02:17 +01:00 |
Achim D. Brucker
|
11e1ae9122
|
Merge branch 'master' of logicalhacking.com:afp-mirror/UPF_Firewall
|
2018-07-03 03:57:09 +01:00 |
Achim D. Brucker
|
d4aadfafdb
|
Added master repository URL.
|
2018-07-03 03:56:35 +01:00 |
Achim D. Brucker
|
192df4f574
|
Added SPDX License Identifier.
|
2018-07-03 03:55:41 +01:00 |
Achim D. Brucker
|
5853d96133
|
Fixed markdown.
|
2018-07-03 03:55:16 +01:00 |
Achim D. Brucker
|
69180f70a7
|
Fixed typo.
|
2017-12-10 06:52:48 +00:00 |
Achim D. Brucker
|
56bee1c2c4
|
Import of current (Isabelle 2017) release of UPF_Firewall.
|
2017-12-02 22:30:05 +00:00 |
Achim D. Brucker
|
494cd44eaf
|
Update to match official afp entry.
|
2017-01-11 10:09:09 +00:00 |
Achim D. Brucker
|
963252949e
|
Renaming to match offical naming of afp entry.
|
2017-01-11 10:08:30 +00:00 |
Achim D. Brucker
|
77ae1276d8
|
Updated name after afp acceptance.
|
2017-01-11 10:06:28 +00:00 |
Achim D. Brucker
|
93bb823f90
|
Removed references to system generated names.
|
2017-01-08 19:52:08 +00:00 |
Achim D. Brucker
|
3b6e93906b
|
Added STVR article.
|
2017-01-08 12:08:41 +00:00 |
Achim D. Brucker
|
da2138aa59
|
Restructured file layout to match afp default.
|
2017-01-07 20:42:39 +00:00 |
Achim D. Brucker
|
17e0bd6e7e
|
Updated setup to match AFP in-situ setup.
|
2017-01-05 13:40:37 +00:00 |
Achim D. Brucker
|
5d71be04f7
|
Added HOL-TestGen reference.
|
2017-01-04 16:09:22 +00:00 |
Achim D. Brucker
|
73bc5df9fc
|
Added introduction.
|
2017-01-04 14:58:02 +00:00 |
Achim D. Brucker
|
722ca30ad4
|
Removed outdated citations.
|
2017-01-04 14:44:15 +00:00 |
Achim D. Brucker
|
dcc46bdad0
|
Fixed theory hierachy and includes.
|
2017-01-02 13:16:48 +00:00 |
Achim D. Brucker
|
17f828902e
|
Cleanup.
|
2017-01-01 00:34:39 +00:00 |
Achim D. Brucker
|
1192827354
|
Fixed section structure.
|
2016-12-30 15:14:47 +00:00 |
Achim D. Brucker
|
9f8a9e6100
|
Removed appendix.
|
2016-12-29 12:23:05 +00:00 |
Achim D. Brucker
|
0697dd78f1
|
Reformatting & cleanup.
|
2016-12-28 22:40:36 +00:00 |
Achim D. Brucker
|
90fd8493c7
|
Reformatting.
|
2016-12-28 20:42:55 +00:00 |
Achim D. Brucker
|
ef12bd7397
|
Reformatting.
|
2016-12-28 20:42:31 +00:00 |
Achim D. Brucker
|
1ab1f96579
|
Checked style.
|
2016-12-28 00:01:00 +00:00 |
Achim D. Brucker
|
61cdc4efcf
|
Checked style.
|
2016-12-28 00:00:09 +00:00 |
Achim D. Brucker
|
e0dac8a3ab
|
Checked style.
|
2016-12-27 23:43:47 +00:00 |
Achim D. Brucker
|
2f0da5f6ba
|
Removed sorry's.
|
2016-12-27 10:50:50 +00:00 |
Achim D. Brucker
|
f290da191d
|
Fixed markdown.
|
2016-12-24 10:15:18 +00:00 |
Achim D. Brucker
|
929f992291
|
Fixed markdown.
|
2016-12-24 10:13:42 +00:00 |
Achim D. Brucker
|
bf1eb72987
|
Fixed markdown.
|
2016-12-24 10:13:06 +00:00 |
Achim D. Brucker
|
1ccdb5cdbf
|
Fixed markdown.
|
2016-12-24 10:11:08 +00:00 |
Achim D. Brucker
|
671debf879
|
Initial commit.
|
2016-12-23 10:06:07 +00:00 |