Tags

Tags give the ability to mark specific points in history as being important

  • v1.2.1

    protected
    2c1bc91c · Version 1.2.1: Fix dependency resolution on same names across files · 
    Version 1.2.1: Fix dependency resolution on same names across files
    Unverified

  • v1.2.0

    protected
    b9adf101 · Version 1.2.0 · 
    Version 1.2: HarnessForge version used for TACAS 2026 submission

Multiple bug fixes and improvements.
    Unverified

  • v1.1.0

    protected
    1e12de61 · Merge branch 'add-tutorial' into 'main' · 
    Version 1.1: Used for creation of Intel TDX Module verification tasks in ASE 2025 industry track submission.

This version of HarnessForge adds the creation and use of project-config.yaml and multiple bug fixes and performance improvements.
    Unverified

  • v1.0.0

    protected
    f59d56a9 · Version 1.0.0 ·
    Release: Version 1.0.0 
    Version 1.0.0

HarnessForge is run through `bin/harnessforge`.
It supports:

1. Creating new verification tasks with command `bin/harnessforge create-task`
2. Slicing a C program based on syntactic reachability of functions and
   types; with command `bin/harnessforge slice`.
3. Creating initialization methods for non-deterministic objects of
   non-primitive type; with command `bin/harnessforge create-init`

See `README.md` and `doc/how-to` for more information.
    Unverified