Toss Activity

Status: Beta

Brought to you by: lukaszkaiser

• Summary
• Files
• Reviews
• Support
• Mailing Lists
• Code
• SVN

Activity for Toss

• 10 years ago

  Lukasz Kaiser committed [r1937]

  A first version of FO2SO conversion.

• 10 years ago

  Lukasz Kaiser committed [r1936]

  Update to Depqbf 5.0.

• 1 decade ago

  Lukasz Kaiser committed [r1935]

  An example of learning properties in blocks world.

• 1 decade ago

  Lukasz Kaiser committed [r1934]

  Update to work with newer Menhir.

• 1 decade ago

  Lukasz Kaiser committed [r1933]

  Add a check for unpruned quantifier variables i...

• 1 decade ago

  Lukasz Kaiser committed [r1932]

  Generate QCIR formulas.

• 1 decade ago

  Lukasz Kaiser committed [r1931]

  Small corrections, esp. to qiscas output.

• 1 decade ago

  Lukasz Kaiser committed [r1930]

  Bugfix to compile on OSX (thanks Skip).

• 1 decade ago

  Lukasz Kaiser committed [r1929]

  Improve documentation of the compilation process.

1