├── .gitignore ├── INSTALL ├── LICENSE ├── README ├── bin ├── README ├── js ├── js-1.8.5-CYGWIN_NT-6.1-WOW64-i686 ├── js-1.8.5-Darwin-i386 ├── js-1.8.5-Linux-i686 ├── js-1.8.5-Linux-x86_64 └── nspr4.dll ├── doc └── sym │ ├── README │ ├── equivalence.md │ ├── function-summaries.md │ ├── garbage-collection.md │ ├── objects.md │ ├── symbolic-functions.md │ ├── traces.md │ └── types.md ├── envs ├── cps.env ├── cps2.env ├── es5-new-arith.env ├── es5-optimization.env ├── es5.env ├── es5cps.env ├── json.env └── regexp.env ├── lib ├── js-regexp │ └── regexp.js ├── json │ ├── json2.js │ └── json_parse.js ├── oUnit.cma ├── oUnit.cmxa ├── oUnit.mli ├── oUnitDiff.mli └── ocamlgraph │ ├── builder.mli │ ├── classic.mli │ ├── cliquetree.mli │ ├── coloring.mli │ ├── components.mli │ ├── delaunay.mli │ ├── dot.mli │ ├── dot_ast.mli │ ├── dot_parser.mli │ ├── fixpoint.mli │ ├── flow.mli │ ├── gmap.mli │ ├── gml.mli │ ├── graphviz.mli │ ├── imperative.mli │ ├── kruskal.mli │ ├── mcs_m.mli │ ├── md.mli │ ├── minsep.mli │ ├── oper.mli │ ├── pack.mli │ ├── path.mli │ ├── persistent.mli │ ├── rand.mli │ ├── sig.mli │ ├── sig_pack.mli │ ├── strat.mli │ ├── topological.mli │ ├── traverse.mli │ └── util.mli ├── redex ├── s5.rkt └── test-s5.rkt ├── src ├── .merlin ├── Makefile ├── analyses │ ├── cfg │ │ ├── cfg.ml │ │ └── cfg_abs.ml │ ├── cps │ │ ├── ljs_cps.ml │ │ ├── ljs_cps_absdelta.ml │ │ ├── ljs_cps_delta.ml │ │ ├── ljs_cps_pretty.ml │ │ ├── ljs_cps_util.ml │ │ └── ljs_cps_values.ml │ ├── ses │ │ ├── heapwalk.ml │ │ └── reachability.ml │ └── sym │ │ ├── ljs_sym_delta.ml │ │ ├── ljs_sym_env.ml │ │ ├── ljs_sym_eval.ml │ │ ├── ljs_sym_gc.ml │ │ ├── ljs_sym_pretty.ml │ │ ├── ljs_sym_summary.ml │ │ ├── ljs_sym_trace.ml │ │ ├── ljs_sym_values.ml │ │ ├── ljs_sym_z3.ml │ │ └── sym_compare.ml ├── exprjs │ ├── env_free_vars.ml │ ├── exprjs_pretty.ml │ ├── exprjs_syntax.ml │ ├── exprjs_syntax.mli │ └── exprjs_to_ljs.ml ├── js │ ├── c3.ml │ ├── c3desugar.bat │ ├── desugar.sh │ ├── js_pretty.ml │ ├── js_syntax.ml │ ├── js_to_exprjs.ml │ └── spiderMonkey.ml ├── ljs │ ├── ljs.ml │ ├── ljs_cesk.ml │ ├── ljs_clos.ml │ ├── ljs_delta.ml │ ├── ljs_desugar.ml │ ├── ljs_env.ml │ ├── ljs_eval.ml │ ├── ljs_gc.ml │ ├── ljs_kont.ml │ ├── ljs_lexer.mll │ ├── ljs_parser.mly │ ├── ljs_pretty.ml │ ├── ljs_pretty_html.ml │ ├── ljs_pretty_value.ml │ ├── ljs_pretty_value.mli │ ├── ljs_syntax.ml │ ├── ljs_values.ml │ ├── regexp_lexer.mll │ ├── regexp_parser.mly │ └── regexp_syntax.ml ├── ocamlgraph-1.8.1 │ ├── CHANGES │ ├── COPYING │ ├── CREDITS │ ├── FAQ │ ├── INSTALL │ ├── LICENSE │ ├── META.in │ ├── Makefile.in │ ├── README │ ├── configure.in │ ├── dgraph │ │ ├── dGraphContainer.ml │ │ ├── dGraphContainer.mli │ │ ├── dGraphMake.ml │ │ ├── dGraphModel.ml │ │ ├── dGraphModel.mli │ │ ├── dGraphRandModel.ml │ │ ├── dGraphRandModel.mli │ │ ├── dGraphSubTree.ml │ │ ├── dGraphSubTree.mli │ │ ├── dGraphTreeLayout.ml │ │ ├── dGraphTreeLayout.mli │ │ ├── dGraphTreeModel.ml │ │ ├── dGraphTreeModel.mli │ │ ├── dGraphView.ml │ │ ├── dGraphView.mli │ │ ├── dGraphViewItem.ml │ │ ├── dGraphViewItem.mli │ │ ├── dGraphViewer.ml │ │ ├── xDot.ml │ │ ├── xDot.mli │ │ ├── xDotDraw.ml │ │ └── xDotDraw.mli │ ├── editor │ │ ├── Makefile │ │ ├── ed_display.ml │ │ ├── ed_draw.ml │ │ ├── ed_graph.ml │ │ ├── ed_hyper.ml │ │ ├── ed_main.ml │ │ └── tests │ │ │ ├── de_bruijn4.gml │ │ │ ├── dep_ed.dot │ │ │ ├── dep_why.dot │ │ │ ├── divisors12.gml │ │ │ ├── fsm.dot │ │ │ ├── full10.gml │ │ │ ├── full20.gml │ │ │ ├── full30.gml │ │ │ ├── full50.gml │ │ │ ├── parcours.dot │ │ │ ├── rand_100_10.gml │ │ │ ├── rand_100_300.gml │ │ │ ├── rand_10_10.gml │ │ │ ├── rand_10_40.gml │ │ │ ├── rand_50_300.gml │ │ │ ├── ring_100.gml │ │ │ ├── softmaint.dot │ │ │ ├── test.gml │ │ │ ├── test2,1_2.gml │ │ │ ├── test2,1_3.gml │ │ │ ├── test2,1_3tot.gml │ │ │ ├── test2_2.gml │ │ │ ├── transparency.dot │ │ │ ├── twopi2.dot │ │ │ ├── unix.dot │ │ │ └── world.dot │ ├── examples │ │ ├── color.ml │ │ ├── demo.ml │ │ ├── demo_planar.ml │ │ └── sudoku.ml │ ├── lib │ │ ├── bitv.ml │ │ ├── bitv.mli │ │ ├── heap.ml │ │ ├── heap.mli │ │ ├── unionfind.ml │ │ └── unionfind.mli │ ├── src │ │ ├── blocks.ml │ │ ├── builder.ml │ │ ├── builder.mli │ │ ├── classic.ml │ │ ├── classic.mli │ │ ├── cliquetree.ml │ │ ├── cliquetree.mli │ │ ├── coloring.ml │ │ ├── coloring.mli │ │ ├── components.ml │ │ ├── components.mli │ │ ├── delaunay.ml │ │ ├── delaunay.mli │ │ ├── dot.ml │ │ ├── dot.mli │ │ ├── dot_ast.mli │ │ ├── dot_lexer.mll │ │ ├── dot_parser.mly │ │ ├── fixpoint.ml │ │ ├── fixpoint.mli │ │ ├── flow.ml │ │ ├── flow.mli │ │ ├── gmap.ml │ │ ├── gmap.mli │ │ ├── gml.mli │ │ ├── gml.mll │ │ ├── graphviz.ml │ │ ├── graphviz.mli │ │ ├── imperative.ml │ │ ├── imperative.mli │ │ ├── kruskal.ml │ │ ├── kruskal.mli │ │ ├── mcs_m.ml │ │ ├── mcs_m.mli │ │ ├── md.ml │ │ ├── md.mli │ │ ├── minsep.ml │ │ ├── minsep.mli │ │ ├── oper.ml │ │ ├── oper.mli │ │ ├── pack.ml │ │ ├── pack.mli │ │ ├── path.ml │ │ ├── path.mli │ │ ├── persistent.ml │ │ ├── persistent.mli │ │ ├── rand.ml │ │ ├── rand.mli │ │ ├── sig.mli │ │ ├── sig_pack.mli │ │ ├── strat.ml │ │ ├── strat.mli │ │ ├── topological.ml │ │ ├── topological.mli │ │ ├── traverse.ml │ │ ├── traverse.mli │ │ ├── util.ml │ │ └── util.mli │ ├── tests │ │ ├── bench.ml │ │ ├── check.ml │ │ ├── dot.ml │ │ ├── strat.ml │ │ └── test.ml │ └── view_graph │ │ ├── Makefile │ │ ├── README │ │ ├── viewGraph_core.ml │ │ ├── viewGraph_core.mli │ │ ├── viewGraph_select.ml │ │ ├── viewGraph_select.mli │ │ ├── viewGraph_test.ml │ │ ├── viewGraph_utils.ml │ │ └── viewGraph_utils.mli ├── optimization │ ├── Makefile │ ├── README │ ├── debug.ml │ ├── exp_util.ml │ ├── get-test262-src.sh │ ├── ljs_alpha_rename.ml │ ├── ljs_analyze_env.ml │ ├── ljs_clean_assertion.ml │ ├── ljs_clean_assertion_harsh.ml │ ├── ljs_clean_deadcode.ml │ ├── ljs_clean_env.ml │ ├── ljs_convert_assignment.ml │ ├── ljs_fix_arity.ml │ ├── ljs_fold_const.ml │ ├── ljs_inline_function.ml │ ├── ljs_opt.ml │ ├── ljs_propagate_const.ml │ ├── ljs_propagate_nonconst.ml │ ├── ljs_restore_function.ml │ ├── ljs_restore_id.ml │ └── test │ │ ├── clean_assertion.ml │ │ ├── clean_deadcode_test.ml │ │ ├── constant_test.ml │ │ ├── convert_assignment_test.ml │ │ ├── exp_util_test.ml │ │ ├── fix_arity_test.ml │ │ ├── fold_const_test.ml │ │ ├── inline_function_test.ml │ │ ├── ljs_alpha_rename_test.ml │ │ ├── propagate_const_test.ml │ │ ├── propagate_nonconst_test.ml │ │ ├── restore_function_test.ml │ │ ├── restore_id_test.ml │ │ ├── side_effect_test.ml │ │ └── util.ml ├── reflect.js ├── s5.ml ├── test │ ├── gc_tests.ml │ └── regexp_tests.ml └── util │ ├── formatExt.ml │ ├── formatExt.mli │ ├── html.ml │ ├── html.mli │ ├── json_lexer.mll │ ├── json_parser.mly │ ├── json_type.ml │ ├── json_type.mli │ ├── mapExt.ml │ ├── prelude.ml │ ├── prelude.mli │ ├── setExt.ml │ ├── store.ml │ └── store.mli └── tests ├── README ├── all_tests.bat ├── all_tests.sh ├── all_tests_sym.sh ├── cps ├── object1.es5 ├── object2.es5 └── rec1.es5 ├── fvs.sh ├── get-test262.sh ├── json_print.js ├── jsparser.sh ├── optimization ├── README ├── add-esid.sh ├── cloud-report.py ├── cloud-test262.sh ├── cloud_report.ml ├── correctness.py ├── jslists.txt ├── parse.py ├── shrinkage.py ├── test-js.sh ├── test-section.sh └── test-test262.sh ├── optimization_save_snapshots.sh ├── optimization_tests.sh ├── paper-results ├── ch07-nonstrict.txt ├── ch07-strict.txt ├── ch08-nonstrict.txt ├── ch08-strict.txt ├── ch09-nonstrict.txt ├── ch09-strict.txt ├── ch10-nonstrict.txt ├── ch10-strict.txt ├── ch11-nonstrict.txt ├── ch11-strict.txt ├── ch12-nonstrict.txt ├── ch12-strict.txt ├── ch13-nonstrict.txt ├── ch13-strict.txt ├── ch14-nonstrict.txt ├── ch14-strict.txt ├── ch15-nonstrict.txt └── ch15-strict.txt ├── parse ├── for-in-manyids.js ├── for-loop-no-init.js ├── for-loop1.js ├── for-loop2.js ├── free-vars1.js ├── free-vars2.js ├── free-vars3.js ├── getfieldk1.es5 ├── hint.s5 └── setfieldk1.es5 ├── s5 ├── s5-desugar ├── s5-optimization-test262 ├── s5-print ├── s5-test262 ├── s5_eval └── setfield.s5 ├── s5i ├── save_snapshots.sh ├── ses ├── README ├── es-lab-tests │ ├── initSESPlus-old.js │ └── initSESPlus.js └── ses-pages │ ├── s5_print_heaps │ └── style.css ├── silent.sh ├── silent_cps.sh ├── silent_sym.sh ├── single_test.sh ├── sym ├── accum.es5 ├── es5-test.env ├── fact-accum.js ├── fact-iter.js ├── fact-rec.js ├── harness │ ├── build-harness │ ├── concrete │ │ ├── arith.es5 │ │ ├── equal.es5 │ │ ├── fun.es5 │ │ ├── if.es5 │ │ ├── let.es5 │ │ ├── let2.es5 │ │ ├── obj.es5 │ │ ├── obj2.es5 │ │ ├── rec.es5 │ │ └── seq.es5 │ ├── eval │ ├── harness.ml │ ├── sym-eval │ └── sym │ │ ├── arith1.es5 │ │ ├── arith2.es5 │ │ ├── arith3.es5 │ │ ├── cond1.es5 │ │ ├── cond2.es5 │ │ ├── exp1.es5 │ │ ├── field1.es5 │ │ ├── field2.es5 │ │ ├── field3.es5 │ │ ├── field4.es5 │ │ ├── field5.es5 │ │ ├── field6.es5 │ │ ├── fresh1.es5 │ │ ├── fun1.es5 │ │ ├── fun2.es5 │ │ ├── obj1.es5 │ │ ├── obj2.es5 │ │ ├── obj3.es5 │ │ ├── obj4.es5 │ │ ├── obj5.es5 │ │ ├── obj6.es5 │ │ ├── obj7.es5 │ │ ├── obj8.es5 │ │ ├── stx=1.es5 │ │ ├── stx=2.es5 │ │ ├── var1.es5 │ │ ├── var2.es5 │ │ ├── var3.es5 │ │ └── writable1.es5 ├── test-fields.es5 ├── test-rec.es5 ├── test-state.es5 ├── test-state2.es5 ├── test-state3.es5 ├── test.es5 ├── test1.es5 ├── test2.es5 └── test4.es5 ├── test-optimization-section.sh ├── test-section.sh ├── test262.sh ├── test262.tar.gz ├── unit-tests ├── Function.prototype.js ├── addtest.js ├── andtest.js ├── anonymous-this.js ├── apply-args.js ├── apply-with-string.js ├── apply1.js ├── apply2.js ├── apply3.js ├── apply4.js ├── apply5.js ├── applynotcallable.js ├── arguments1.js ├── arrayconcat.js ├── arrayindexof.js ├── arraylenassign.js ├── arraylit.js ├── arraytls.js ├── arraytostring.js ├── arrforeach.js ├── assign-nan.js ├── attrs-after-eval.js ├── bad-scope.js ├── bindtest.js ├── bvalueof.js ├── call.js ├── caller-type-error.js ├── caller.js ├── catch-pop-error.js ├── constructor1.js ├── continuelabel.js ├── continuetest.js ├── createtest.js ├── defineProperty1.js ├── defineProperty2.js ├── defineProperty3.js ├── defineProperty4.js ├── defineProperty5.js ├── defineProperty6.js ├── definepropstest.js ├── delete-copy-expr.js ├── delete-global-var.js ├── delete-regexp-full.js ├── delete.js ├── deleteparam.js ├── deletevar.js ├── direct-eval-ref-error.js ├── double-param-statement.js ├── dowhiletest.js ├── eqeq.js ├── eval-delete-global.js ├── eval-direct-strict-context.js ├── eval-direct-var.js ├── eval-does-not-change-strict.js ├── eval-error.js ├── eval-func-decl.js ├── eval-global-bind.js ├── eval-global-rebind.js ├── eval-global-ref.js ├── eval-in-func.js ├── eval-in-func2.js ├── eval-in-func3.js ├── eval-in-func4.js ├── eval-in-func5.js ├── eval-indirect-strict-context.js ├── eval-nonstrict-direct.js ├── eval-nonstrict-indirect.js ├── eval-sess-test.js ├── eval-strict-direct.js ├── eval-strict-indirect.js ├── eval-this.js ├── eval-throw-window.js ├── eval-unbound-id.js ├── eval-var-decl.js ├── eval-var-escaped.js ├── eval-var.js ├── eval.js ├── eval2.js ├── everytest.js ├── filtertest.js ├── forbreak.js ├── forinnull.js ├── forintest.js ├── forinthis.js ├── forinvar.js ├── fortest.js ├── freezetest.js ├── fun-double-arg-short.js ├── fun-double-arg.js ├── func-constr-capture.js ├── function-ident.js ├── function-nest.js ├── function-object.js ├── function-this-global.js ├── function-this.js ├── function-var1.js ├── function1.js ├── function2.js ├── functionconstructor.js ├── getprotooftest.js ├── getter.js ├── global-add-twice.js ├── global-anonymous-leak.js ├── global-anonymous-leak2.js ├── global-func-decl.js ├── gopdtest.js ├── gopntest.js ├── hoist-through-if.js ├── iftest.js ├── indirect-nonstrict-regress.js ├── indirect-nonstrict-regress2.js ├── instanceof.js ├── instanceof2.js ├── isPrototypeOf.js ├── isextensibletest.js ├── isfrozentest.js ├── issealedtest.js ├── issue18-scope-regression.js ├── join.js ├── keystest.js ├── lazy-and.js ├── maptest.js ├── missingparam.js ├── mutually-recursive.js ├── named-nesting.js ├── named-nesting2.js ├── namedfuncexpr.js ├── nested-decl-this-full.js ├── nested-decl-this.js ├── nesteddef.js ├── new.js ├── new2.js ├── newarray.js ├── newboolean.js ├── newnotcallable.js ├── newobject.js ├── newstring.js ├── number-tostring-length.js ├── numbervalueof.js ├── numtostring.js ├── objconpro.js ├── objects1.js ├── objects2.js ├── objects3.js ├── objects4.js ├── ortest.js ├── paper_lifttest.js ├── paper_lifttest2.js ├── pluseq.js ├── plusplus.js ├── plusplus2.js ├── poison.js ├── pop.js ├── postfixdecrtest.js ├── postfixincrtest.js ├── prefixdecrtest.js ├── prefixincrtest.js ├── preventexttest.js ├── rebind-eval.js ├── recursive.js ├── redefine-nan.js ├── reducerighttest.js ├── reducetest.js ├── regexp-exec.js ├── regexp-exec2.js ├── regexp-exec3.js ├── regexp-length.js ├── regexp1.js ├── reordertest.js ├── sealtest.js ├── ses-apply1.js ├── ses-bind-cant-curry-new.js ├── ses-global-leak1.js ├── ses-global-leak2.js ├── ses-mutable-date-proto.js ├── ses-navigator.js ├── ses-regex1.js ├── setter-undefined-type-error.js ├── settertest.js ├── sometest.js ├── string-replace-this.js ├── string-replace1.js ├── string-replace2.js ├── string-replace3.js ├── stringindexof.js ├── stringslice.js ├── svalueof.js ├── syntax_error.js ├── syntax_regexp_error.js ├── this-caller.js ├── this-in-eval.js ├── toofewargs.js ├── toofewargs2.js ├── toplevel-var.js ├── toplevel-var2.js ├── toplevel-var3.js ├── topleveltest.js ├── touint32.js ├── try1.js ├── try2.js ├── try3.js ├── typeof-free.js ├── undeclaredassign.js ├── undefined-getter.js ├── varinloop.js ├── whilebreak.js ├── whiletest.js ├── with-non-enum.js ├── with1.js ├── with2.js ├── with3.js ├── with4.js ├── with5.js └── with6.js ├── unit_test_cps.sh ├── unit_test_sym.sh ├── update-results.sh └── wat ├── wat-array1.js ├── wat-array2.js ├── wat-array3.js ├── wat-array4.js ├── wat1.js ├── wat2.js ├── wat3.js ├── wat4.js ├── wat5.js ├── wat6.js └── watman.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/.gitignore -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/LICENSE -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/README -------------------------------------------------------------------------------- /bin/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/README -------------------------------------------------------------------------------- /bin/js: -------------------------------------------------------------------------------- 1 | js-1.8.5-Linux-i686 -------------------------------------------------------------------------------- /bin/js-1.8.5-CYGWIN_NT-6.1-WOW64-i686: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/js-1.8.5-CYGWIN_NT-6.1-WOW64-i686 -------------------------------------------------------------------------------- /bin/js-1.8.5-Darwin-i386: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/js-1.8.5-Darwin-i386 -------------------------------------------------------------------------------- /bin/js-1.8.5-Linux-i686: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/js-1.8.5-Linux-i686 -------------------------------------------------------------------------------- /bin/js-1.8.5-Linux-x86_64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/js-1.8.5-Linux-x86_64 -------------------------------------------------------------------------------- /bin/nspr4.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/bin/nspr4.dll -------------------------------------------------------------------------------- /doc/sym/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/README -------------------------------------------------------------------------------- /doc/sym/equivalence.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/equivalence.md -------------------------------------------------------------------------------- /doc/sym/function-summaries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/function-summaries.md -------------------------------------------------------------------------------- /doc/sym/garbage-collection.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/garbage-collection.md -------------------------------------------------------------------------------- /doc/sym/objects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/objects.md -------------------------------------------------------------------------------- /doc/sym/symbolic-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/symbolic-functions.md -------------------------------------------------------------------------------- /doc/sym/traces.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/traces.md -------------------------------------------------------------------------------- /doc/sym/types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/doc/sym/types.md -------------------------------------------------------------------------------- /envs/cps.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/cps.env -------------------------------------------------------------------------------- /envs/cps2.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/cps2.env -------------------------------------------------------------------------------- /envs/es5-new-arith.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/es5-new-arith.env -------------------------------------------------------------------------------- /envs/es5-optimization.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/es5-optimization.env -------------------------------------------------------------------------------- /envs/es5.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/es5.env -------------------------------------------------------------------------------- /envs/es5cps.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/es5cps.env -------------------------------------------------------------------------------- /envs/json.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/json.env -------------------------------------------------------------------------------- /envs/regexp.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/envs/regexp.env -------------------------------------------------------------------------------- /lib/js-regexp/regexp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/js-regexp/regexp.js -------------------------------------------------------------------------------- /lib/json/json2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/json/json2.js -------------------------------------------------------------------------------- /lib/json/json_parse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/json/json_parse.js -------------------------------------------------------------------------------- /lib/oUnit.cma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/oUnit.cma -------------------------------------------------------------------------------- /lib/oUnit.cmxa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/oUnit.cmxa -------------------------------------------------------------------------------- /lib/oUnit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/oUnit.mli -------------------------------------------------------------------------------- /lib/oUnitDiff.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/oUnitDiff.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/builder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/builder.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/classic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/classic.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/cliquetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/cliquetree.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/coloring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/coloring.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/components.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/components.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/delaunay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/delaunay.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/dot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/dot.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/dot_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/dot_ast.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/dot_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/dot_parser.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/fixpoint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/fixpoint.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/flow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/flow.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/gmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/gmap.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/gml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/gml.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/graphviz.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/graphviz.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/imperative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/imperative.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/kruskal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/kruskal.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/mcs_m.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/mcs_m.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/md.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/md.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/minsep.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/minsep.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/oper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/oper.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/pack.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/path.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/persistent.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/persistent.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/rand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/rand.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/sig.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/sig.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/sig_pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/sig_pack.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/strat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/strat.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/topological.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/topological.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/traverse.mli -------------------------------------------------------------------------------- /lib/ocamlgraph/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/lib/ocamlgraph/util.mli -------------------------------------------------------------------------------- /redex/s5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/redex/s5.rkt -------------------------------------------------------------------------------- /redex/test-s5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/redex/test-s5.rkt -------------------------------------------------------------------------------- /src/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/.merlin -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/analyses/cfg/cfg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cfg/cfg.ml -------------------------------------------------------------------------------- /src/analyses/cfg/cfg_abs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cfg/cfg_abs.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps_absdelta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps_absdelta.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps_delta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps_delta.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps_pretty.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps_util.ml -------------------------------------------------------------------------------- /src/analyses/cps/ljs_cps_values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/cps/ljs_cps_values.ml -------------------------------------------------------------------------------- /src/analyses/ses/heapwalk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/ses/heapwalk.ml -------------------------------------------------------------------------------- /src/analyses/ses/reachability.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/ses/reachability.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_delta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_delta.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_env.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_eval.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_gc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_gc.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_pretty.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_summary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_summary.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_trace.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_values.ml -------------------------------------------------------------------------------- /src/analyses/sym/ljs_sym_z3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/ljs_sym_z3.ml -------------------------------------------------------------------------------- /src/analyses/sym/sym_compare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/analyses/sym/sym_compare.ml -------------------------------------------------------------------------------- /src/exprjs/env_free_vars.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/exprjs/env_free_vars.ml -------------------------------------------------------------------------------- /src/exprjs/exprjs_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/exprjs/exprjs_pretty.ml -------------------------------------------------------------------------------- /src/exprjs/exprjs_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/exprjs/exprjs_syntax.ml -------------------------------------------------------------------------------- /src/exprjs/exprjs_syntax.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/exprjs/exprjs_syntax.mli -------------------------------------------------------------------------------- /src/exprjs/exprjs_to_ljs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/exprjs/exprjs_to_ljs.ml -------------------------------------------------------------------------------- /src/js/c3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/c3.ml -------------------------------------------------------------------------------- /src/js/c3desugar.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/c3desugar.bat -------------------------------------------------------------------------------- /src/js/desugar.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/desugar.sh -------------------------------------------------------------------------------- /src/js/js_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/js_pretty.ml -------------------------------------------------------------------------------- /src/js/js_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/js_syntax.ml -------------------------------------------------------------------------------- /src/js/js_to_exprjs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/js_to_exprjs.ml -------------------------------------------------------------------------------- /src/js/spiderMonkey.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/js/spiderMonkey.ml -------------------------------------------------------------------------------- /src/ljs/ljs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs.ml -------------------------------------------------------------------------------- /src/ljs/ljs_cesk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_cesk.ml -------------------------------------------------------------------------------- /src/ljs/ljs_clos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_clos.ml -------------------------------------------------------------------------------- /src/ljs/ljs_delta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_delta.ml -------------------------------------------------------------------------------- /src/ljs/ljs_desugar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_desugar.ml -------------------------------------------------------------------------------- /src/ljs/ljs_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_env.ml -------------------------------------------------------------------------------- /src/ljs/ljs_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_eval.ml -------------------------------------------------------------------------------- /src/ljs/ljs_gc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_gc.ml -------------------------------------------------------------------------------- /src/ljs/ljs_kont.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_kont.ml -------------------------------------------------------------------------------- /src/ljs/ljs_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_lexer.mll -------------------------------------------------------------------------------- /src/ljs/ljs_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_parser.mly -------------------------------------------------------------------------------- /src/ljs/ljs_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_pretty.ml -------------------------------------------------------------------------------- /src/ljs/ljs_pretty_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_pretty_html.ml -------------------------------------------------------------------------------- /src/ljs/ljs_pretty_value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_pretty_value.ml -------------------------------------------------------------------------------- /src/ljs/ljs_pretty_value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_pretty_value.mli -------------------------------------------------------------------------------- /src/ljs/ljs_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_syntax.ml -------------------------------------------------------------------------------- /src/ljs/ljs_values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/ljs_values.ml -------------------------------------------------------------------------------- /src/ljs/regexp_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/regexp_lexer.mll -------------------------------------------------------------------------------- /src/ljs/regexp_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/regexp_parser.mly -------------------------------------------------------------------------------- /src/ljs/regexp_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ljs/regexp_syntax.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/CHANGES -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/COPYING -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/CREDITS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/CREDITS -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/FAQ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/FAQ -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/INSTALL -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/LICENSE -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/META.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/META.in -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/Makefile.in -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/README -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/configure.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/configure.in -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphContainer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphContainer.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphContainer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphContainer.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphMake.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphMake.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphModel.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphModel.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphRandModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphRandModel.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphRandModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphRandModel.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphSubTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphSubTree.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphSubTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphSubTree.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphTreeLayout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphTreeLayout.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphTreeLayout.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphTreeLayout.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphTreeModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphTreeModel.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphTreeModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphTreeModel.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphView.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphView.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphView.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphView.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphViewItem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphViewItem.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphViewItem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphViewItem.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/dGraphViewer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/dGraphViewer.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/xDot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/xDot.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/xDot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/xDot.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/xDotDraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/xDotDraw.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/dgraph/xDotDraw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/dgraph/xDotDraw.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/Makefile -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/ed_display.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/ed_display.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/ed_draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/ed_draw.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/ed_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/ed_graph.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/ed_hyper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/ed_hyper.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/ed_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/ed_main.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/de_bruijn4.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/de_bruijn4.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/dep_ed.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/dep_ed.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/dep_why.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/dep_why.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/divisors12.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/divisors12.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/fsm.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/full10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/full10.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/full20.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/full20.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/full30.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/full30.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/full50.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/full50.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/parcours.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/parcours.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/rand_100_10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/rand_100_10.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/rand_100_300.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/rand_100_300.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/rand_10_10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/rand_10_10.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/rand_10_40.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/rand_10_40.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/rand_50_300.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/rand_50_300.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/ring_100.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/ring_100.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/softmaint.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/softmaint.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/test.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/test.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/test2,1_2.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/test2,1_2.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/test2,1_3.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/test2,1_3.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/test2,1_3tot.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/test2,1_3tot.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/test2_2.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/test2_2.gml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/transparency.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/transparency.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/twopi2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/twopi2.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/unix.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/unix.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/editor/tests/world.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/editor/tests/world.dot -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/examples/color.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/examples/color.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/examples/demo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/examples/demo.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/examples/demo_planar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/examples/demo_planar.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/examples/sudoku.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/examples/sudoku.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/bitv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/bitv.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/bitv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/bitv.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/heap.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/heap.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/unionfind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/unionfind.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/lib/unionfind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/lib/unionfind.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/blocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/blocks.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/builder.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/builder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/builder.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/classic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/classic.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/classic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/classic.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/cliquetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/cliquetree.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/cliquetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/cliquetree.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/coloring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/coloring.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/coloring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/coloring.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/components.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/components.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/components.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/components.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/delaunay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/delaunay.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/delaunay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/delaunay.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/dot.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/dot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/dot.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/dot_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/dot_ast.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/dot_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/dot_lexer.mll -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/dot_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/dot_parser.mly -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/fixpoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/fixpoint.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/fixpoint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/fixpoint.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/flow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/flow.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/flow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/flow.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/gmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/gmap.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/gmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/gmap.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/gml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/gml.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/gml.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/gml.mll -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/graphviz.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/graphviz.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/graphviz.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/graphviz.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/imperative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/imperative.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/imperative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/imperative.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/kruskal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/kruskal.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/kruskal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/kruskal.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/mcs_m.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/mcs_m.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/mcs_m.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/mcs_m.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/md.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/md.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/md.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/md.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/minsep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/minsep.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/minsep.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/minsep.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/oper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/oper.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/oper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/oper.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/pack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/pack.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/pack.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/path.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/path.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/persistent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/persistent.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/persistent.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/persistent.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/rand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/rand.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/rand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/rand.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/sig.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/sig.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/sig_pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/sig_pack.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/strat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/strat.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/strat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/strat.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/topological.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/topological.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/topological.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/topological.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/traverse.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/traverse.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/util.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/src/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/src/util.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/tests/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/tests/bench.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/tests/check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/tests/check.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/tests/dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/tests/dot.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/tests/strat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/tests/strat.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/tests/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/tests/test.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/Makefile -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/README -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_core.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_core.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_select.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_select.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_select.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_select.mli -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_test.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_utils.ml -------------------------------------------------------------------------------- /src/ocamlgraph-1.8.1/view_graph/viewGraph_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/ocamlgraph-1.8.1/view_graph/viewGraph_utils.mli -------------------------------------------------------------------------------- /src/optimization/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/Makefile -------------------------------------------------------------------------------- /src/optimization/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/README -------------------------------------------------------------------------------- /src/optimization/debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/debug.ml -------------------------------------------------------------------------------- /src/optimization/exp_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/exp_util.ml -------------------------------------------------------------------------------- /src/optimization/get-test262-src.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/get-test262-src.sh -------------------------------------------------------------------------------- /src/optimization/ljs_alpha_rename.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_alpha_rename.ml -------------------------------------------------------------------------------- /src/optimization/ljs_analyze_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_analyze_env.ml -------------------------------------------------------------------------------- /src/optimization/ljs_clean_assertion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_clean_assertion.ml -------------------------------------------------------------------------------- /src/optimization/ljs_clean_assertion_harsh.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_clean_assertion_harsh.ml -------------------------------------------------------------------------------- /src/optimization/ljs_clean_deadcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_clean_deadcode.ml -------------------------------------------------------------------------------- /src/optimization/ljs_clean_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_clean_env.ml -------------------------------------------------------------------------------- /src/optimization/ljs_convert_assignment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_convert_assignment.ml -------------------------------------------------------------------------------- /src/optimization/ljs_fix_arity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_fix_arity.ml -------------------------------------------------------------------------------- /src/optimization/ljs_fold_const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_fold_const.ml -------------------------------------------------------------------------------- /src/optimization/ljs_inline_function.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_inline_function.ml -------------------------------------------------------------------------------- /src/optimization/ljs_opt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_opt.ml -------------------------------------------------------------------------------- /src/optimization/ljs_propagate_const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_propagate_const.ml -------------------------------------------------------------------------------- /src/optimization/ljs_propagate_nonconst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_propagate_nonconst.ml -------------------------------------------------------------------------------- /src/optimization/ljs_restore_function.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_restore_function.ml -------------------------------------------------------------------------------- /src/optimization/ljs_restore_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/ljs_restore_id.ml -------------------------------------------------------------------------------- /src/optimization/test/clean_assertion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/clean_assertion.ml -------------------------------------------------------------------------------- /src/optimization/test/clean_deadcode_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/clean_deadcode_test.ml -------------------------------------------------------------------------------- /src/optimization/test/constant_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/constant_test.ml -------------------------------------------------------------------------------- /src/optimization/test/convert_assignment_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/convert_assignment_test.ml -------------------------------------------------------------------------------- /src/optimization/test/exp_util_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/exp_util_test.ml -------------------------------------------------------------------------------- /src/optimization/test/fix_arity_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/fix_arity_test.ml -------------------------------------------------------------------------------- /src/optimization/test/fold_const_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/fold_const_test.ml -------------------------------------------------------------------------------- /src/optimization/test/inline_function_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/inline_function_test.ml -------------------------------------------------------------------------------- /src/optimization/test/ljs_alpha_rename_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/ljs_alpha_rename_test.ml -------------------------------------------------------------------------------- /src/optimization/test/propagate_const_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/propagate_const_test.ml -------------------------------------------------------------------------------- /src/optimization/test/propagate_nonconst_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/propagate_nonconst_test.ml -------------------------------------------------------------------------------- /src/optimization/test/restore_function_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/restore_function_test.ml -------------------------------------------------------------------------------- /src/optimization/test/restore_id_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/restore_id_test.ml -------------------------------------------------------------------------------- /src/optimization/test/side_effect_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/side_effect_test.ml -------------------------------------------------------------------------------- /src/optimization/test/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/optimization/test/util.ml -------------------------------------------------------------------------------- /src/reflect.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/reflect.js -------------------------------------------------------------------------------- /src/s5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/s5.ml -------------------------------------------------------------------------------- /src/test/gc_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/test/gc_tests.ml -------------------------------------------------------------------------------- /src/test/regexp_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/test/regexp_tests.ml -------------------------------------------------------------------------------- /src/util/formatExt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/formatExt.ml -------------------------------------------------------------------------------- /src/util/formatExt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/formatExt.mli -------------------------------------------------------------------------------- /src/util/html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/html.ml -------------------------------------------------------------------------------- /src/util/html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/html.mli -------------------------------------------------------------------------------- /src/util/json_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/json_lexer.mll -------------------------------------------------------------------------------- /src/util/json_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/json_parser.mly -------------------------------------------------------------------------------- /src/util/json_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/json_type.ml -------------------------------------------------------------------------------- /src/util/json_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/json_type.mli -------------------------------------------------------------------------------- /src/util/mapExt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/mapExt.ml -------------------------------------------------------------------------------- /src/util/prelude.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/prelude.ml -------------------------------------------------------------------------------- /src/util/prelude.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/prelude.mli -------------------------------------------------------------------------------- /src/util/setExt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/setExt.ml -------------------------------------------------------------------------------- /src/util/store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/store.ml -------------------------------------------------------------------------------- /src/util/store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/src/util/store.mli -------------------------------------------------------------------------------- /tests/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/README -------------------------------------------------------------------------------- /tests/all_tests.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/all_tests.bat -------------------------------------------------------------------------------- /tests/all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/all_tests.sh -------------------------------------------------------------------------------- /tests/all_tests_sym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/all_tests_sym.sh -------------------------------------------------------------------------------- /tests/cps/object1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/cps/object1.es5 -------------------------------------------------------------------------------- /tests/cps/object2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/cps/object2.es5 -------------------------------------------------------------------------------- /tests/cps/rec1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/cps/rec1.es5 -------------------------------------------------------------------------------- /tests/fvs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/fvs.sh -------------------------------------------------------------------------------- /tests/get-test262.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/get-test262.sh -------------------------------------------------------------------------------- /tests/json_print.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/json_print.js -------------------------------------------------------------------------------- /tests/jsparser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/jsparser.sh -------------------------------------------------------------------------------- /tests/optimization/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/README -------------------------------------------------------------------------------- /tests/optimization/add-esid.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/add-esid.sh -------------------------------------------------------------------------------- /tests/optimization/cloud-report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/cloud-report.py -------------------------------------------------------------------------------- /tests/optimization/cloud-test262.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/cloud-test262.sh -------------------------------------------------------------------------------- /tests/optimization/cloud_report.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/cloud_report.ml -------------------------------------------------------------------------------- /tests/optimization/correctness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/correctness.py -------------------------------------------------------------------------------- /tests/optimization/jslists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/jslists.txt -------------------------------------------------------------------------------- /tests/optimization/parse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/parse.py -------------------------------------------------------------------------------- /tests/optimization/shrinkage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/shrinkage.py -------------------------------------------------------------------------------- /tests/optimization/test-js.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/test-js.sh -------------------------------------------------------------------------------- /tests/optimization/test-section.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/test-section.sh -------------------------------------------------------------------------------- /tests/optimization/test-test262.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization/test-test262.sh -------------------------------------------------------------------------------- /tests/optimization_save_snapshots.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization_save_snapshots.sh -------------------------------------------------------------------------------- /tests/optimization_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/optimization_tests.sh -------------------------------------------------------------------------------- /tests/paper-results/ch07-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch07-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch07-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch07-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch08-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch08-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch08-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch08-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch09-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch09-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch09-strict.txt: -------------------------------------------------------------------------------- 1 | Error: No tests to run 2 | -------------------------------------------------------------------------------- /tests/paper-results/ch10-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch10-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch10-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch10-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch11-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch11-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch11-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch11-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch12-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch12-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch12-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch12-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch13-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch13-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch13-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch13-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch14-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch14-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch14-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch14-strict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch15-nonstrict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch15-nonstrict.txt -------------------------------------------------------------------------------- /tests/paper-results/ch15-strict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/paper-results/ch15-strict.txt -------------------------------------------------------------------------------- /tests/parse/for-in-manyids.js: -------------------------------------------------------------------------------- 1 | for(var i=0, j in {}) { 2 | 3 | } 4 | -------------------------------------------------------------------------------- /tests/parse/for-loop-no-init.js: -------------------------------------------------------------------------------- 1 | for(;;) { 2 | 3 | } 4 | -------------------------------------------------------------------------------- /tests/parse/for-loop1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/parse/for-loop1.js -------------------------------------------------------------------------------- /tests/parse/for-loop2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/parse/for-loop2.js -------------------------------------------------------------------------------- /tests/parse/free-vars1.js: -------------------------------------------------------------------------------- 1 | function foo(x) { 2 | return x + y; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /tests/parse/free-vars2.js: -------------------------------------------------------------------------------- 1 | var z; 2 | z = x + y 3 | -------------------------------------------------------------------------------- /tests/parse/free-vars3.js: -------------------------------------------------------------------------------- 1 | z = x + y 2 | var z; 3 | -------------------------------------------------------------------------------- /tests/parse/getfieldk1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/parse/getfieldk1.es5 -------------------------------------------------------------------------------- /tests/parse/hint.s5: -------------------------------------------------------------------------------- 1 | (/*: Some hint thing */ prim("+", 5, 4)) 2 | 3 | -------------------------------------------------------------------------------- /tests/parse/setfieldk1.es5: -------------------------------------------------------------------------------- 1 | o["x" = 55, {[]}, k1, k2] 2 | -------------------------------------------------------------------------------- /tests/s5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5 -------------------------------------------------------------------------------- /tests/s5-desugar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5-desugar -------------------------------------------------------------------------------- /tests/s5-optimization-test262: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5-optimization-test262 -------------------------------------------------------------------------------- /tests/s5-print: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5-print -------------------------------------------------------------------------------- /tests/s5-test262: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5-test262 -------------------------------------------------------------------------------- /tests/s5_eval/setfield.s5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/s5_eval/setfield.s5 -------------------------------------------------------------------------------- /tests/s5i: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./s5 stdin -eval 4 | -------------------------------------------------------------------------------- /tests/save_snapshots.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/save_snapshots.sh -------------------------------------------------------------------------------- /tests/ses/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/ses/README -------------------------------------------------------------------------------- /tests/ses/es-lab-tests/initSESPlus-old.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/ses/es-lab-tests/initSESPlus-old.js -------------------------------------------------------------------------------- /tests/ses/es-lab-tests/initSESPlus.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/ses/es-lab-tests/initSESPlus.js -------------------------------------------------------------------------------- /tests/ses/ses-pages/s5_print_heaps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/ses/ses-pages/s5_print_heaps -------------------------------------------------------------------------------- /tests/ses/ses-pages/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/ses/ses-pages/style.css -------------------------------------------------------------------------------- /tests/silent.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/silent.sh -------------------------------------------------------------------------------- /tests/silent_cps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/silent_cps.sh -------------------------------------------------------------------------------- /tests/silent_sym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/silent_sym.sh -------------------------------------------------------------------------------- /tests/single_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/single_test.sh -------------------------------------------------------------------------------- /tests/sym/accum.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/accum.es5 -------------------------------------------------------------------------------- /tests/sym/es5-test.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/es5-test.env -------------------------------------------------------------------------------- /tests/sym/fact-accum.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/fact-accum.js -------------------------------------------------------------------------------- /tests/sym/fact-iter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/fact-iter.js -------------------------------------------------------------------------------- /tests/sym/fact-rec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/fact-rec.js -------------------------------------------------------------------------------- /tests/sym/harness/build-harness: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/build-harness -------------------------------------------------------------------------------- /tests/sym/harness/concrete/arith.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/concrete/arith.es5 -------------------------------------------------------------------------------- /tests/sym/harness/concrete/equal.es5: -------------------------------------------------------------------------------- 1 | // false 2 | prim("stx=", 0, 1) 3 | -------------------------------------------------------------------------------- /tests/sym/harness/concrete/fun.es5: -------------------------------------------------------------------------------- 1 | // 3 2 | let (add = func(x,y) { prim('+', x, y) }) 3 | add(1,2) 4 | -------------------------------------------------------------------------------- /tests/sym/harness/concrete/if.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/concrete/if.es5 -------------------------------------------------------------------------------- /tests/sym/harness/concrete/let.es5: -------------------------------------------------------------------------------- 1 | // 1 2 | let (x = 1) 3 | x 4 | -------------------------------------------------------------------------------- /tests/sym/harness/concrete/let2.es5: -------------------------------------------------------------------------------- 1 | // 1 2 | let (x = 1) { x } 3 | -------------------------------------------------------------------------------- /tests/sym/harness/concrete/obj.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/concrete/obj.es5 -------------------------------------------------------------------------------- /tests/sym/harness/concrete/obj2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/concrete/obj2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/concrete/rec.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/concrete/rec.es5 -------------------------------------------------------------------------------- /tests/sym/harness/concrete/seq.es5: -------------------------------------------------------------------------------- 1 | // 2 2 | 1; 2 3 | -------------------------------------------------------------------------------- /tests/sym/harness/eval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/eval -------------------------------------------------------------------------------- /tests/sym/harness/harness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/harness.ml -------------------------------------------------------------------------------- /tests/sym/harness/sym-eval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym-eval -------------------------------------------------------------------------------- /tests/sym/harness/sym/arith1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/arith1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/arith2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/arith2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/arith3.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/arith3.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/cond1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/cond1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/cond2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/cond2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/exp1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/exp1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field3.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field3.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field4.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field4.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field5.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field5.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/field6.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/field6.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/fresh1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/fresh1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/fun1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/fun1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/fun2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/fun2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj3.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj3.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj4.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj4.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj5.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj5.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj6.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj6.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj7.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj7.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/obj8.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/obj8.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/stx=1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/stx=1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/stx=2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/stx=2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/var1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/var1.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/var2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/var2.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/var3.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/var3.es5 -------------------------------------------------------------------------------- /tests/sym/harness/sym/writable1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/harness/sym/writable1.es5 -------------------------------------------------------------------------------- /tests/sym/test-fields.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test-fields.es5 -------------------------------------------------------------------------------- /tests/sym/test-rec.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test-rec.es5 -------------------------------------------------------------------------------- /tests/sym/test-state.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test-state.es5 -------------------------------------------------------------------------------- /tests/sym/test-state2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test-state2.es5 -------------------------------------------------------------------------------- /tests/sym/test-state3.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test-state3.es5 -------------------------------------------------------------------------------- /tests/sym/test.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test.es5 -------------------------------------------------------------------------------- /tests/sym/test1.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test1.es5 -------------------------------------------------------------------------------- /tests/sym/test2.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test2.es5 -------------------------------------------------------------------------------- /tests/sym/test4.es5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/sym/test4.es5 -------------------------------------------------------------------------------- /tests/test-optimization-section.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/test-optimization-section.sh -------------------------------------------------------------------------------- /tests/test-section.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/test-section.sh -------------------------------------------------------------------------------- /tests/test262.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/test262.sh -------------------------------------------------------------------------------- /tests/test262.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/test262.tar.gz -------------------------------------------------------------------------------- /tests/unit-tests/Function.prototype.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/Function.prototype.js -------------------------------------------------------------------------------- /tests/unit-tests/addtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/addtest.js -------------------------------------------------------------------------------- /tests/unit-tests/andtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/andtest.js -------------------------------------------------------------------------------- /tests/unit-tests/anonymous-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/anonymous-this.js -------------------------------------------------------------------------------- /tests/unit-tests/apply-args.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply-args.js -------------------------------------------------------------------------------- /tests/unit-tests/apply-with-string.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply-with-string.js -------------------------------------------------------------------------------- /tests/unit-tests/apply1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply1.js -------------------------------------------------------------------------------- /tests/unit-tests/apply2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply2.js -------------------------------------------------------------------------------- /tests/unit-tests/apply3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply3.js -------------------------------------------------------------------------------- /tests/unit-tests/apply4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply4.js -------------------------------------------------------------------------------- /tests/unit-tests/apply5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/apply5.js -------------------------------------------------------------------------------- /tests/unit-tests/applynotcallable.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/applynotcallable.js -------------------------------------------------------------------------------- /tests/unit-tests/arguments1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arguments1.js -------------------------------------------------------------------------------- /tests/unit-tests/arrayconcat.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arrayconcat.js -------------------------------------------------------------------------------- /tests/unit-tests/arrayindexof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arrayindexof.js -------------------------------------------------------------------------------- /tests/unit-tests/arraylenassign.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arraylenassign.js -------------------------------------------------------------------------------- /tests/unit-tests/arraylit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arraylit.js -------------------------------------------------------------------------------- /tests/unit-tests/arraytls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arraytls.js -------------------------------------------------------------------------------- /tests/unit-tests/arraytostring.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arraytostring.js -------------------------------------------------------------------------------- /tests/unit-tests/arrforeach.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/arrforeach.js -------------------------------------------------------------------------------- /tests/unit-tests/assign-nan.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/assign-nan.js -------------------------------------------------------------------------------- /tests/unit-tests/attrs-after-eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/attrs-after-eval.js -------------------------------------------------------------------------------- /tests/unit-tests/bad-scope.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/bad-scope.js -------------------------------------------------------------------------------- /tests/unit-tests/bindtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/bindtest.js -------------------------------------------------------------------------------- /tests/unit-tests/bvalueof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/bvalueof.js -------------------------------------------------------------------------------- /tests/unit-tests/call.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/call.js -------------------------------------------------------------------------------- /tests/unit-tests/caller-type-error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/caller-type-error.js -------------------------------------------------------------------------------- /tests/unit-tests/caller.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/caller.js -------------------------------------------------------------------------------- /tests/unit-tests/catch-pop-error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/catch-pop-error.js -------------------------------------------------------------------------------- /tests/unit-tests/constructor1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/constructor1.js -------------------------------------------------------------------------------- /tests/unit-tests/continuelabel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/continuelabel.js -------------------------------------------------------------------------------- /tests/unit-tests/continuetest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/continuetest.js -------------------------------------------------------------------------------- /tests/unit-tests/createtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/createtest.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty1.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty2.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty3.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty4.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty5.js -------------------------------------------------------------------------------- /tests/unit-tests/defineProperty6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/defineProperty6.js -------------------------------------------------------------------------------- /tests/unit-tests/definepropstest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/definepropstest.js -------------------------------------------------------------------------------- /tests/unit-tests/delete-copy-expr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/delete-copy-expr.js -------------------------------------------------------------------------------- /tests/unit-tests/delete-global-var.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/delete-global-var.js -------------------------------------------------------------------------------- /tests/unit-tests/delete-regexp-full.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/delete-regexp-full.js -------------------------------------------------------------------------------- /tests/unit-tests/delete.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/delete.js -------------------------------------------------------------------------------- /tests/unit-tests/deleteparam.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/deleteparam.js -------------------------------------------------------------------------------- /tests/unit-tests/deletevar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/deletevar.js -------------------------------------------------------------------------------- /tests/unit-tests/direct-eval-ref-error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/direct-eval-ref-error.js -------------------------------------------------------------------------------- /tests/unit-tests/double-param-statement.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/double-param-statement.js -------------------------------------------------------------------------------- /tests/unit-tests/dowhiletest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/dowhiletest.js -------------------------------------------------------------------------------- /tests/unit-tests/eqeq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eqeq.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-delete-global.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-delete-global.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-direct-strict-context.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-direct-strict-context.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-direct-var.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-direct-var.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-does-not-change-strict.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-does-not-change-strict.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-error.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-func-decl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-func-decl.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-global-bind.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-global-bind.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-global-rebind.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-global-rebind.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-global-ref.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-global-ref.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-in-func.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-in-func.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-in-func2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-in-func2.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-in-func3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-in-func3.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-in-func4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-in-func4.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-in-func5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-in-func5.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-indirect-strict-context.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-indirect-strict-context.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-nonstrict-direct.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-nonstrict-direct.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-nonstrict-indirect.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-nonstrict-indirect.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-sess-test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-sess-test.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-strict-direct.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-strict-direct.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-strict-indirect.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-strict-indirect.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-this.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-throw-window.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-throw-window.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-unbound-id.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-unbound-id.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-var-decl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-var-decl.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-var-escaped.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-var-escaped.js -------------------------------------------------------------------------------- /tests/unit-tests/eval-var.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval-var.js -------------------------------------------------------------------------------- /tests/unit-tests/eval.js: -------------------------------------------------------------------------------- 1 | eval("'use strict';print('passed')"); 2 | -------------------------------------------------------------------------------- /tests/unit-tests/eval2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/eval2.js -------------------------------------------------------------------------------- /tests/unit-tests/everytest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/everytest.js -------------------------------------------------------------------------------- /tests/unit-tests/filtertest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/filtertest.js -------------------------------------------------------------------------------- /tests/unit-tests/forbreak.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/forbreak.js -------------------------------------------------------------------------------- /tests/unit-tests/forinnull.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/forinnull.js -------------------------------------------------------------------------------- /tests/unit-tests/forintest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/forintest.js -------------------------------------------------------------------------------- /tests/unit-tests/forinthis.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/forinthis.js -------------------------------------------------------------------------------- /tests/unit-tests/forinvar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/forinvar.js -------------------------------------------------------------------------------- /tests/unit-tests/fortest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/fortest.js -------------------------------------------------------------------------------- /tests/unit-tests/freezetest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/freezetest.js -------------------------------------------------------------------------------- /tests/unit-tests/fun-double-arg-short.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/fun-double-arg-short.js -------------------------------------------------------------------------------- /tests/unit-tests/fun-double-arg.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/fun-double-arg.js -------------------------------------------------------------------------------- /tests/unit-tests/func-constr-capture.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/func-constr-capture.js -------------------------------------------------------------------------------- /tests/unit-tests/function-ident.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-ident.js -------------------------------------------------------------------------------- /tests/unit-tests/function-nest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-nest.js -------------------------------------------------------------------------------- /tests/unit-tests/function-object.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-object.js -------------------------------------------------------------------------------- /tests/unit-tests/function-this-global.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-this-global.js -------------------------------------------------------------------------------- /tests/unit-tests/function-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-this.js -------------------------------------------------------------------------------- /tests/unit-tests/function-var1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function-var1.js -------------------------------------------------------------------------------- /tests/unit-tests/function1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function1.js -------------------------------------------------------------------------------- /tests/unit-tests/function2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/function2.js -------------------------------------------------------------------------------- /tests/unit-tests/functionconstructor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/functionconstructor.js -------------------------------------------------------------------------------- /tests/unit-tests/getprotooftest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/getprotooftest.js -------------------------------------------------------------------------------- /tests/unit-tests/getter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/getter.js -------------------------------------------------------------------------------- /tests/unit-tests/global-add-twice.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/global-add-twice.js -------------------------------------------------------------------------------- /tests/unit-tests/global-anonymous-leak.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/global-anonymous-leak.js -------------------------------------------------------------------------------- /tests/unit-tests/global-anonymous-leak2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/global-anonymous-leak2.js -------------------------------------------------------------------------------- /tests/unit-tests/global-func-decl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/global-func-decl.js -------------------------------------------------------------------------------- /tests/unit-tests/gopdtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/gopdtest.js -------------------------------------------------------------------------------- /tests/unit-tests/gopntest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/gopntest.js -------------------------------------------------------------------------------- /tests/unit-tests/hoist-through-if.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/hoist-through-if.js -------------------------------------------------------------------------------- /tests/unit-tests/iftest.js: -------------------------------------------------------------------------------- 1 | var x = 1; 2 | if (x) { 3 | print("passed"); 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-tests/indirect-nonstrict-regress.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/indirect-nonstrict-regress.js -------------------------------------------------------------------------------- /tests/unit-tests/indirect-nonstrict-regress2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/indirect-nonstrict-regress2.js -------------------------------------------------------------------------------- /tests/unit-tests/instanceof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/instanceof.js -------------------------------------------------------------------------------- /tests/unit-tests/instanceof2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/instanceof2.js -------------------------------------------------------------------------------- /tests/unit-tests/isPrototypeOf.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/isPrototypeOf.js -------------------------------------------------------------------------------- /tests/unit-tests/isextensibletest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/isextensibletest.js -------------------------------------------------------------------------------- /tests/unit-tests/isfrozentest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/isfrozentest.js -------------------------------------------------------------------------------- /tests/unit-tests/issealedtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/issealedtest.js -------------------------------------------------------------------------------- /tests/unit-tests/issue18-scope-regression.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/issue18-scope-regression.js -------------------------------------------------------------------------------- /tests/unit-tests/join.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/join.js -------------------------------------------------------------------------------- /tests/unit-tests/keystest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/keystest.js -------------------------------------------------------------------------------- /tests/unit-tests/lazy-and.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/lazy-and.js -------------------------------------------------------------------------------- /tests/unit-tests/maptest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/maptest.js -------------------------------------------------------------------------------- /tests/unit-tests/missingparam.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/missingparam.js -------------------------------------------------------------------------------- /tests/unit-tests/mutually-recursive.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/mutually-recursive.js -------------------------------------------------------------------------------- /tests/unit-tests/named-nesting.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/named-nesting.js -------------------------------------------------------------------------------- /tests/unit-tests/named-nesting2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/named-nesting2.js -------------------------------------------------------------------------------- /tests/unit-tests/namedfuncexpr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/namedfuncexpr.js -------------------------------------------------------------------------------- /tests/unit-tests/nested-decl-this-full.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/nested-decl-this-full.js -------------------------------------------------------------------------------- /tests/unit-tests/nested-decl-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/nested-decl-this.js -------------------------------------------------------------------------------- /tests/unit-tests/nesteddef.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/nesteddef.js -------------------------------------------------------------------------------- /tests/unit-tests/new.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/new.js -------------------------------------------------------------------------------- /tests/unit-tests/new2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/new2.js -------------------------------------------------------------------------------- /tests/unit-tests/newarray.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/newarray.js -------------------------------------------------------------------------------- /tests/unit-tests/newboolean.js: -------------------------------------------------------------------------------- 1 | var b = new Boolean(false); 2 | if (b) { 3 | print("passed"); 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-tests/newnotcallable.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/newnotcallable.js -------------------------------------------------------------------------------- /tests/unit-tests/newobject.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/newobject.js -------------------------------------------------------------------------------- /tests/unit-tests/newstring.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/newstring.js -------------------------------------------------------------------------------- /tests/unit-tests/number-tostring-length.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/number-tostring-length.js -------------------------------------------------------------------------------- /tests/unit-tests/numbervalueof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/numbervalueof.js -------------------------------------------------------------------------------- /tests/unit-tests/numtostring.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/numtostring.js -------------------------------------------------------------------------------- /tests/unit-tests/objconpro.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/objconpro.js -------------------------------------------------------------------------------- /tests/unit-tests/objects1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/objects1.js -------------------------------------------------------------------------------- /tests/unit-tests/objects2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/objects2.js -------------------------------------------------------------------------------- /tests/unit-tests/objects3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/objects3.js -------------------------------------------------------------------------------- /tests/unit-tests/objects4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/objects4.js -------------------------------------------------------------------------------- /tests/unit-tests/ortest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ortest.js -------------------------------------------------------------------------------- /tests/unit-tests/paper_lifttest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/paper_lifttest.js -------------------------------------------------------------------------------- /tests/unit-tests/paper_lifttest2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/paper_lifttest2.js -------------------------------------------------------------------------------- /tests/unit-tests/pluseq.js: -------------------------------------------------------------------------------- 1 | var x = 1; 2 | x += 3; 3 | if (x === 4) { 4 | print("passed"); 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-tests/plusplus.js: -------------------------------------------------------------------------------- 1 | var x = 1; 2 | x++; 3 | if (x === 2) { 4 | print("passed"); 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-tests/plusplus2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/plusplus2.js -------------------------------------------------------------------------------- /tests/unit-tests/poison.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/poison.js -------------------------------------------------------------------------------- /tests/unit-tests/pop.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/pop.js -------------------------------------------------------------------------------- /tests/unit-tests/postfixdecrtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/postfixdecrtest.js -------------------------------------------------------------------------------- /tests/unit-tests/postfixincrtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/postfixincrtest.js -------------------------------------------------------------------------------- /tests/unit-tests/prefixdecrtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/prefixdecrtest.js -------------------------------------------------------------------------------- /tests/unit-tests/prefixincrtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/prefixincrtest.js -------------------------------------------------------------------------------- /tests/unit-tests/preventexttest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/preventexttest.js -------------------------------------------------------------------------------- /tests/unit-tests/rebind-eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/rebind-eval.js -------------------------------------------------------------------------------- /tests/unit-tests/recursive.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/recursive.js -------------------------------------------------------------------------------- /tests/unit-tests/redefine-nan.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/redefine-nan.js -------------------------------------------------------------------------------- /tests/unit-tests/reducerighttest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/reducerighttest.js -------------------------------------------------------------------------------- /tests/unit-tests/reducetest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/reducetest.js -------------------------------------------------------------------------------- /tests/unit-tests/regexp-exec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/regexp-exec.js -------------------------------------------------------------------------------- /tests/unit-tests/regexp-exec2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/regexp-exec2.js -------------------------------------------------------------------------------- /tests/unit-tests/regexp-exec3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/regexp-exec3.js -------------------------------------------------------------------------------- /tests/unit-tests/regexp-length.js: -------------------------------------------------------------------------------- 1 | if(RegExp.length === 2) { print("passed"); } 2 | -------------------------------------------------------------------------------- /tests/unit-tests/regexp1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/regexp1.js -------------------------------------------------------------------------------- /tests/unit-tests/reordertest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/reordertest.js -------------------------------------------------------------------------------- /tests/unit-tests/sealtest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/sealtest.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-apply1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-apply1.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-bind-cant-curry-new.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-bind-cant-curry-new.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-global-leak1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-global-leak1.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-global-leak2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-global-leak2.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-mutable-date-proto.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-mutable-date-proto.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-navigator.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-navigator.js -------------------------------------------------------------------------------- /tests/unit-tests/ses-regex1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/ses-regex1.js -------------------------------------------------------------------------------- /tests/unit-tests/setter-undefined-type-error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/setter-undefined-type-error.js -------------------------------------------------------------------------------- /tests/unit-tests/settertest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/settertest.js -------------------------------------------------------------------------------- /tests/unit-tests/sometest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/sometest.js -------------------------------------------------------------------------------- /tests/unit-tests/string-replace-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/string-replace-this.js -------------------------------------------------------------------------------- /tests/unit-tests/string-replace1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/string-replace1.js -------------------------------------------------------------------------------- /tests/unit-tests/string-replace2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/string-replace2.js -------------------------------------------------------------------------------- /tests/unit-tests/string-replace3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/string-replace3.js -------------------------------------------------------------------------------- /tests/unit-tests/stringindexof.js: -------------------------------------------------------------------------------- 1 | if (function(){return "gnulluna"}().indexOf(null) === 1) { 2 | print('passed'); 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-tests/stringslice.js: -------------------------------------------------------------------------------- 1 | var s = "abcdefghijkl"; 2 | if (s.slice(2, 4) === "cd") { 3 | print("passed"); 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-tests/svalueof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/svalueof.js -------------------------------------------------------------------------------- /tests/unit-tests/syntax_error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/syntax_error.js -------------------------------------------------------------------------------- /tests/unit-tests/syntax_regexp_error.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/syntax_regexp_error.js -------------------------------------------------------------------------------- /tests/unit-tests/this-caller.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/this-caller.js -------------------------------------------------------------------------------- /tests/unit-tests/this-in-eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/this-in-eval.js -------------------------------------------------------------------------------- /tests/unit-tests/toofewargs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/toofewargs.js -------------------------------------------------------------------------------- /tests/unit-tests/toofewargs2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/toofewargs2.js -------------------------------------------------------------------------------- /tests/unit-tests/toplevel-var.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/toplevel-var.js -------------------------------------------------------------------------------- /tests/unit-tests/toplevel-var2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/toplevel-var2.js -------------------------------------------------------------------------------- /tests/unit-tests/toplevel-var3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/toplevel-var3.js -------------------------------------------------------------------------------- /tests/unit-tests/topleveltest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/topleveltest.js -------------------------------------------------------------------------------- /tests/unit-tests/touint32.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/touint32.js -------------------------------------------------------------------------------- /tests/unit-tests/try1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/try1.js -------------------------------------------------------------------------------- /tests/unit-tests/try2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/try2.js -------------------------------------------------------------------------------- /tests/unit-tests/try3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/try3.js -------------------------------------------------------------------------------- /tests/unit-tests/typeof-free.js: -------------------------------------------------------------------------------- 1 | if(typeof navigator === 'undefined') { console.log('Passed'); } 2 | -------------------------------------------------------------------------------- /tests/unit-tests/undeclaredassign.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/undeclaredassign.js -------------------------------------------------------------------------------- /tests/unit-tests/undefined-getter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/undefined-getter.js -------------------------------------------------------------------------------- /tests/unit-tests/varinloop.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/varinloop.js -------------------------------------------------------------------------------- /tests/unit-tests/whilebreak.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/whilebreak.js -------------------------------------------------------------------------------- /tests/unit-tests/whiletest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/whiletest.js -------------------------------------------------------------------------------- /tests/unit-tests/with-non-enum.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with-non-enum.js -------------------------------------------------------------------------------- /tests/unit-tests/with1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with1.js -------------------------------------------------------------------------------- /tests/unit-tests/with2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with2.js -------------------------------------------------------------------------------- /tests/unit-tests/with3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with3.js -------------------------------------------------------------------------------- /tests/unit-tests/with4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with4.js -------------------------------------------------------------------------------- /tests/unit-tests/with5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with5.js -------------------------------------------------------------------------------- /tests/unit-tests/with6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit-tests/with6.js -------------------------------------------------------------------------------- /tests/unit_test_cps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit_test_cps.sh -------------------------------------------------------------------------------- /tests/unit_test_sym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/unit_test_sym.sh -------------------------------------------------------------------------------- /tests/update-results.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/update-results.sh -------------------------------------------------------------------------------- /tests/wat/wat-array1.js: -------------------------------------------------------------------------------- 1 | Array(16) 2 | -------------------------------------------------------------------------------- /tests/wat/wat-array2.js: -------------------------------------------------------------------------------- 1 | Array(16).join("wat") 2 | -------------------------------------------------------------------------------- /tests/wat/wat-array3.js: -------------------------------------------------------------------------------- 1 | Array(16).join("wat" + 1) 2 | -------------------------------------------------------------------------------- /tests/wat/wat-array4.js: -------------------------------------------------------------------------------- 1 | Array(16).join("wat" - 1) + " Batman" 2 | -------------------------------------------------------------------------------- /tests/wat/wat1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/wat/wat1.js -------------------------------------------------------------------------------- /tests/wat/wat2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/wat/wat2.js -------------------------------------------------------------------------------- /tests/wat/wat3.js: -------------------------------------------------------------------------------- 1 | [] + []; 2 | 3 | -------------------------------------------------------------------------------- /tests/wat/wat4.js: -------------------------------------------------------------------------------- 1 | [] + {}; 2 | 3 | -------------------------------------------------------------------------------- /tests/wat/wat5.js: -------------------------------------------------------------------------------- 1 | {} + []; 2 | 3 | -------------------------------------------------------------------------------- /tests/wat/wat6.js: -------------------------------------------------------------------------------- 1 | {} + {}; 2 | 3 | -------------------------------------------------------------------------------- /tests/wat/watman.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brownplt/LambdaS5/HEAD/tests/wat/watman.js --------------------------------------------------------------------------------