projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ca6ef0) | patch
model: remove old "uninitialized" bug check
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:45:23 +0000 (22:45 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:45:23 +0000 (22:45 -0800)
commitea16f9a5121a4e58881a88c0d29fca9138e72464
tree99bc89801ad3134703259c45d1dc1e233430b411tree | snapshot
parent2ca6ef09383bf8845c18bb478396da3a260da08fcommit | diff
model: remove old "uninitialized" bug check

The previously-existing bug check is not fully correct and has been
replaced with explicit UNINIT actions that, when read from, trigger a
bug assertion.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.