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 |
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
|
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 |