tabellion/data/ast, branch master Verification tool for VHDL (or at least the prototype of one). Woops, I was testing against a FE signal. 2017-08-01T09:40:59+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T09:40:59+00:00 bb3424bce5919757d66d375c03a1aa43ae14577c No wonder it didn't find any solution... 
No wonder it didn't find any solution...
Fixes is_accessed_by. CNE_01700 is not working. 2017-08-01T09:10:01+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T09:10:01+00:00 4637db06583bc250b96e6145fc7bac9e16c730df The BCE has been updated to include a group of items that should be tagged by the CNE_01700 rule. However, it's not happening. I don't see anything wrong with the way the CNE_01700 rule is written and a quick overview of the generated model would lead me to conclude that it indeed should tag something. Likely there are still issues with the way properties are turned into Kodkod formulas. 
The BCE has been updated to include a group of items that should be
tagged by the CNE_01700 rule. However, it's not happening. I don't see
anything wrong with the way the CNE_01700 rule is written and a quick
overview of the generated model would lead me to conclude that it indeed
should tag something. Likely there are still issues with the way
properties are turned into Kodkod formulas.
Updates bce's AST to include functions. 2017-07-26T08:13:41+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T08:13:41+00:00 1eb79a5c6ae03500a2816a34983e5d4cc700de33 






Initial commit.
2017-07-17T08:13:31+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-17T08:13:31+00:00

3e019d57fab57afe7aad373385f32a23bd178941