Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 13, 2020

• Fix issue where typo in configuration results in extremely verbose error message (#1014)

  Show description for 3e4bf42
  

  Dwight Guth

  and

  rv-jenkins

  committed
  3e4bf42

  Copy full SHA for 3e4bf42

Commits on Nov 4, 2019

• k-distribution,kernel: remove notInRules (#870)

  Show description for 25b4df6
  

  ehildenb

  authored and

  rv-jenkins

  committed
  25b4df6

  Copy full SHA for 25b4df6

Commits on Jun 12, 2019

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

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

• KORE fixes for IELE (#151)

  Show description for 8b9f1ba
  

  dwightguth

  authored
  8b9f1ba

  Copy full SHA for 8b9f1ba

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 Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

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

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

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 15, 2016

• Fix addBracket test.

  Show description for ebc7246
  radumereuta

  committed
  ebc7246

  Copy full SHA for ebc7246

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

Commits on Jan 14, 2016

• Revert "revert #1962 because of failure to correctly print errors in non compiling definitions"

  Show description for 095af61
  cos

  committed
  095af61

  Copy full SHA for 095af61

Commits on Jan 12, 2016

• revert #1962 because of failure to correctly print errors in non compiling definitions

  Show description for 4d56eb5
  

  Dwight Guth

  committed
  4d56eb5

  Copy full SHA for 4d56eb5

Commits on Jan 8, 2016

• Merge pull request #2007 from dwightguth/binary

  Show description for 91651e7
  cos

  committed
  91651e7

  Copy full SHA for 91651e7

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

• Merge remote-tracking branch 'origin/master' into feature/k-api2

  Show description for 2b2ba51
  cos

  committed
  2b2ba51

  Copy full SHA for 2b2ba51

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

• 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 5, 2016

• remove throws IOException

  Show description for 2a3c479
  cos

  committed
  2a3c479

  Copy full SHA for 2a3c479

Commits on Jan 3, 2016

• Merge remote-tracking branch 'remotes/origin/master' into feature/k-api2

  Show description for 3515607
  cos

  committed
  3515607

  Copy full SHA for 3515607

• ParserUtil no longer dependent on FileUtil

  Show description for 7cbc704
  cos

  committed
  7cbc704

  Copy full SHA for 7cbc704

Commits on Jan 2, 2016

• propagate autoIncludeDomains parameter

  Show description for ee7612e
  cos

  committed
  ee7612e

  Copy full SHA for ee7612e

Commits on Nov 30, 2015

• add kdep tool to assist with makefiles

  Show description for 8c32ed2
  

  Dwight Guth

  committed
  8c32ed2

  Copy full SHA for 8c32ed2

Commits on Nov 18, 2015

• temp

  Show description for 1b256a2
  

  Dwight Guth

  committed
  1b256a2

  Copy full SHA for 1b256a2

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11