tabellion/data/ast, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-08-01T09:40:59Z Woops, I was testing against a FE signal. 2017-08-01T09:40:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T09:40:59Z urn:sha1:bb3424bce5919757d66d375c03a1aa43ae14577c No wonder it didn't find any solution... Fixes is_accessed_by. CNE_01700 is not working. 2017-08-01T09:10:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T09:10:01Z urn:sha1: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. Updates bce's AST to include functions. 2017-07-26T08:13:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T08:13:41Z urn:sha1:1eb79a5c6ae03500a2816a34983e5d4cc700de33 Initial commit. 2017-07-17T08:13:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T08:13:31Z urn:sha1:3e019d57fab57afe7aad373385f32a23bd178941