Commits

Breadcrumbs

History for

onwithConfig2

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 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

Commits on Nov 18, 2015

• make scala collections use uniform

  Show description for 46a2ba9
  cos

  committed
  46a2ba9

  Copy full SHA for 46a2ba9

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11

• fast binary parser for k

  Show description for 39e91c5
  

  Dwight Guth

  committed
  39e91c5

  Copy full SHA for 39e91c5

Commits on Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Sep 21, 2015

• fix part of issue # 1662: remove brackets around assoc labels (format adjust)

  Show description for 78371a4
  laurayuwen

  committed
  78371a4

  Copy full SHA for 78371a4