Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

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

• fast binary parser for k

  Show description for 39e91c5
  

  Dwight Guth

  committed
  39e91c5

  Copy full SHA for 39e91c5

Commits on Aug 14, 2015

• fix unparsing error for unknown token production

  Show description for 72377d3
  daejunpark

  committed
  72377d3

  Copy full SHA for 72377d3

Commits on Aug 8, 2015

• Refactor parseString to return K.

  Show description for 8766a87
  bmmoore

  committed
  8766a87

  Copy full SHA for 8766a87

Commits on Jun 23, 2015

• more improvements to ocaml backend

  Show description for b6570c4
  

  Dwight Guth

  committed
  b6570c4

  Copy full SHA for b6570c4

Commits on Jun 16, 2015

• Make grammar generators return the seed instead of directly a module.

  Show description for 2b93b81
  radumereuta

  committed
  2b93b81

  Copy full SHA for 2b93b81

Commits on Jun 9, 2015

• Partial work on refactoring the parser integration.

  Show description for 566312b
  radumereuta

  committed
  566312b

  Copy full SHA for 566312b

Commits on May 7, 2015

• kast with new pipeline + external parsers + resolve anonymous vars + misc

  Show description for 92a21ee
  

  Dwight Guth

  committed
  92a21ee

  Copy full SHA for 92a21ee

Commits on Apr 30, 2015

• fix merge conflict

  Show description for cc8a118
  

  Dwight Guth

  committed
  cc8a118

  Copy full SHA for cc8a118

• fix copyright

  Show description for 7d7b653
  

  Dwight Guth

  committed
  7d7b653

  Copy full SHA for 7d7b653

• fix #1319 in new pipeline : new AddBrackets class for KORE

  Show description for 8ac5052
  

  Dwight Guth

  committed
  8ac5052

  Copy full SHA for 8ac5052

Loading