Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Oct 19, 2019

• Remove 'poly' attribute (#819)

  Show description for ae1d5e2
  

  dwightguth

  authored and

  ehildenb

  committed
  ae1d5e2

  Copy full SHA for ae1d5e2

Commits on Sep 30, 2019

• Structured JSON serialized attributes (#806)

  Show description for 2963272
  ehildenb

  authored
  2963272

  Copy full SHA for 2963272

Commits on Sep 23, 2019

• Sort Synonyms (#791)

  Show description for 41c3e29
  

  dwightguth

  authored
  41c3e29

  Copy full SHA for 41c3e29

Commits on Sep 13, 2019

• Emit json definitions when kompiling (#771)

  Show description for 91e6990
  ehildenb

  authored
  91e6990

  Copy full SHA for 91e6990

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