BrowserSecurity
/
Core_DOM-dev
Archived
forked from afp-mirror/Core_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
35 Commits 2 Branches 1 Tag 320 KiB
Commit Graph

35 Commits

Author SHA1 Message Date
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
Achim D. Brucker 874251f8c1 merge 2019-02-20 15:45:11 +00:00
Michael Herzberg af3aa1bcf9 Renamed session back to Core_DOM. 2019-02-20 13:53:34 +00:00
Michael Herzberg 4ef60408e5 Added more lemmas and locales. 2019-02-20 13:29:06 +00:00
Achim D. Brucker c8feb64de9 Updated session name. 2019-02-20 13:28:17 +00:00
Michael Herzberg b7fa25e301 Added more lemmas. 2019-02-06 14:05:15 +00:00
Achim D. Brucker ae19cacb08 Fixed typo. 2019-01-11 07:51:24 +00:00
Achim D. Brucker 34ac13f630 Integrated latest changes of official AFP entry. 2019-01-07 08:12:07 +00:00
Achim D. Brucker 6cec568e45 Removed local output directory. 2019-01-05 18:39:35 +00:00
Achim D. Brucker c5258d8c59 Initial commit. 2019-01-05 17:59:45 +00:00
Achim D. Brucker cca8ecb407 Renamed session to avoid conflict with activated AFP. 2019-01-05 17:58:34 +00:00
Achim D. Brucker 32eff7d4c3 Initial commit. 2018-12-25 23:47:54 +00:00
Achim D. Brucker 8e2d2fb6c6 Initial commit. 2018-12-25 17:51:00 +00:00
Achim D. Brucker 8f2a19ee3e Initial commit. 2018-12-25 16:35:09 +00:00
Achim D. Brucker 8dd3d801d8 Initial commit. 2018-12-25 15:01:57 +00:00