cleaned up the constructor of KItem; cached LIST_TERMINATOR
minor refactoring
cached results of getMaximalLowerBounds method; fixed a latent bug in getGLB when there are multiple LBs but no GLB
forgot to cache different list terminators with different separators
Invalidating cache if the definition is out of date with the latest version of K.
Fine, catching something more concrete than Exception.
Refactoring a bit more.
added unit tests for Poset; also fixed getLUB in order to pass the unit tests
Merge pull request #622 from kframework/segregate-data-in-rewriting

I have a green light from Andrei.
Merge pull request #626 from kframework/invalidateCache

Invalidating cache if the definition is out of date with the latest version of K.
Merge pull request #601 from yilongli/cleanup-KItem-constructor

Cleanup k item constructor
fix kast --parser binary on java backend
Merge pull request #629 from dwightguth/binaryparser

fix kast --parser binary on java backend
add base2string and string2base to string.k
Merge branch 'master' into master2ub2
Merge pull request #632 from kframework/master2ub2

Master2ub2
fix code for computing least sort of KItems
Merge pull request #631 from dwightguth/base2string

add base2string and string2base to string.k
remove exceptions that aren't really error cases
Merge pull request #637 from dwightguth/sets

remove exceptions that aren't really error cases