| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-19 | Strings are all in lowercase. | Nathanael Sensfelder | |
| Still doesn't fix CNE_01200's valid.vhd:19 not being detected. The instr model seems correct, though. | |||
| 2017-09-19 | Fixes anonymous strings, adds CNE_01100 test. | Nathanael Sensfelder | |
| 2017-09-19 | Removes the extra set of " that messed with regex. | Nathanael Sensfelder | |
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder | |
| 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. | |||
| 2017-07-31 | First shot at the handling of regular expressions. | Nathanael Sensfelder | |
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder | |
| 2017-07-26 | (Woops) Adds anonymous strings support. | Nathanael Sensfelder | |
| 2017-07-25 | It seems to work. | Nathanael Sensfelder | |