Select a component to see open bugs in that component:

Jambox

finds proofs of termination of string rewriting via RFC match bounds

Components

  Default Assignee
external Jörg Endrullis
everything regarding interfaces: command line parsing, SRS file parings, proof output, graphical output (Applet), documentation (web site)
internal Jörg Endrullis
everything that is directly related to finding the proofs