SIEVE circuit compositor.
Built using nix. Follow the upstream nix installation instructions.
$ nix-shell --pure --run "make"
NOTE:
nix-shell
invocations interact poorly with, e.g., the fish shell. Use a Development Environment to run the quoted command, or drop into bash temporarily.
$ nix-shell --pure --run "make install"
$ nix-shell --pure --run "make test"
To enter a shell with all dependencies,
$ nix-shell
Or a shell with only the dependencies (eliminating any system-specifics):
$ nix-shell --pure
This research was developed with funding from the Defense Advanced Research Projects Agency (DARPA) under Agreement No. HR001120C0084.
The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.
DISTRIBUTION STATEMENT A: Approved for public release, distribution unlimited.
sv_circuit is licensed under the GNU AGPLv3 License. A copy of the terms can be found in the LICENSE file.