├── Makefile ├── Makefile.test262 ├── PLDI15-AEC.README.md ├── README.md ├── js-core-syntax.k ├── js-init-configuration.k ├── js-main.k ├── js-orig-syntax-util.k ├── js-orig-syntax.k ├── js-prelude.k ├── js-pseudo-code.k ├── js-standard-builtin-objects.k ├── js-str-numeric-literal.k ├── js-trans.k ├── jsmassage.sh ├── kjs.sh ├── kpp.py ├── list-invalid-tests.txt ├── pp.sh ├── prelude.js ├── run-all.sh ├── security-attack ├── Makefile ├── README.md ├── js.k.patch ├── security-attack.out └── send.js ├── stdlib ├── 00.debug.js ├── 01.global.js ├── 02.object.js ├── 03.function.js ├── 04.array.js ├── 05.string.js ├── 06.boolean.js ├── 07.number.js ├── 08.math.js ├── 09.date.js ├── 10.regexp.js └── 11.error.js ├── test262-coverage ├── 01 - 8.7.1 GetValue (V) - [[Get]], Step 6.js ├── 02 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.a.js ├── 03 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.b.js ├── 04 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.a.js ├── 05 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.b.js ├── 06 - 8.7.2 PutValue (V, W) - [[Put]], Step 6.a-b.js ├── 07 - 8.7.2 PutValue (V, W) - [[Put]], Step 7.a.js ├── 08 - 8.12.4 [[CanPut]] (P) - Step 8.a.js ├── 09 - 10.2.1.1.3 SetMutableBinding (N,V,S) - Step 4.js ├── 10 - 10.2.1.1.4 GetBindingValue(N,S) - Step 3.a.js ├── 11 - 10.2.1.1.5 DeleteBinding (N) - Step 2.js ├── 12 - 10.2.1.1.5 DeleteBinding (N) - Step 4-5.js ├── 13 - 10.2.1.2.4 GetBindingValue(N,S) - Step 4.a.js ├── 14 - 10.5 Declaration Binding Instantiation - Step 5.e.iii.1.js ├── 15 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 1st.js ├── 16 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 2nd.js ├── 17 - 10.6 Arguments Object - [[DefineOwnProperty]], Step 4.a, else.js ├── Makefile ├── README.md ├── coverage.sh ├── report.py ├── stdlib-for-coverage.txt └── test262-coverage.out ├── test262.out └── verification ├── Makefile ├── README.md ├── avl ├── avl.js ├── avl_delete_spec.k ├── avl_find_spec.k └── avl_insert_spec.k ├── bst-oop ├── bst.js ├── bst_find_spec.k └── bst_insert_spec.k ├── bst ├── delete.js ├── find.js ├── float_delete_spec.k ├── float_find_spec.k ├── float_insert_spec.k ├── insert.js ├── string_delete_spec.k ├── string_find_spec.k └── string_insert_spec.k ├── list ├── append.js ├── append_spec.k ├── reverse.js └── reverse_spec.k ├── patterns ├── list │ ├── js-verifier.k │ └── list_pattern.k ├── tree_float │ ├── float_set.k │ ├── float_tree_pattern.k │ └── js-verifier.k └── tree_string │ ├── js-verifier.k │ ├── string_set.k │ └── string_tree_pattern.k └── verification.out /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.test262: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/Makefile.test262 -------------------------------------------------------------------------------- /PLDI15-AEC.README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/PLDI15-AEC.README.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/README.md -------------------------------------------------------------------------------- /js-core-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-core-syntax.k -------------------------------------------------------------------------------- /js-init-configuration.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-init-configuration.k -------------------------------------------------------------------------------- /js-main.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-main.k -------------------------------------------------------------------------------- /js-orig-syntax-util.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-orig-syntax-util.k -------------------------------------------------------------------------------- /js-orig-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-orig-syntax.k -------------------------------------------------------------------------------- /js-prelude.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-prelude.k -------------------------------------------------------------------------------- /js-pseudo-code.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-pseudo-code.k -------------------------------------------------------------------------------- /js-standard-builtin-objects.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-standard-builtin-objects.k -------------------------------------------------------------------------------- /js-str-numeric-literal.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-str-numeric-literal.k -------------------------------------------------------------------------------- /js-trans.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/js-trans.k -------------------------------------------------------------------------------- /jsmassage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/jsmassage.sh -------------------------------------------------------------------------------- /kjs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/kjs.sh -------------------------------------------------------------------------------- /kpp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/kpp.py -------------------------------------------------------------------------------- /list-invalid-tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/list-invalid-tests.txt -------------------------------------------------------------------------------- /pp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/pp.sh -------------------------------------------------------------------------------- /prelude.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/prelude.js -------------------------------------------------------------------------------- /run-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/run-all.sh -------------------------------------------------------------------------------- /security-attack/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/security-attack/Makefile -------------------------------------------------------------------------------- /security-attack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/security-attack/README.md -------------------------------------------------------------------------------- /security-attack/js.k.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/security-attack/js.k.patch -------------------------------------------------------------------------------- /security-attack/security-attack.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/security-attack/security-attack.out -------------------------------------------------------------------------------- /security-attack/send.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/security-attack/send.js -------------------------------------------------------------------------------- /stdlib/00.debug.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/00.debug.js -------------------------------------------------------------------------------- /stdlib/01.global.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/01.global.js -------------------------------------------------------------------------------- /stdlib/02.object.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/02.object.js -------------------------------------------------------------------------------- /stdlib/03.function.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/03.function.js -------------------------------------------------------------------------------- /stdlib/04.array.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/04.array.js -------------------------------------------------------------------------------- /stdlib/05.string.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/05.string.js -------------------------------------------------------------------------------- /stdlib/06.boolean.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/06.boolean.js -------------------------------------------------------------------------------- /stdlib/07.number.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/07.number.js -------------------------------------------------------------------------------- /stdlib/08.math.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/08.math.js -------------------------------------------------------------------------------- /stdlib/09.date.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/09.date.js -------------------------------------------------------------------------------- /stdlib/10.regexp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/10.regexp.js -------------------------------------------------------------------------------- /stdlib/11.error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/stdlib/11.error.js -------------------------------------------------------------------------------- /test262-coverage/01 - 8.7.1 GetValue (V) - [[Get]], Step 6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/01 - 8.7.1 GetValue (V) - [[Get]], Step 6.js -------------------------------------------------------------------------------- /test262-coverage/02 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/02 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.a.js -------------------------------------------------------------------------------- /test262-coverage/03 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.b.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/03 - 8.7.2 PutValue (V, W) - [[Put]], Step 2.b.js -------------------------------------------------------------------------------- /test262-coverage/04 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/04 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.a.js -------------------------------------------------------------------------------- /test262-coverage/05 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.b.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/05 - 8.7.2 PutValue (V, W) - [[Put]], Step 4.b.js -------------------------------------------------------------------------------- /test262-coverage/06 - 8.7.2 PutValue (V, W) - [[Put]], Step 6.a-b.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/06 - 8.7.2 PutValue (V, W) - [[Put]], Step 6.a-b.js -------------------------------------------------------------------------------- /test262-coverage/07 - 8.7.2 PutValue (V, W) - [[Put]], Step 7.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/07 - 8.7.2 PutValue (V, W) - [[Put]], Step 7.a.js -------------------------------------------------------------------------------- /test262-coverage/08 - 8.12.4 [[CanPut]] (P) - Step 8.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/08 - 8.12.4 [[CanPut]] (P) - Step 8.a.js -------------------------------------------------------------------------------- /test262-coverage/09 - 10.2.1.1.3 SetMutableBinding (N,V,S) - Step 4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/09 - 10.2.1.1.3 SetMutableBinding (N,V,S) - Step 4.js -------------------------------------------------------------------------------- /test262-coverage/10 - 10.2.1.1.4 GetBindingValue(N,S) - Step 3.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/10 - 10.2.1.1.4 GetBindingValue(N,S) - Step 3.a.js -------------------------------------------------------------------------------- /test262-coverage/11 - 10.2.1.1.5 DeleteBinding (N) - Step 2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/11 - 10.2.1.1.5 DeleteBinding (N) - Step 2.js -------------------------------------------------------------------------------- /test262-coverage/12 - 10.2.1.1.5 DeleteBinding (N) - Step 4-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/12 - 10.2.1.1.5 DeleteBinding (N) - Step 4-5.js -------------------------------------------------------------------------------- /test262-coverage/13 - 10.2.1.2.4 GetBindingValue(N,S) - Step 4.a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/13 - 10.2.1.2.4 GetBindingValue(N,S) - Step 4.a.js -------------------------------------------------------------------------------- /test262-coverage/14 - 10.5 Declaration Binding Instantiation - Step 5.e.iii.1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/14 - 10.5 Declaration Binding Instantiation - Step 5.e.iii.1.js -------------------------------------------------------------------------------- /test262-coverage/15 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 1st.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/15 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 1st.js -------------------------------------------------------------------------------- /test262-coverage/16 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 2nd.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/16 - 10.5 Declaration Binding Instantiation - Step 5.e.iv, 2nd.js -------------------------------------------------------------------------------- /test262-coverage/17 - 10.6 Arguments Object - [[DefineOwnProperty]], Step 4.a, else.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/17 - 10.6 Arguments Object - [[DefineOwnProperty]], Step 4.a, else.js -------------------------------------------------------------------------------- /test262-coverage/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/Makefile -------------------------------------------------------------------------------- /test262-coverage/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/README.md -------------------------------------------------------------------------------- /test262-coverage/coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/coverage.sh -------------------------------------------------------------------------------- /test262-coverage/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/report.py -------------------------------------------------------------------------------- /test262-coverage/stdlib-for-coverage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/stdlib-for-coverage.txt -------------------------------------------------------------------------------- /test262-coverage/test262-coverage.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262-coverage/test262-coverage.out -------------------------------------------------------------------------------- /test262.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/test262.out -------------------------------------------------------------------------------- /verification/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/Makefile -------------------------------------------------------------------------------- /verification/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/README.md -------------------------------------------------------------------------------- /verification/avl/avl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/avl/avl.js -------------------------------------------------------------------------------- /verification/avl/avl_delete_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/avl/avl_delete_spec.k -------------------------------------------------------------------------------- /verification/avl/avl_find_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/avl/avl_find_spec.k -------------------------------------------------------------------------------- /verification/avl/avl_insert_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/avl/avl_insert_spec.k -------------------------------------------------------------------------------- /verification/bst-oop/bst.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst-oop/bst.js -------------------------------------------------------------------------------- /verification/bst-oop/bst_find_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst-oop/bst_find_spec.k -------------------------------------------------------------------------------- /verification/bst-oop/bst_insert_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst-oop/bst_insert_spec.k -------------------------------------------------------------------------------- /verification/bst/delete.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/delete.js -------------------------------------------------------------------------------- /verification/bst/find.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/find.js -------------------------------------------------------------------------------- /verification/bst/float_delete_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/float_delete_spec.k -------------------------------------------------------------------------------- /verification/bst/float_find_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/float_find_spec.k -------------------------------------------------------------------------------- /verification/bst/float_insert_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/float_insert_spec.k -------------------------------------------------------------------------------- /verification/bst/insert.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/insert.js -------------------------------------------------------------------------------- /verification/bst/string_delete_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/string_delete_spec.k -------------------------------------------------------------------------------- /verification/bst/string_find_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/string_find_spec.k -------------------------------------------------------------------------------- /verification/bst/string_insert_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/bst/string_insert_spec.k -------------------------------------------------------------------------------- /verification/list/append.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/list/append.js -------------------------------------------------------------------------------- /verification/list/append_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/list/append_spec.k -------------------------------------------------------------------------------- /verification/list/reverse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/list/reverse.js -------------------------------------------------------------------------------- /verification/list/reverse_spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/list/reverse_spec.k -------------------------------------------------------------------------------- /verification/patterns/list/js-verifier.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/list/js-verifier.k -------------------------------------------------------------------------------- /verification/patterns/list/list_pattern.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/list/list_pattern.k -------------------------------------------------------------------------------- /verification/patterns/tree_float/float_set.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_float/float_set.k -------------------------------------------------------------------------------- /verification/patterns/tree_float/float_tree_pattern.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_float/float_tree_pattern.k -------------------------------------------------------------------------------- /verification/patterns/tree_float/js-verifier.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_float/js-verifier.k -------------------------------------------------------------------------------- /verification/patterns/tree_string/js-verifier.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_string/js-verifier.k -------------------------------------------------------------------------------- /verification/patterns/tree_string/string_set.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_string/string_set.k -------------------------------------------------------------------------------- /verification/patterns/tree_string/string_tree_pattern.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/patterns/tree_string/string_tree_pattern.k -------------------------------------------------------------------------------- /verification/verification.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/javascript-semantics/HEAD/verification/verification.out --------------------------------------------------------------------------------