├── .github └── workflows │ └── tests.yml ├── .gitignore ├── LICENSE.md ├── Makefile ├── README.md ├── bench ├── append.proof ├── assertions │ ├── assertions.vizassert │ ├── broken.vizassert │ ├── specific.sexp │ └── specific.vizassert ├── bugs │ ├── chrome530964.css │ ├── chrome530964.html │ ├── chrome591243.css │ ├── chrome591243.html │ ├── chrome665804.css │ ├── chrome665804.html │ ├── chrome670208.css │ ├── chrome670208.html │ ├── chrome754136.css │ ├── chrome754136.html │ ├── chrome797185.css │ ├── chrome797185.html │ ├── chrome798397.css │ ├── chrome798397.html │ ├── chrome810231.css │ ├── chrome810231.html │ ├── chrome810370.css │ ├── chrome810370.html │ ├── chrome815311.css │ ├── chrome815311.html │ ├── chrome875160.css │ ├── chrome875160.html │ ├── chrome982403.css │ ├── chrome982403.html │ ├── chrome988505.css │ ├── chrome988505.html │ ├── margin.css │ ├── margin.html │ ├── servo10151.css │ ├── servo10151.html │ ├── servo10449.css │ ├── servo10449.html │ ├── servo12676.css │ ├── servo12676.html │ ├── servo13298.css │ ├── servo13298.html │ ├── servo13299.css │ ├── servo13299.html │ ├── servo13683.css │ ├── servo13683.html │ ├── servo13760.css │ ├── servo13760.html │ ├── servo16576.css │ ├── servo16576.html │ ├── servo16737.css │ ├── servo16737.html │ ├── servo19404.css │ ├── servo19404.html │ ├── servo3456.css │ ├── servo3456.html │ ├── servo3624.css │ ├── servo3624.html │ ├── servo7067.css │ ├── servo7067.html │ ├── servo7166.css │ ├── servo7166.html │ ├── servo7636.css │ ├── servo7636.html │ ├── servo7828.css │ ├── servo7828.html │ ├── servo9306.css │ ├── servo9306.html │ ├── webkit15662.css │ ├── webkit15662.html │ ├── webkit18080.css │ └── webkit18080.html ├── button_test_3.proof ├── common.thm ├── css │ ├── .gitignore │ ├── expected.sexp │ └── index.json ├── fwt.proof ├── fwt │ ├── .gitignore │ ├── all.txt │ └── expected.sexp ├── induction.proof ├── induction │ ├── list.html │ └── prerun.js ├── joel.proof ├── joel.rkt ├── joel │ └── joel.js ├── js │ └── button_test_1 │ │ ├── button_test_1.html │ │ ├── list_append.js │ │ ├── one_press.js │ │ ├── three_press.js │ │ └── two_press.js ├── just_list.rkt ├── list_all.proof ├── list_all.rkt ├── list_all_box.proof ├── list_all_box.rkt └── stress_test.proof ├── capture ├── browser.ts ├── capture.py ├── esprima.d.ts ├── esprima.js ├── ezone.ts ├── fonts.ts ├── get_bench.ts ├── minimize.py ├── screenshot.py ├── scripts.ts ├── scrollbar.js ├── shim.js ├── test.py ├── tsconfig.json └── util.ts ├── infra ├── filter-working.rkt ├── get-directory.rkt ├── index-chart.js ├── index.css ├── make-index.rkt ├── pretty-print.rkt ├── publish.sh ├── test.sh ├── z3-core.sh └── z3-interact.sh ├── logo.png ├── logo.svg ├── reports └── report.css ├── src ├── assertion2js.rkt ├── assertions.rkt ├── common.rkt ├── dom.rkt ├── encode.rkt ├── execute.rkt ├── frontend.rkt ├── info.rkt ├── input.rkt ├── main.rkt ├── minimizer.rkt ├── modularize.rkt ├── old │ ├── actions.rkt │ ├── model-check.rkt │ ├── modular-synthesis.rkt │ ├── parse-svg.rkt │ ├── print-html.rkt │ ├── print-script.rkt │ ├── repair.rkt │ ├── rerender.rkt │ ├── synthesize.rkt │ └── test-new.rkt ├── print │ ├── css.rkt │ ├── smt.rkt │ └── tree.rkt ├── proofs.rkt ├── prune.rkt ├── report.rkt ├── run.rkt ├── selectors.rkt ├── smt.rkt ├── solver.rkt ├── spec │ ├── browser-style.rkt │ ├── browser.rkt │ ├── colors.rkt │ ├── compute-style.rkt │ ├── css-properties.rkt │ ├── float.rkt │ ├── fonts.rkt │ ├── layout.rkt │ ├── media-query.rkt │ ├── percentages.rkt │ ├── replaced-elements.rkt │ ├── test.rkt │ ├── tree.rkt │ └── utils.rkt ├── tree.rkt ├── verify.rkt ├── z3.rkt └── z3o.rkt ├── vizassert.svg └── www ├── fse16ds-paper.pdf ├── index.html ├── logo.png ├── main.css ├── oopsla16-paper.pdf ├── oopsla19-paper.pdf ├── papers.html ├── papers.js ├── pldi18-paper.pdf ├── synthesis.png └── vizassert.png /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/README.md -------------------------------------------------------------------------------- /bench/append.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/append.proof -------------------------------------------------------------------------------- /bench/assertions/assertions.vizassert: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/assertions/assertions.vizassert -------------------------------------------------------------------------------- /bench/assertions/broken.vizassert: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/assertions/broken.vizassert -------------------------------------------------------------------------------- /bench/assertions/specific.sexp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/assertions/specific.sexp -------------------------------------------------------------------------------- /bench/assertions/specific.vizassert: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/assertions/specific.vizassert -------------------------------------------------------------------------------- /bench/bugs/chrome530964.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome530964.css -------------------------------------------------------------------------------- /bench/bugs/chrome530964.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome530964.html -------------------------------------------------------------------------------- /bench/bugs/chrome591243.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome591243.css -------------------------------------------------------------------------------- /bench/bugs/chrome591243.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome591243.html -------------------------------------------------------------------------------- /bench/bugs/chrome665804.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome665804.css -------------------------------------------------------------------------------- /bench/bugs/chrome665804.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome665804.html -------------------------------------------------------------------------------- /bench/bugs/chrome670208.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome670208.css -------------------------------------------------------------------------------- /bench/bugs/chrome670208.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome670208.html -------------------------------------------------------------------------------- /bench/bugs/chrome754136.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome754136.css -------------------------------------------------------------------------------- /bench/bugs/chrome754136.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome754136.html -------------------------------------------------------------------------------- /bench/bugs/chrome797185.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome797185.css -------------------------------------------------------------------------------- /bench/bugs/chrome797185.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome797185.html -------------------------------------------------------------------------------- /bench/bugs/chrome798397.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome798397.css -------------------------------------------------------------------------------- /bench/bugs/chrome798397.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome798397.html -------------------------------------------------------------------------------- /bench/bugs/chrome810231.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome810231.css -------------------------------------------------------------------------------- /bench/bugs/chrome810231.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome810231.html -------------------------------------------------------------------------------- /bench/bugs/chrome810370.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome810370.css -------------------------------------------------------------------------------- /bench/bugs/chrome810370.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome810370.html -------------------------------------------------------------------------------- /bench/bugs/chrome815311.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome815311.css -------------------------------------------------------------------------------- /bench/bugs/chrome815311.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome815311.html -------------------------------------------------------------------------------- /bench/bugs/chrome875160.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome875160.css -------------------------------------------------------------------------------- /bench/bugs/chrome875160.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome875160.html -------------------------------------------------------------------------------- /bench/bugs/chrome982403.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome982403.css -------------------------------------------------------------------------------- /bench/bugs/chrome982403.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome982403.html -------------------------------------------------------------------------------- /bench/bugs/chrome988505.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome988505.css -------------------------------------------------------------------------------- /bench/bugs/chrome988505.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/chrome988505.html -------------------------------------------------------------------------------- /bench/bugs/margin.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/margin.css -------------------------------------------------------------------------------- /bench/bugs/margin.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/margin.html -------------------------------------------------------------------------------- /bench/bugs/servo10151.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo10151.css -------------------------------------------------------------------------------- /bench/bugs/servo10151.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo10151.html -------------------------------------------------------------------------------- /bench/bugs/servo10449.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo10449.css -------------------------------------------------------------------------------- /bench/bugs/servo10449.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo10449.html -------------------------------------------------------------------------------- /bench/bugs/servo12676.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo12676.css -------------------------------------------------------------------------------- /bench/bugs/servo12676.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo12676.html -------------------------------------------------------------------------------- /bench/bugs/servo13298.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13298.css -------------------------------------------------------------------------------- /bench/bugs/servo13298.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13298.html -------------------------------------------------------------------------------- /bench/bugs/servo13299.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13299.css -------------------------------------------------------------------------------- /bench/bugs/servo13299.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13299.html -------------------------------------------------------------------------------- /bench/bugs/servo13683.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13683.css -------------------------------------------------------------------------------- /bench/bugs/servo13683.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13683.html -------------------------------------------------------------------------------- /bench/bugs/servo13760.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13760.css -------------------------------------------------------------------------------- /bench/bugs/servo13760.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo13760.html -------------------------------------------------------------------------------- /bench/bugs/servo16576.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo16576.css -------------------------------------------------------------------------------- /bench/bugs/servo16576.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo16576.html -------------------------------------------------------------------------------- /bench/bugs/servo16737.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo16737.css -------------------------------------------------------------------------------- /bench/bugs/servo16737.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo16737.html -------------------------------------------------------------------------------- /bench/bugs/servo19404.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo19404.css -------------------------------------------------------------------------------- /bench/bugs/servo19404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo19404.html -------------------------------------------------------------------------------- /bench/bugs/servo3456.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo3456.css -------------------------------------------------------------------------------- /bench/bugs/servo3456.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo3456.html -------------------------------------------------------------------------------- /bench/bugs/servo3624.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo3624.css -------------------------------------------------------------------------------- /bench/bugs/servo3624.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo3624.html -------------------------------------------------------------------------------- /bench/bugs/servo7067.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7067.css -------------------------------------------------------------------------------- /bench/bugs/servo7067.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7067.html -------------------------------------------------------------------------------- /bench/bugs/servo7166.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7166.css -------------------------------------------------------------------------------- /bench/bugs/servo7166.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7166.html -------------------------------------------------------------------------------- /bench/bugs/servo7636.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7636.css -------------------------------------------------------------------------------- /bench/bugs/servo7636.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7636.html -------------------------------------------------------------------------------- /bench/bugs/servo7828.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7828.css -------------------------------------------------------------------------------- /bench/bugs/servo7828.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo7828.html -------------------------------------------------------------------------------- /bench/bugs/servo9306.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo9306.css -------------------------------------------------------------------------------- /bench/bugs/servo9306.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/servo9306.html -------------------------------------------------------------------------------- /bench/bugs/webkit15662.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/webkit15662.css -------------------------------------------------------------------------------- /bench/bugs/webkit15662.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/webkit15662.html -------------------------------------------------------------------------------- /bench/bugs/webkit18080.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/webkit18080.css -------------------------------------------------------------------------------- /bench/bugs/webkit18080.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/bugs/webkit18080.html -------------------------------------------------------------------------------- /bench/button_test_3.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/button_test_3.proof -------------------------------------------------------------------------------- /bench/common.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/common.thm -------------------------------------------------------------------------------- /bench/css/.gitignore: -------------------------------------------------------------------------------- 1 | *.rkt 2 | -------------------------------------------------------------------------------- /bench/css/expected.sexp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/css/expected.sexp -------------------------------------------------------------------------------- /bench/css/index.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/css/index.json -------------------------------------------------------------------------------- /bench/fwt.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/fwt.proof -------------------------------------------------------------------------------- /bench/fwt/.gitignore: -------------------------------------------------------------------------------- 1 | *.rkt 2 | *.zip 3 | -------------------------------------------------------------------------------- /bench/fwt/all.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/fwt/all.txt -------------------------------------------------------------------------------- /bench/fwt/expected.sexp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/fwt/expected.sexp -------------------------------------------------------------------------------- /bench/induction.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/induction.proof -------------------------------------------------------------------------------- /bench/induction/list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/induction/list.html -------------------------------------------------------------------------------- /bench/induction/prerun.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/induction/prerun.js -------------------------------------------------------------------------------- /bench/joel.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/joel.proof -------------------------------------------------------------------------------- /bench/joel.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/joel.rkt -------------------------------------------------------------------------------- /bench/joel/joel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/joel/joel.js -------------------------------------------------------------------------------- /bench/js/button_test_1/button_test_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/js/button_test_1/button_test_1.html -------------------------------------------------------------------------------- /bench/js/button_test_1/list_append.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/js/button_test_1/list_append.js -------------------------------------------------------------------------------- /bench/js/button_test_1/one_press.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/js/button_test_1/one_press.js -------------------------------------------------------------------------------- /bench/js/button_test_1/three_press.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/js/button_test_1/three_press.js -------------------------------------------------------------------------------- /bench/js/button_test_1/two_press.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/js/button_test_1/two_press.js -------------------------------------------------------------------------------- /bench/just_list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/just_list.rkt -------------------------------------------------------------------------------- /bench/list_all.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/list_all.proof -------------------------------------------------------------------------------- /bench/list_all.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/list_all.rkt -------------------------------------------------------------------------------- /bench/list_all_box.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/list_all_box.proof -------------------------------------------------------------------------------- /bench/list_all_box.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/list_all_box.rkt -------------------------------------------------------------------------------- /bench/stress_test.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/bench/stress_test.proof -------------------------------------------------------------------------------- /capture/browser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/browser.ts -------------------------------------------------------------------------------- /capture/capture.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/capture.py -------------------------------------------------------------------------------- /capture/esprima.d.ts: -------------------------------------------------------------------------------- 1 | export var esprima: any 2 | -------------------------------------------------------------------------------- /capture/esprima.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/esprima.js -------------------------------------------------------------------------------- /capture/ezone.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/ezone.ts -------------------------------------------------------------------------------- /capture/fonts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/fonts.ts -------------------------------------------------------------------------------- /capture/get_bench.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/get_bench.ts -------------------------------------------------------------------------------- /capture/minimize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/minimize.py -------------------------------------------------------------------------------- /capture/screenshot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/screenshot.py -------------------------------------------------------------------------------- /capture/scripts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/scripts.ts -------------------------------------------------------------------------------- /capture/scrollbar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/scrollbar.js -------------------------------------------------------------------------------- /capture/shim.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/shim.js -------------------------------------------------------------------------------- /capture/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/test.py -------------------------------------------------------------------------------- /capture/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/tsconfig.json -------------------------------------------------------------------------------- /capture/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/capture/util.ts -------------------------------------------------------------------------------- /infra/filter-working.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/filter-working.rkt -------------------------------------------------------------------------------- /infra/get-directory.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/get-directory.rkt -------------------------------------------------------------------------------- /infra/index-chart.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/index-chart.js -------------------------------------------------------------------------------- /infra/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/index.css -------------------------------------------------------------------------------- /infra/make-index.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/make-index.rkt -------------------------------------------------------------------------------- /infra/pretty-print.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/pretty-print.rkt -------------------------------------------------------------------------------- /infra/publish.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/publish.sh -------------------------------------------------------------------------------- /infra/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/test.sh -------------------------------------------------------------------------------- /infra/z3-core.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/infra/z3-core.sh -------------------------------------------------------------------------------- /infra/z3-interact.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | cat "$1" - | z3 -smt2 -in 4 | -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/logo.png -------------------------------------------------------------------------------- /logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/logo.svg -------------------------------------------------------------------------------- /reports/report.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/reports/report.css -------------------------------------------------------------------------------- /src/assertion2js.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/assertion2js.rkt -------------------------------------------------------------------------------- /src/assertions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/assertions.rkt -------------------------------------------------------------------------------- /src/common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/common.rkt -------------------------------------------------------------------------------- /src/dom.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/dom.rkt -------------------------------------------------------------------------------- /src/encode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/encode.rkt -------------------------------------------------------------------------------- /src/execute.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/execute.rkt -------------------------------------------------------------------------------- /src/frontend.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/frontend.rkt -------------------------------------------------------------------------------- /src/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/info.rkt -------------------------------------------------------------------------------- /src/input.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/input.rkt -------------------------------------------------------------------------------- /src/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/main.rkt -------------------------------------------------------------------------------- /src/minimizer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/minimizer.rkt -------------------------------------------------------------------------------- /src/modularize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/modularize.rkt -------------------------------------------------------------------------------- /src/old/actions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/actions.rkt -------------------------------------------------------------------------------- /src/old/model-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/model-check.rkt -------------------------------------------------------------------------------- /src/old/modular-synthesis.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/modular-synthesis.rkt -------------------------------------------------------------------------------- /src/old/parse-svg.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/parse-svg.rkt -------------------------------------------------------------------------------- /src/old/print-html.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/print-html.rkt -------------------------------------------------------------------------------- /src/old/print-script.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/print-script.rkt -------------------------------------------------------------------------------- /src/old/repair.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/repair.rkt -------------------------------------------------------------------------------- /src/old/rerender.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/rerender.rkt -------------------------------------------------------------------------------- /src/old/synthesize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/synthesize.rkt -------------------------------------------------------------------------------- /src/old/test-new.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/old/test-new.rkt -------------------------------------------------------------------------------- /src/print/css.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/print/css.rkt -------------------------------------------------------------------------------- /src/print/smt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/print/smt.rkt -------------------------------------------------------------------------------- /src/print/tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/print/tree.rkt -------------------------------------------------------------------------------- /src/proofs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/proofs.rkt -------------------------------------------------------------------------------- /src/prune.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/prune.rkt -------------------------------------------------------------------------------- /src/report.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/report.rkt -------------------------------------------------------------------------------- /src/run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/run.rkt -------------------------------------------------------------------------------- /src/selectors.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/selectors.rkt -------------------------------------------------------------------------------- /src/smt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/smt.rkt -------------------------------------------------------------------------------- /src/solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/solver.rkt -------------------------------------------------------------------------------- /src/spec/browser-style.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/browser-style.rkt -------------------------------------------------------------------------------- /src/spec/browser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/browser.rkt -------------------------------------------------------------------------------- /src/spec/colors.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/colors.rkt -------------------------------------------------------------------------------- /src/spec/compute-style.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/compute-style.rkt -------------------------------------------------------------------------------- /src/spec/css-properties.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/css-properties.rkt -------------------------------------------------------------------------------- /src/spec/float.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/float.rkt -------------------------------------------------------------------------------- /src/spec/fonts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/fonts.rkt -------------------------------------------------------------------------------- /src/spec/layout.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/layout.rkt -------------------------------------------------------------------------------- /src/spec/media-query.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/media-query.rkt -------------------------------------------------------------------------------- /src/spec/percentages.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/percentages.rkt -------------------------------------------------------------------------------- /src/spec/replaced-elements.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/replaced-elements.rkt -------------------------------------------------------------------------------- /src/spec/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/test.rkt -------------------------------------------------------------------------------- /src/spec/tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/tree.rkt -------------------------------------------------------------------------------- /src/spec/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/spec/utils.rkt -------------------------------------------------------------------------------- /src/tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/tree.rkt -------------------------------------------------------------------------------- /src/verify.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/verify.rkt -------------------------------------------------------------------------------- /src/z3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/z3.rkt -------------------------------------------------------------------------------- /src/z3o.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/src/z3o.rkt -------------------------------------------------------------------------------- /vizassert.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/vizassert.svg -------------------------------------------------------------------------------- /www/fse16ds-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/fse16ds-paper.pdf -------------------------------------------------------------------------------- /www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/index.html -------------------------------------------------------------------------------- /www/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/logo.png -------------------------------------------------------------------------------- /www/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/main.css -------------------------------------------------------------------------------- /www/oopsla16-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/oopsla16-paper.pdf -------------------------------------------------------------------------------- /www/oopsla19-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/oopsla19-paper.pdf -------------------------------------------------------------------------------- /www/papers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/papers.html -------------------------------------------------------------------------------- /www/papers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/papers.js -------------------------------------------------------------------------------- /www/pldi18-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/pldi18-paper.pdf -------------------------------------------------------------------------------- /www/synthesis.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/synthesis.png -------------------------------------------------------------------------------- /www/vizassert.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/Cassius/HEAD/www/vizassert.png --------------------------------------------------------------------------------