Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Mar 5, 2019

• Java Backend debug: option `--boundary-cells` (#311)

  Show description for 4a99ff2
  denis-bogdanas

  authored
  4a99ff2

  Copy full SHA for 4a99ff2

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Dec 4, 2018

• Added --depth to kprove for the haskell backend. (#211)

  

  Vladimir Ciobanu

  authored and

  dwightguth

  committed
  516b57c

  Copy full SHA for 516b57c

Commits on Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Loading