커밋 그래프

64 커밋

작성자 SHA1 메시지 날짜
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