64 Commits (master)
 

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