projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e462c46) | patch
allow shorter spec --- @Interface is not mandatory
authorPeizhao Ou <peizhaoo@uci.edu>
Thu, 3 Mar 2016 22:45:46 +0000 (14:45 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Thu, 3 Mar 2016 22:45:46 +0000 (14:45 -0800)
commitd9e508585c6a61b781f2cc6beeac3b8e7ecc402c
tree7163340f40d4fd24ab6e443dae61ac9708f15d37tree | snapshot
parente462c467b5d6999be69d8a7de5a2714671894c36commit | diff
allow shorter spec --- @Interface is not mandatory
src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java diff | blob | history
src/edu/uci/eecs/specExtraction/InterfaceConstruct.java diff | blob | history
src/edu/uci/eecs/specExtraction/SpecExtractor.java diff | blob | history
This is the public repository for the CDSSpec specification compiler.