Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on Apr 15, 2019

• fix bug in FrontEnd involving --help and FileUtil (#411)

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

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 Feb 13, 2019

• KProve architecture extension: made pretty printing available to Rewriter (#292)

  Show description for 178c2f6
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  178c2f6

  Copy full SHA for 178c2f6

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 Oct 2, 2018

• Allow making modifications/omissions to the output via command-line flags (#157)

  Show description for bae137e
  

  ehildenb

  authored and

  dwightguth

  committed
  bae137e

  Copy full SHA for bae137e

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