Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Apr 11, 2019

• Latex serializer/output mode (#380)

  Show description for 55e905b
  

  ehildenb

  authored and

  dwightguth

  committed
  55e905b

  Copy full SHA for 55e905b

Commits on Feb 25, 2019

• Updates to StateLog for KLab to work for non-proof executions (#314)

  Show description for 638c0b5
  

  ehildenb

  authored and

  dwightguth

  committed
  638c0b5

  Copy full SHA for 638c0b5

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 Aug 25, 2018

• Json output (#136)

  Show description for a7f642d
  

  ehildenb

  authored and

  dwightguth

  committed
  a7f642d

  Copy full SHA for a7f642d

Loading