Michael Herzberg
|
f955f2fa56
|
Fixed long lines and simp lemmas without names.
|
2020-07-22 22:11:21 +01:00 |
Michael Herzberg
|
99a6566ed0
|
Restrict all autos to one subgoal.
|
2020-07-16 09:04:34 +01:00 |
Michael Herzberg
|
cebefb53dc
|
Deleted unused exceptions.
|
2020-06-18 16:09:42 +01:00 |
Michael Herzberg
|
0bbda09de8
|
Fixed bad merge.
|
2020-06-10 23:18:50 +01:00 |
Michael Herzberg
|
f102a4f006
|
Merge branch 'master' of git.logicalhacking.com:BrowserSecurity/Core_DOM-dev
|
2020-06-09 00:18:04 +01:00 |
Michael Herzberg
|
6008a6c2be
|
Renamed tag_type to tag_name and added some tag_name lemmas.
|
2020-06-08 23:46:58 +01:00 |
Michael Herzberg
|
9322d9753d
|
Fixed ROOT file after folder renaming.
|
2020-06-06 01:00:07 +01:00 |
Achim D. Brucker
|
64ac3d3786
|
Fixed ROOT file after renaming.
|
2020-05-25 10:55:23 +01:00 |
Michael Herzberg
|
3f02e81f83
|
Renamed folder.
|
2020-05-20 01:09:38 +01:00 |
Michael Herzberg
|
4ed7af1ec9
|
Renamed use _step suffix rather than _thesis.
|
2020-05-12 16:16:03 +01:00 |
Achim D. Brucker
|
c044d5fd86
|
Use symlinks for shared files.
|
2020-05-11 12:26:48 +01:00 |
Achim D. Brucker
|
86ea8d4817
|
Restrict auto.
|
2020-04-16 23:58:58 +01:00 |
Achim D. Brucker
|
080f4db810
|
Enabled document generation.
|
2020-04-16 23:31:15 +01:00 |
Achim D. Brucker
|
7563d9696e
|
Restrict auto.
|
2020-04-16 21:58:43 +01:00 |
Achim D. Brucker
|
0d7ed5df29
|
Updated title page.
|
2020-04-16 21:43:42 +01:00 |
Achim D. Brucker
|
c0b68703ef
|
Renaming.
|
2020-04-16 21:28:29 +01:00 |
Achim D. Brucker
|
989597fc9d
|
Limit auto to first sub-goal ...
|
2020-04-16 12:18:57 +01:00 |
Achim D. Brucker
|
9a96718e9f
|
Preparing AFP update.
|
2020-04-16 07:46:14 +01:00 |
Achim D. Brucker
|
25e85825bd
|
Preparing AFP update.
|
2020-04-15 23:59:20 +01:00 |
Achim D. Brucker
|
ae40d61017
|
Use same timeout as the AFP entry.
|
2020-04-15 23:28:26 +01:00 |
Achim D. Brucker
|
3af8260512
|
Initial commit.
|
2020-04-15 23:06:52 +01:00 |
Achim D. Brucker
|
a89fa18ad9
|
Initial commit.
|
2020-04-14 21:03:53 +01:00 |
Achim D. Brucker
|
ffe7733326
|
Replaced symbolic link by actual directory (as Isabelle's build system does not work well with links.
|
2020-04-14 21:03:39 +01:00 |
Achim D. Brucker
|
06c370fa22
|
Recovered Core_DOM_Heap_WF.thy after it got list during refactoring.
|
2020-04-14 21:02:52 +01:00 |
Achim D. Brucker
|
faf439a5ce
|
Refactoring.
|
2020-04-04 20:17:01 +01:00 |
Achim D. Brucker
|
f43673491a
|
Intermediate step, tested with Isabelel 2020 RC4.
|
2020-04-04 19:32:23 +01:00 |
Achim D. Brucker
|
209a19cadb
|
First merged setup, uses environment variable CORE_DOM=[standard|sc_components] to select variant.
|
2020-04-04 14:28:50 +01:00 |
Achim D. Brucker
|
781edd622a
|
First step towards joining standard compliant and scope_component setup.
|
2020-04-03 23:14:51 +01:00 |
Achim D. Brucker
|
857db5127e
|
First step towards joining standard compliant and scope_component setup.
|
2020-04-03 22:23:09 +01:00 |
Michael Herzberg
|
3e26409994
|
Added some missing lemmas for create_character_data.
|
2019-12-10 15:58:43 +00:00 |
Michael Herzberg
|
342cac360e
|
Added insert_before_ok and related lemmas.
|
2019-12-09 20:41:28 +00:00 |
Michael Herzberg
|
9197e60e25
|
Improved benchmarking infrastructure.
|
2019-12-09 13:10:17 +00:00 |
Michael Herzberg
|
633e5c76bb
|
Added _thesis lemmas for thesis.
|
2019-12-09 12:16:20 +00:00 |
Michael Herzberg
|
6aa9154363
|
Renamed final_heap due to some weird isabelle build errors.
|
2019-08-06 19:53:01 +01:00 |
Michael Herzberg
|
2c86c19a42
|
Merged scope_components into master.
|
2019-07-29 02:51:39 +01:00 |
Michael Herzberg
|
ddde56674c
|
Updated copyright year.
|
2019-07-25 16:46:42 +01:00 |
Michael Herzberg
|
81729529da
|
Fixed section comments.
|
2019-07-25 16:45:26 +01:00 |
Michael Herzberg
|
2aa64dcace
|
Use prefixed document variable.
|
2019-07-25 16:27:35 +01:00 |
Michael Herzberg
|
ac0fa734e4
|
Added support for multiple sorts in shortened type variables.
|
2019-07-25 16:27:10 +01:00 |
Michael Herzberg
|
e04b656f02
|
Added heap_final shorthand.
|
2019-07-25 16:26:39 +01:00 |
Michael Herzberg
|
544feb6b9c
|
Added more heap-related methods.
|
2019-07-23 00:02:04 +01:00 |
Michael Herzberg
|
7e21f2119d
|
Added more heap-related methods.
|
2019-07-22 23:51:44 +01:00 |
Michael Herzberg
|
bdd16a015f
|
Made various parts work better with the code generator.
|
2019-07-16 22:59:13 +01:00 |
Michael Herzberg
|
834d6a8077
|
Updated for Isabelle2019.
|
2019-06-14 18:09:56 +01:00 |
Michael Herzberg
|
b210f725ca
|
Added lemma get_owner_document_child_same.
|
2019-04-16 16:21:14 +02:00 |
Michael Herzberg
|
a0c897e2db
|
Merge branch 'master' into scope_components
|
2019-04-02 17:20:19 +01:00 |
Michael Herzberg
|
2a97e8efe2
|
Added get_owner_document_ok and reads_writes_preserved2.
|
2019-04-02 17:18:54 +01:00 |
Michael Herzberg
|
2d7d5daceb
|
Changed type hierarchy so that shadow root inherits from document now.
|
2019-04-01 17:48:33 +01:00 |
Michael Herzberg
|
9f48ee249e
|
Proved get_root_node_same_owner_document.
|
2019-04-01 17:43:00 +01:00 |
Michael Herzberg
|
d90812beed
|
Added a few new lemmas.
|
2019-04-01 17:27:54 +01:00 |