Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jul 9, 2019

• Refactored #Ceil axiom to use Set vars (#596)

  Show description for 89361d7
  

  traiansf

  authored and

  dwightguth

  committed
  89361d7

  Copy full SHA for 89361d7

Commits on Jun 20, 2019

• made Rewriter::prove return RewriterResult (#562)

  Show description for fe44659
  traiansf

  authored
  fe44659

  Copy full SHA for fe44659

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on Jun 11, 2019

• kprove: refactoring. Renamed and moved spliceModule() to actual specification steps in each backend, where it belongs. (#526)

  

  denis-bogdanas

  authored and

  ehildenb

  committed
  e8210a4

  Copy full SHA for e8210a4

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

• Revert "KProve architecture extension: made pretty printing available to Rewriter (#288)"

  Show description for cc72c39
  

  Dwight Guth

  committed
  cc72c39

  Copy full SHA for cc72c39

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

  Show description for 542bf00
  denis-bogdanas

  authored
  542bf00

  Copy full SHA for 542bf00

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 Nov 8, 2018

• Cache file option, re-done (#188)

  Show description for 4148d28
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  4148d28

  Copy full SHA for 4148d28

Commits on Nov 5, 2018

• Revert "Global options: Option --cache-file to change default location of parse cache (#179)"

  Show description for 6d1e972
  

  Dwight Guth

  committed
  6d1e972

  Copy full SHA for 6d1e972

Commits on Oct 29, 2018

• Global options: Option --cache-file to change default location of parse cache (#179)

  Show description for eb906c7
  denis-bogdanas

  authored
  eb906c7

  Copy full SHA for eb906c7

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 Jul 29, 2018

• Logs: Short summary box after a proof is finished, (#122)

  Show description for f9a1aaa
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  f9a1aaa

  Copy full SHA for f9a1aaa

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on May 14, 2018

• don't compile all parsed modules as entry modules in prover (#64)

  

  dwightguth

  authored
  40ddbe5

  Copy full SHA for 40ddbe5

Commits on May 9, 2018

• Fix compilation errors with Java 9 (#65)

  

  traiansf

  authored and

  dwightguth

  committed
  a4be64c

  Copy full SHA for a4be64c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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