WizToolKit about docs source

Docs Nav

Change Version:

WizToolKit Manual

WizToolKit Manual

Introduction
Parsing the IR
The NAILS Interpreter
IR Plugins
Tools
- wtk-firealarm: Non-ZK IR Interpreter for Debugging
- wtk-press: Converter for the Text and Flatbuffer Formats
Testcase Generation Scripts
Sample Backend Code
Installation Guide

Distribution Statement A: Approved for Public Release, Distribution Unlimited.

Copyright © 2023, Stealth Software Technologies, Inc. All Rights Reserved.

This research was developed with funding from the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR001120C0087. 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.