Java backend: pattern matching: removed a wrong assertion
Java backend: pattern matching: removed a wrong assertion
Merge branch 'master' of github.com:yilongli/k
addressed the comments on code review
added support for iteration over sets and maps; fixed set concatenation in the right-hand side
added more javadoc for Bottom
added comments to DataStructureToLookupUpdate
Merge pull request #265 from yilongli/master

my first pull request; addressed comments from code review
more comment regarding sets and maps
Merge pull request #268 from kframework/data_structure_iteration

added support for iteration over sets and maps; fixed set concatenation ...
fixed idea project
Merge pull request #272 from andreistefanescu/master

fixed idea project
added option to kompile and krun controlling whether the java backend throws a failed assertion when function definitions are not deterministic
refactored the builtin implementation of the k visitor; fixes to hook invokation in the java backend
Merge pull request #275 from andreistefanescu/master

added option to kompile and krun controlling whether the java backend th...
more comments on hook exclusion
Merge pull request #279 from andreistefanescu/k_builin_visitor

K buitlin visitor refactoring
delete accidentally commited src/.DS_Store
indexing: started moving rule indexing to kompile
moved indexing to kompile