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

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

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

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

• 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

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

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

• fix

  Show description for ea882ba
  cos

  committed
  ea882ba

  Copy full SHA for ea882ba

• don't blame me

  Show description for 55f31db
  cos

  committed
  55f31db

  Copy full SHA for 55f31db

Commits on Jan 2, 2016

• propagate autoIncludeDomains parameter

  Show description for ee7612e
  cos

  committed
  ee7612e

  Copy full SHA for ee7612e

Commits on Dec 23, 2015

• cleanup: no more mainSyntaxModule

  Show description for 88398ae
  cos

  committed
  88398ae

  Copy full SHA for 88398ae

• different attempt

  Show description for 223a237
  cos

  committed
  223a237

  Copy full SHA for 223a237

• fix attempt

  Show description for 10830f5
  cos

  committed
  10830f5

  Copy full SHA for 10830f5

Commits on Dec 12, 2015

• Making sure I'm testing all the klabels associated to the parser lists.

  Show description for 161472c
  radumereuta

  committed
  161472c

  Copy full SHA for 161472c

Commits on Dec 11, 2015

• Adding test for programs.

  Show description for b93bdd8
  radumereuta

  committed
  b93bdd8

  Copy full SHA for b93bdd8

• Adding more tests.

  Show description for de22737
  radumereuta

  committed
  de22737

  Copy full SHA for de22737

Commits on Dec 8, 2015

• Add unit test.

  Show description for 31d46bb
  radumereuta

  committed
  31d46bb

  Copy full SHA for 31d46bb

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

• Merge pull request #1798 from bmmoore/list-terminator

  Show description for 1d5e3da
  bmmoore

  committed
  1d5e3da

  Copy full SHA for 1d5e3da

• Merge pull request #1810 from dwightguth/javabackend2

  Show description for 87b55e5
  

  dwightguth

  committed
  87b55e5

  Copy full SHA for 87b55e5

• Test that KList will not be an inferred

  Show description for 1bde72e
  bmmoore

  committed
  1bde72e

  Copy full SHA for 1bde72e

Commits on Nov 4, 2015

• deletions

  Show description for e8db164
  

  Dwight Guth

  committed
  e8db164

  Copy full SHA for e8db164

Commits on Oct 23, 2015

• Start testing list arguments to labeled application

  Show description for ce65658
  bmmoore

  committed
  ce65658

  Copy full SHA for ce65658

Commits on Oct 22, 2015

• Filter argument sorts

  Show description for 4f9ae39
  bmmoore

  committed
  4f9ae39

  Copy full SHA for 4f9ae39

• Partial labeled syntax support in AddEmptyLists

  Show description for 35c9838
  bmmoore

  committed
  35c9838

  Copy full SHA for 35c9838

• Terms of subsorted lists don't need list wrapping.

  Show description for f760bc0
  bmmoore

  committed
  f760bc0

  Copy full SHA for f760bc0

• AddEmptyLists unit test

  Show description for 96ae8c5
  bmmoore

  committed
  96ae8c5

  Copy full SHA for 96ae8c5