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

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Mar 13, 2017

• Revert "Revert "overloading operators + default constructor + misc fi… (#400)

  Show description for 8763915
  

  dwightguth

  authored
  8763915

  Copy full SHA for 8763915

• Revert "overloading operators + default constructor + misc fixes (#397)"

  Show description for 1b0a86f
  

  Dwight Guth

  committed
  1b0a86f

  Copy full SHA for 1b0a86f

• overloading operators + default constructor + misc fixes (#397)

  Show description for 95b4d3a
  

  dwightguth

  authored
  95b4d3a

  Copy full SHA for 95b4d3a

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

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

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

• Fix addBracket test.

  Show description for ebc7246
  radumereuta

  committed
  ebc7246

  Copy full SHA for ebc7246

• Fix addEmptyLits tests.

  Show description for 7870965
  radumereuta

  committed
  7870965

  Copy full SHA for 7870965

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

• Remove even more quotes.

  Show description for 17d38bd
  radumereuta

  committed
  17d38bd

  Copy full SHA for 17d38bd

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

• Merge branch 'master' into fix1943

  Show description for f0e16d5
  radumereuta

  committed
  f0e16d5

  Copy full SHA for f0e16d5

Commits on Jan 12, 2016

• Merge pull request #1955 from kframework/feature/java-backend-assoc2

  Show description for 2cd48c5
  cos

  committed
  2cd48c5

  Copy full SHA for 2cd48c5

• Fixing tests.

  Show description for 3e7e13d
  radumereuta

  committed
  3e7e13d

  Copy full SHA for 3e7e13d

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

• Merge remote-tracking branch 'upstream/master' into feature/java-backend-assoc2

  Show description for dd0fd27
  andreistefanescu

  committed
  dd0fd27

  Copy full SHA for dd0fd27

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

• fix unit test

  Show description for a3ee9ad
  

  Dwight Guth

  committed
  a3ee9ad

  Copy full SHA for a3ee9ad

• 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

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

  Show description for 6ffa0cf
  cos

  committed
  6ffa0cf

  Copy full SHA for 6ffa0cf

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

• Merge pull request #1999 from dwightguth/avoid

  Show description for 4160018
  bmmoore

  committed
  4160018

  Copy full SHA for 4160018