Termite

Termite

The Termite driver synthesis tool

synthesis

Termite synthesis engine

specs

Driver specifications

termite-app

Main Termite tool

hast

Higher-order ASTs

simple-abstractor

Simple abstractor for the Termite project

syntcomp

Synthesis competition entry

syntcomp-benchmark

Benchmarking program for my synthesis competition entry

tsl

TSL2 compiler

util

Common Termite utilities

adam-thesis

Adam Walker's PhD thesis

bdd

BDD abstraction layer

bv

Termite's bitvector solver

code-widget

Termite code widget

cudd

An unofficial mirror of the CUDD decision diagrams package

debug

Visual debugger

dma_synthesis

graph-draw

Graph drawing widget

haskell_cudd

Haskell bindings to the CUDD binary decision diagram library