projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fee7689) | patch
demote 'system_thread' to just 'system_context'
authorBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 23:52:20 +0000 (16:52 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 23:52:20 +0000 (16:52 -0700)
commit8a7dd35db7542ad66f87060cf637172249494e47
tree50164c66d3f9bbe020fdeab10b7f470430c8e786tree | snapshot
parentfee76896120acbf7b5fa41fc99fca05c54b1f8dacommit | diff
demote 'system_thread' to just 'system_context'

I don't need the extra 'class Thread' metadata for the ModelChecker 'system
thread,' and the dual use of class Thread for both system and user threads was
causing problems. So I separate them: class Thread is used only for user
threads. This changes a few interfaces throughout the code.
model.cc diff | blob | history
model.h diff | blob | history
threads.cc diff | blob | history
threads.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.