├── .github └── workflows │ ├── build.yml │ └── docker-image.yml ├── .gitignore ├── .ocamlformat ├── Dockerfile ├── LICENSE ├── README.md ├── bin ├── dune ├── main.ml └── options.ml ├── dune-project ├── flake.lock ├── flake.nix ├── libc ├── LICENSE_dietlibc ├── Makefile ├── api.c ├── assert.c ├── ctype.c ├── dune ├── errno.c ├── getchar.c ├── include │ ├── accuracy.h │ ├── alloca.h │ ├── api.h │ ├── assert.h │ ├── ctype.h │ ├── endian.h │ ├── errno.h │ ├── fcntl.h │ ├── getchar.h │ ├── inttypes.h │ ├── limits.h │ ├── math.h │ ├── memchr.h │ ├── memcmp.h │ ├── memcpy.h │ ├── memmove.h │ ├── memory.h │ ├── memset.h │ ├── netinet │ │ └── in.h │ ├── pthread.h │ ├── sched.h │ ├── setjmp.h │ ├── signal.h │ ├── stdarg-cruft.h │ ├── stdarg.h │ ├── stdbool.h │ ├── stddef.h │ ├── stdint.h │ ├── stdio.h │ ├── stdlib.h │ ├── strcmp.h │ ├── string.h │ ├── strlen.h │ ├── strncpy.h │ ├── summ_utils.h │ ├── sys │ │ ├── param.h │ │ ├── resource.h │ │ ├── time.h │ │ └── types.h │ ├── time.h │ ├── unistd.h │ └── wasp.h ├── math.c ├── memchr.c ├── memcmp.c ├── memcpy.c ├── memmove.c ├── memset.c ├── netinet_in.c ├── pthread.c ├── setjmp.c ├── stderr.c ├── stdio.c ├── stdlib.c ├── stdout.c ├── strcmp.c ├── strftime.c ├── string.c ├── strlen.c ├── strncpy.c ├── strstr.c ├── summ_utils.c ├── sys_resources.c ├── test-comp.c ├── time.c ├── unistd.c └── wasp.c ├── src ├── btree.ml ├── common │ ├── bug.ml │ ├── chunktable.ml │ ├── common.ml │ ├── counter.ml │ ├── dune │ ├── evaluations.ml │ ├── globals.ml │ ├── globals.mli │ └── randArray.ml ├── concolic │ ├── checkpoint_intf.ml │ ├── dune │ ├── eval.ml │ ├── evaluations.ml │ ├── execution_tree.ml │ ├── execution_tree.mli │ ├── heap.ml │ ├── heap.mli │ ├── host.ml │ └── store.ml ├── dune ├── interpreter │ ├── binary │ │ ├── decode.ml │ │ ├── decode.mli │ │ ├── encode.ml │ │ ├── encode.mli │ │ ├── utf8.ml │ │ └── utf8.mli │ ├── dune │ ├── exec │ │ ├── eval.ml │ │ ├── eval.mli │ │ ├── eval_numeric.ml │ │ ├── eval_numeric.mli │ │ ├── f32.ml │ │ ├── f32_convert.ml │ │ ├── f32_convert.mli │ │ ├── f64.ml │ │ ├── f64_convert.ml │ │ ├── f64_convert.mli │ │ ├── float.ml │ │ ├── i32.ml │ │ ├── i32_convert.ml │ │ ├── i32_convert.mli │ │ ├── i64.ml │ │ ├── i64_convert.ml │ │ ├── i64_convert.mli │ │ ├── int.ml │ │ └── numeric_error.ml │ ├── host │ │ ├── env.ml │ │ └── spectest.ml │ ├── main │ │ └── flags.ml │ ├── meta │ │ ├── findlib │ │ │ └── META │ │ ├── jslib │ │ │ ├── bsconfig.json │ │ │ ├── build.sh │ │ │ └── wasm.ml │ │ └── travis │ │ │ ├── build-test.sh │ │ │ └── install-ocaml.sh │ ├── runtime │ │ ├── func.ml │ │ ├── func.mli │ │ ├── global.ml │ │ ├── global.mli │ │ ├── instance.ml │ │ ├── memory.ml │ │ ├── memory.mli │ │ ├── table.ml │ │ └── table.mli │ ├── script │ │ ├── import.ml │ │ ├── import.mli │ │ ├── js.ml │ │ ├── js.mli │ │ ├── run.ml │ │ ├── run.mli │ │ └── script.ml │ ├── syntax │ │ ├── ast.ml │ │ ├── operators.ml │ │ ├── types.ml │ │ └── values.ml │ ├── text │ │ ├── arrange.ml │ │ ├── arrange.mli │ │ ├── lexer.mli │ │ ├── lexer.mll │ │ ├── parse.ml │ │ ├── parse.mli │ │ ├── parser.mly │ │ ├── print.ml │ │ └── print.mli │ ├── util │ │ ├── error.ml │ │ ├── error.mli │ │ ├── io.ml │ │ ├── lib.ml │ │ ├── lib.mli │ │ ├── sexpr.ml │ │ ├── sexpr.mli │ │ ├── source.ml │ │ └── source.mli │ └── valid │ │ ├── valid.ml │ │ └── valid.mli ├── run.ml ├── run.mli ├── static │ ├── dune │ ├── eval.ml │ ├── evaluations.ml │ ├── memory.ml │ ├── memory.mli │ ├── strategies.ml │ └── varmap.ml ├── std.ml └── waspc │ ├── bin │ ├── dune │ └── main.ml │ ├── lib │ ├── dune │ ├── instrumentor.ml │ ├── instrumentor.mli │ └── log.ml │ └── py │ └── instrumentor.py ├── tests ├── c │ ├── CostasArray-10.c │ ├── example00.c │ ├── example01.c │ ├── example02.c │ ├── example04.c │ ├── list-ext.i │ ├── pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label05.c │ └── test01_andre_prints.c ├── regression │ ├── assume_assert.wast │ ├── assume_restart.wast │ ├── binop_to_relop.wast │ ├── borges-simple.wast │ ├── borges.wast │ ├── checkpoints.wast │ ├── coverage_policy.wast │ ├── load_store.wast │ ├── load_store_symbolic_memory.wast │ ├── min.wast │ ├── mutable_globals_hold.wast │ ├── nearest.wast │ ├── nop.wast │ ├── sqrt.wast │ ├── static.wast │ ├── symbolic_memory_holds.wast │ ├── two_concrete_one_symbolic_locals_restart.wast │ ├── two_concrete_one_symbolic_memory_restart.wast │ ├── two_concrete_one_symbolic_restart.wast │ └── two_concrete_one_symbolic_with_assume_restart.wast └── unit │ ├── dune │ ├── test01.wast │ ├── test02.wast │ ├── test03.wast │ ├── test04.wast │ ├── test05.wast │ ├── test06.wast │ ├── test07.wast │ ├── test08.wast │ ├── test09.wast │ ├── test10.wast │ ├── test11.wast │ ├── test12.wast │ ├── test13.wast │ ├── test14.wast │ ├── test15.wast │ ├── test16.wast │ ├── test17.wast │ ├── test18.wast │ ├── test19.wast │ ├── test20.wast │ ├── test21.wast │ ├── test22.wast │ ├── test23.wast │ ├── test_allok.t │ └── test_problems.t.disabled └── wasp.opam /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/docker-image.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/.github/workflows/docker-image.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/.ocamlformat -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/README.md -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/bin/main.ml -------------------------------------------------------------------------------- /bin/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/bin/options.ml -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/dune-project -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/flake.nix -------------------------------------------------------------------------------- /libc/LICENSE_dietlibc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/LICENSE_dietlibc -------------------------------------------------------------------------------- /libc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/Makefile -------------------------------------------------------------------------------- /libc/api.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/api.c -------------------------------------------------------------------------------- /libc/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/assert.c -------------------------------------------------------------------------------- /libc/ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/ctype.c -------------------------------------------------------------------------------- /libc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/dune -------------------------------------------------------------------------------- /libc/errno.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | -------------------------------------------------------------------------------- /libc/getchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/getchar.c -------------------------------------------------------------------------------- /libc/include/accuracy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/accuracy.h -------------------------------------------------------------------------------- /libc/include/alloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/alloca.h -------------------------------------------------------------------------------- /libc/include/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/api.h -------------------------------------------------------------------------------- /libc/include/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/assert.h -------------------------------------------------------------------------------- /libc/include/ctype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/ctype.h -------------------------------------------------------------------------------- /libc/include/endian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/endian.h -------------------------------------------------------------------------------- /libc/include/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/errno.h -------------------------------------------------------------------------------- /libc/include/fcntl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/fcntl.h -------------------------------------------------------------------------------- /libc/include/getchar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/getchar.h -------------------------------------------------------------------------------- /libc/include/inttypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/inttypes.h -------------------------------------------------------------------------------- /libc/include/limits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/limits.h -------------------------------------------------------------------------------- /libc/include/math.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/math.h -------------------------------------------------------------------------------- /libc/include/memchr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/memchr.h -------------------------------------------------------------------------------- /libc/include/memcmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/memcmp.h -------------------------------------------------------------------------------- /libc/include/memcpy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/memcpy.h -------------------------------------------------------------------------------- /libc/include/memmove.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/memmove.h -------------------------------------------------------------------------------- /libc/include/memory.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libc/include/memset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/memset.h -------------------------------------------------------------------------------- /libc/include/netinet/in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/netinet/in.h -------------------------------------------------------------------------------- /libc/include/pthread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/pthread.h -------------------------------------------------------------------------------- /libc/include/sched.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/sched.h -------------------------------------------------------------------------------- /libc/include/setjmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/setjmp.h -------------------------------------------------------------------------------- /libc/include/signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/signal.h -------------------------------------------------------------------------------- /libc/include/stdarg-cruft.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdarg-cruft.h -------------------------------------------------------------------------------- /libc/include/stdarg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdarg.h -------------------------------------------------------------------------------- /libc/include/stdbool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdbool.h -------------------------------------------------------------------------------- /libc/include/stddef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stddef.h -------------------------------------------------------------------------------- /libc/include/stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdint.h -------------------------------------------------------------------------------- /libc/include/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdio.h -------------------------------------------------------------------------------- /libc/include/stdlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/stdlib.h -------------------------------------------------------------------------------- /libc/include/strcmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/strcmp.h -------------------------------------------------------------------------------- /libc/include/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/string.h -------------------------------------------------------------------------------- /libc/include/strlen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/strlen.h -------------------------------------------------------------------------------- /libc/include/strncpy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/strncpy.h -------------------------------------------------------------------------------- /libc/include/summ_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/summ_utils.h -------------------------------------------------------------------------------- /libc/include/sys/param.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/sys/param.h -------------------------------------------------------------------------------- /libc/include/sys/resource.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/sys/resource.h -------------------------------------------------------------------------------- /libc/include/sys/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/sys/time.h -------------------------------------------------------------------------------- /libc/include/sys/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/sys/types.h -------------------------------------------------------------------------------- /libc/include/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/time.h -------------------------------------------------------------------------------- /libc/include/unistd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/unistd.h -------------------------------------------------------------------------------- /libc/include/wasp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/include/wasp.h -------------------------------------------------------------------------------- /libc/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/math.c -------------------------------------------------------------------------------- /libc/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/memchr.c -------------------------------------------------------------------------------- /libc/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/memcmp.c -------------------------------------------------------------------------------- /libc/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/memcpy.c -------------------------------------------------------------------------------- /libc/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/memmove.c -------------------------------------------------------------------------------- /libc/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/memset.c -------------------------------------------------------------------------------- /libc/netinet_in.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/netinet_in.c -------------------------------------------------------------------------------- /libc/pthread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/pthread.c -------------------------------------------------------------------------------- /libc/setjmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/setjmp.c -------------------------------------------------------------------------------- /libc/stderr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/stderr.c -------------------------------------------------------------------------------- /libc/stdio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/stdio.c -------------------------------------------------------------------------------- /libc/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/stdlib.c -------------------------------------------------------------------------------- /libc/stdout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/stdout.c -------------------------------------------------------------------------------- /libc/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/strcmp.c -------------------------------------------------------------------------------- /libc/strftime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/strftime.c -------------------------------------------------------------------------------- /libc/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/string.c -------------------------------------------------------------------------------- /libc/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/strlen.c -------------------------------------------------------------------------------- /libc/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/strncpy.c -------------------------------------------------------------------------------- /libc/strstr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/strstr.c -------------------------------------------------------------------------------- /libc/summ_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/summ_utils.c -------------------------------------------------------------------------------- /libc/sys_resources.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/sys_resources.c -------------------------------------------------------------------------------- /libc/test-comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/test-comp.c -------------------------------------------------------------------------------- /libc/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/time.c -------------------------------------------------------------------------------- /libc/unistd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/unistd.c -------------------------------------------------------------------------------- /libc/wasp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/libc/wasp.c -------------------------------------------------------------------------------- /src/btree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/btree.ml -------------------------------------------------------------------------------- /src/common/bug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/bug.ml -------------------------------------------------------------------------------- /src/common/chunktable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/chunktable.ml -------------------------------------------------------------------------------- /src/common/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/common.ml -------------------------------------------------------------------------------- /src/common/counter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/counter.ml -------------------------------------------------------------------------------- /src/common/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/dune -------------------------------------------------------------------------------- /src/common/evaluations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/evaluations.ml -------------------------------------------------------------------------------- /src/common/globals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/globals.ml -------------------------------------------------------------------------------- /src/common/globals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/globals.mli -------------------------------------------------------------------------------- /src/common/randArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/common/randArray.ml -------------------------------------------------------------------------------- /src/concolic/checkpoint_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/checkpoint_intf.ml -------------------------------------------------------------------------------- /src/concolic/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/dune -------------------------------------------------------------------------------- /src/concolic/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/eval.ml -------------------------------------------------------------------------------- /src/concolic/evaluations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/evaluations.ml -------------------------------------------------------------------------------- /src/concolic/execution_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/execution_tree.ml -------------------------------------------------------------------------------- /src/concolic/execution_tree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/execution_tree.mli -------------------------------------------------------------------------------- /src/concolic/heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/heap.ml -------------------------------------------------------------------------------- /src/concolic/heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/heap.mli -------------------------------------------------------------------------------- /src/concolic/host.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/host.ml -------------------------------------------------------------------------------- /src/concolic/store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/concolic/store.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/dune -------------------------------------------------------------------------------- /src/interpreter/binary/decode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/decode.ml -------------------------------------------------------------------------------- /src/interpreter/binary/decode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/decode.mli -------------------------------------------------------------------------------- /src/interpreter/binary/encode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/encode.ml -------------------------------------------------------------------------------- /src/interpreter/binary/encode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/encode.mli -------------------------------------------------------------------------------- /src/interpreter/binary/utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/utf8.ml -------------------------------------------------------------------------------- /src/interpreter/binary/utf8.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/binary/utf8.mli -------------------------------------------------------------------------------- /src/interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/dune -------------------------------------------------------------------------------- /src/interpreter/exec/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/eval.ml -------------------------------------------------------------------------------- /src/interpreter/exec/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/eval.mli -------------------------------------------------------------------------------- /src/interpreter/exec/eval_numeric.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/eval_numeric.ml -------------------------------------------------------------------------------- /src/interpreter/exec/eval_numeric.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/eval_numeric.mli -------------------------------------------------------------------------------- /src/interpreter/exec/f32.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f32.ml -------------------------------------------------------------------------------- /src/interpreter/exec/f32_convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f32_convert.ml -------------------------------------------------------------------------------- /src/interpreter/exec/f32_convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f32_convert.mli -------------------------------------------------------------------------------- /src/interpreter/exec/f64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f64.ml -------------------------------------------------------------------------------- /src/interpreter/exec/f64_convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f64_convert.ml -------------------------------------------------------------------------------- /src/interpreter/exec/f64_convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/f64_convert.mli -------------------------------------------------------------------------------- /src/interpreter/exec/float.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/float.ml -------------------------------------------------------------------------------- /src/interpreter/exec/i32.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i32.ml -------------------------------------------------------------------------------- /src/interpreter/exec/i32_convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i32_convert.ml -------------------------------------------------------------------------------- /src/interpreter/exec/i32_convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i32_convert.mli -------------------------------------------------------------------------------- /src/interpreter/exec/i64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i64.ml -------------------------------------------------------------------------------- /src/interpreter/exec/i64_convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i64_convert.ml -------------------------------------------------------------------------------- /src/interpreter/exec/i64_convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/i64_convert.mli -------------------------------------------------------------------------------- /src/interpreter/exec/int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/int.ml -------------------------------------------------------------------------------- /src/interpreter/exec/numeric_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/exec/numeric_error.ml -------------------------------------------------------------------------------- /src/interpreter/host/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/host/env.ml -------------------------------------------------------------------------------- /src/interpreter/host/spectest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/host/spectest.ml -------------------------------------------------------------------------------- /src/interpreter/main/flags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/main/flags.ml -------------------------------------------------------------------------------- /src/interpreter/meta/findlib/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/findlib/META -------------------------------------------------------------------------------- /src/interpreter/meta/jslib/bsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/jslib/bsconfig.json -------------------------------------------------------------------------------- /src/interpreter/meta/jslib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/jslib/build.sh -------------------------------------------------------------------------------- /src/interpreter/meta/jslib/wasm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/jslib/wasm.ml -------------------------------------------------------------------------------- /src/interpreter/meta/travis/build-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/travis/build-test.sh -------------------------------------------------------------------------------- /src/interpreter/meta/travis/install-ocaml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/meta/travis/install-ocaml.sh -------------------------------------------------------------------------------- /src/interpreter/runtime/func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/func.ml -------------------------------------------------------------------------------- /src/interpreter/runtime/func.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/func.mli -------------------------------------------------------------------------------- /src/interpreter/runtime/global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/global.ml -------------------------------------------------------------------------------- /src/interpreter/runtime/global.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/global.mli -------------------------------------------------------------------------------- /src/interpreter/runtime/instance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/instance.ml -------------------------------------------------------------------------------- /src/interpreter/runtime/memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/memory.ml -------------------------------------------------------------------------------- /src/interpreter/runtime/memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/memory.mli -------------------------------------------------------------------------------- /src/interpreter/runtime/table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/table.ml -------------------------------------------------------------------------------- /src/interpreter/runtime/table.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/runtime/table.mli -------------------------------------------------------------------------------- /src/interpreter/script/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/import.ml -------------------------------------------------------------------------------- /src/interpreter/script/import.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/import.mli -------------------------------------------------------------------------------- /src/interpreter/script/js.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/js.ml -------------------------------------------------------------------------------- /src/interpreter/script/js.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/js.mli -------------------------------------------------------------------------------- /src/interpreter/script/run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/run.ml -------------------------------------------------------------------------------- /src/interpreter/script/run.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/run.mli -------------------------------------------------------------------------------- /src/interpreter/script/script.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/script/script.ml -------------------------------------------------------------------------------- /src/interpreter/syntax/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/syntax/ast.ml -------------------------------------------------------------------------------- /src/interpreter/syntax/operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/syntax/operators.ml -------------------------------------------------------------------------------- /src/interpreter/syntax/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/syntax/types.ml -------------------------------------------------------------------------------- /src/interpreter/syntax/values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/syntax/values.ml -------------------------------------------------------------------------------- /src/interpreter/text/arrange.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/arrange.ml -------------------------------------------------------------------------------- /src/interpreter/text/arrange.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/arrange.mli -------------------------------------------------------------------------------- /src/interpreter/text/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/lexer.mli -------------------------------------------------------------------------------- /src/interpreter/text/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/lexer.mll -------------------------------------------------------------------------------- /src/interpreter/text/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/parse.ml -------------------------------------------------------------------------------- /src/interpreter/text/parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/parse.mli -------------------------------------------------------------------------------- /src/interpreter/text/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/parser.mly -------------------------------------------------------------------------------- /src/interpreter/text/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/print.ml -------------------------------------------------------------------------------- /src/interpreter/text/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/text/print.mli -------------------------------------------------------------------------------- /src/interpreter/util/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/error.ml -------------------------------------------------------------------------------- /src/interpreter/util/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/error.mli -------------------------------------------------------------------------------- /src/interpreter/util/io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/io.ml -------------------------------------------------------------------------------- /src/interpreter/util/lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/lib.ml -------------------------------------------------------------------------------- /src/interpreter/util/lib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/lib.mli -------------------------------------------------------------------------------- /src/interpreter/util/sexpr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/sexpr.ml -------------------------------------------------------------------------------- /src/interpreter/util/sexpr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/sexpr.mli -------------------------------------------------------------------------------- /src/interpreter/util/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/source.ml -------------------------------------------------------------------------------- /src/interpreter/util/source.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/util/source.mli -------------------------------------------------------------------------------- /src/interpreter/valid/valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/valid/valid.ml -------------------------------------------------------------------------------- /src/interpreter/valid/valid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/interpreter/valid/valid.mli -------------------------------------------------------------------------------- /src/run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/run.ml -------------------------------------------------------------------------------- /src/run.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/run.mli -------------------------------------------------------------------------------- /src/static/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/dune -------------------------------------------------------------------------------- /src/static/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/eval.ml -------------------------------------------------------------------------------- /src/static/evaluations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/evaluations.ml -------------------------------------------------------------------------------- /src/static/memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/memory.ml -------------------------------------------------------------------------------- /src/static/memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/memory.mli -------------------------------------------------------------------------------- /src/static/strategies.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/strategies.ml -------------------------------------------------------------------------------- /src/static/varmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/static/varmap.ml -------------------------------------------------------------------------------- /src/std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/std.ml -------------------------------------------------------------------------------- /src/waspc/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/bin/dune -------------------------------------------------------------------------------- /src/waspc/bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/bin/main.ml -------------------------------------------------------------------------------- /src/waspc/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/lib/dune -------------------------------------------------------------------------------- /src/waspc/lib/instrumentor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/lib/instrumentor.ml -------------------------------------------------------------------------------- /src/waspc/lib/instrumentor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/lib/instrumentor.mli -------------------------------------------------------------------------------- /src/waspc/lib/log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/lib/log.ml -------------------------------------------------------------------------------- /src/waspc/py/instrumentor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/src/waspc/py/instrumentor.py -------------------------------------------------------------------------------- /tests/c/CostasArray-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/CostasArray-10.c -------------------------------------------------------------------------------- /tests/c/example00.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/example00.c -------------------------------------------------------------------------------- /tests/c/example01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/example01.c -------------------------------------------------------------------------------- /tests/c/example02.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/example02.c -------------------------------------------------------------------------------- /tests/c/example04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/example04.c -------------------------------------------------------------------------------- /tests/c/list-ext.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/list-ext.i -------------------------------------------------------------------------------- /tests/c/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label05.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label05.c -------------------------------------------------------------------------------- /tests/c/test01_andre_prints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/c/test01_andre_prints.c -------------------------------------------------------------------------------- /tests/regression/assume_assert.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/assume_assert.wast -------------------------------------------------------------------------------- /tests/regression/assume_restart.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/assume_restart.wast -------------------------------------------------------------------------------- /tests/regression/binop_to_relop.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/binop_to_relop.wast -------------------------------------------------------------------------------- /tests/regression/borges-simple.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/borges-simple.wast -------------------------------------------------------------------------------- /tests/regression/borges.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/borges.wast -------------------------------------------------------------------------------- /tests/regression/checkpoints.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/checkpoints.wast -------------------------------------------------------------------------------- /tests/regression/coverage_policy.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/coverage_policy.wast -------------------------------------------------------------------------------- /tests/regression/load_store.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/load_store.wast -------------------------------------------------------------------------------- /tests/regression/load_store_symbolic_memory.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/load_store_symbolic_memory.wast -------------------------------------------------------------------------------- /tests/regression/min.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/min.wast -------------------------------------------------------------------------------- /tests/regression/mutable_globals_hold.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/mutable_globals_hold.wast -------------------------------------------------------------------------------- /tests/regression/nearest.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/nearest.wast -------------------------------------------------------------------------------- /tests/regression/nop.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/nop.wast -------------------------------------------------------------------------------- /tests/regression/sqrt.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/sqrt.wast -------------------------------------------------------------------------------- /tests/regression/static.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/static.wast -------------------------------------------------------------------------------- /tests/regression/symbolic_memory_holds.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/symbolic_memory_holds.wast -------------------------------------------------------------------------------- /tests/regression/two_concrete_one_symbolic_locals_restart.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/two_concrete_one_symbolic_locals_restart.wast -------------------------------------------------------------------------------- /tests/regression/two_concrete_one_symbolic_memory_restart.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/two_concrete_one_symbolic_memory_restart.wast -------------------------------------------------------------------------------- /tests/regression/two_concrete_one_symbolic_restart.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/two_concrete_one_symbolic_restart.wast -------------------------------------------------------------------------------- /tests/regression/two_concrete_one_symbolic_with_assume_restart.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/regression/two_concrete_one_symbolic_with_assume_restart.wast -------------------------------------------------------------------------------- /tests/unit/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/dune -------------------------------------------------------------------------------- /tests/unit/test01.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test01.wast -------------------------------------------------------------------------------- /tests/unit/test02.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test02.wast -------------------------------------------------------------------------------- /tests/unit/test03.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test03.wast -------------------------------------------------------------------------------- /tests/unit/test04.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test04.wast -------------------------------------------------------------------------------- /tests/unit/test05.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test05.wast -------------------------------------------------------------------------------- /tests/unit/test06.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test06.wast -------------------------------------------------------------------------------- /tests/unit/test07.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test07.wast -------------------------------------------------------------------------------- /tests/unit/test08.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test08.wast -------------------------------------------------------------------------------- /tests/unit/test09.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test09.wast -------------------------------------------------------------------------------- /tests/unit/test10.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test10.wast -------------------------------------------------------------------------------- /tests/unit/test11.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test11.wast -------------------------------------------------------------------------------- /tests/unit/test12.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test12.wast -------------------------------------------------------------------------------- /tests/unit/test13.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test13.wast -------------------------------------------------------------------------------- /tests/unit/test14.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test14.wast -------------------------------------------------------------------------------- /tests/unit/test15.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test15.wast -------------------------------------------------------------------------------- /tests/unit/test16.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test16.wast -------------------------------------------------------------------------------- /tests/unit/test17.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test17.wast -------------------------------------------------------------------------------- /tests/unit/test18.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test18.wast -------------------------------------------------------------------------------- /tests/unit/test19.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test19.wast -------------------------------------------------------------------------------- /tests/unit/test20.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test20.wast -------------------------------------------------------------------------------- /tests/unit/test21.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test21.wast -------------------------------------------------------------------------------- /tests/unit/test22.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test22.wast -------------------------------------------------------------------------------- /tests/unit/test23.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test23.wast -------------------------------------------------------------------------------- /tests/unit/test_allok.t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test_allok.t -------------------------------------------------------------------------------- /tests/unit/test_problems.t.disabled: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/tests/unit/test_problems.t.disabled -------------------------------------------------------------------------------- /wasp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/wasp/HEAD/wasp.opam --------------------------------------------------------------------------------