Tom Hvitved bb06c1ffeb Various minor changes to Variables.qll

2020-11-23 09:58:31 +01:00

..

consistency-queries

Initial CFG skeleton code

2020-11-18 20:12:42 +01:00

docs

Add folder structure for QL code

2020-10-28 14:04:36 +01:00

examples

Add folder structure for QL code

2020-10-28 14:04:36 +01:00

src

Various minor changes to Variables.qll

2020-11-23 09:58:31 +01:00

test

Model local variables

2020-11-23 09:58:31 +01:00