mirror of https://github.com/circify/circ.git synced 2026-01-11 06:37:58 -05:00

Files

Edward Chen 7693d30975 Updates to C Frontend (#67 )

Supporting:
- structs
- ptrs
- n-dimension arrays
- nested structs
- typedef
- sizeof
- shift operations

Benchmarks:
- Original HyCC kmeans testcase (without recursion).
- Original HyCC gauss testcase.

Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
Co-authored-by: Ubuntu <ubuntu@neptune2.maas>

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

hycc

Updates to C Frontend (#67 )

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

opa

C Frontend (#22 )

2022-01-20 10:16:27 -08:00

ZoKrates

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

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

README.md

start interpreting ZoKrates

2021-02-19 00:56:46 -08:00

README.md

Third Party Dependencies

This directory contains source copied from other projects

Dependencies

ZoKrates Parser & AST, version 0.6.3