Alex Ozdemir ec9ef12415 SV Comp-style tests for C front-end. (#100) ...

* SV Comp-style tests for C front-end.

Very minimal, since the C front-end is.

* more tests for shl

2023-01-22 14:18:08 -05:00

..

aby_tests

fix kmeans

2022-12-09 20:30:31 +00:00

zx_tests

improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)

2022-05-04 10:08:23 -07:00

build_aby.zsh

aws setup script

2022-07-28 01:14:34 -04:00

build_mpc_c_benchmark.zsh

removed benchmark cmd and minior updates to benchmarking scripts

2022-08-02 05:18:12 +00:00

build_mpc_c_test.zsh

fix kmeans

2022-12-09 20:30:31 +00:00

build_mpc_zokrates_test.zsh

Updates to C Frontend (#67)

2022-05-20 02:20:36 -04:00

build_r1cs_c_test.zsh

Updating build system (#44)

2022-02-25 17:13:10 -05:00

clean_aby.zsh

ABY VM and Interpreter (#47)

2022-02-28 19:47:50 -05:00

dependencies_arch.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_macos_homebrew.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_ubuntu.sh

IR textual format: parser & serializer. (#48)

2022-02-15 09:49:30 -08:00

opa_bench.zsh

OPA-by-ILP benchmark example

2021-08-24 10:01:19 -07:00

profile_sha.zsh

IR-based Zokrates front-end (#33)

2022-01-01 11:44:56 -08:00

test_c_smt.zsh

SV Comp-style tests for C front-end. (#100)

2023-01-22 14:18:08 -05:00

test_datalog.zsh

Updating build system (#44)

2022-02-25 17:13:10 -05:00

test_zok_to_ilp_pf.zsh

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00

test_zok_to_ilp.zsh

Updating build system (#44)

2022-02-25 17:13:10 -05:00

zokrates_test.zsh

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00