Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 20, 2019

• java-backend: Variable.equals() is now based on name and sort (#687)

  Show description for 2ced6b6
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  2ced6b6

  Copy full SHA for 2ced6b6

Commits on Jul 29, 2019

• Pyk library updates and fixes to KPrint output (#651)

  Show description for b87f53f
  ehildenb

  authored
  b87f53f

  Copy full SHA for b87f53f

Commits on Jun 20, 2019

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on May 28, 2019

• Fix bug involving fresh functions and top sort in ocaml backend (#489)

  Show description for a0b6ba5
  

  dwightguth

  authored
  a0b6ba5

  Copy full SHA for a0b6ba5

Commits on May 13, 2019

• Kast respects output, allows specifying any output format for `kast` (#406)

  Show description for cb3afa4
  ehildenb

  authored
  cb3afa4

  Copy full SHA for cb3afa4

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 Mar 4, 2019

• Mainline klab (#303)

  Show description for 0aa75fa
  

  mhhf

  authored and

  ehildenb

  committed
  0aa75fa

  Copy full SHA for 0aa75fa

Commits on Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

• 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 Feb 22, 2019

• Add option to turn off alpha renaming (#308)

  Show description for 4d7b16f
  

  ehildenb

  authored and

  dwightguth

  committed
  4d7b16f

  Copy full SHA for 4d7b16f

Commits on Feb 21, 2019

• Java Backend: option --format-failures (#304)

  Show description for c91f5ac
  denis-bogdanas

  authored
  c91f5ac

  Copy full SHA for c91f5ac

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 17, 2018

• State logging functionality to support tools like klab (#222)

  Show description for a85d913
  

  ehildenb

  authored
  a85d913

  Copy full SHA for a85d913

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

• Json output (#136)

  Show description for a7f642d
  

  ehildenb

  authored and

  dwightguth

  committed
  a7f642d

  Copy full SHA for a7f642d

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 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Feb 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 8, 2016

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

Commits on Jan 7, 2016

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

• document format

  Show description for 588ae37
  

  Dwight Guth

  committed
  588ae37

  Copy full SHA for 588ae37

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

• fix concatenation of terms together

  Show description for 98015a2
  

  Dwight Guth

  committed
  98015a2

  Copy full SHA for 98015a2

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Jan 2, 2016

• slightly cleaner

  Show description for fc9c6b1
  cos

  committed
  fc9c6b1

  Copy full SHA for fc9c6b1

• this should work

  Show description for 2d11bd7
  cos

  committed
  2d11bd7

  Copy full SHA for 2d11bd7

Commits on Nov 20, 2015

• more optimizations

  Show description for b14bece
  

  Dwight Guth

  committed
  b14bece

  Copy full SHA for b14bece