Arthur Baars 6aea3eff3e CFG: rename getBody{=>Node} and getCondition{=>Node}

2020-12-07 15:30:57 +01:00

..

consistency-queries

Move AST files into ast folder

2020-11-27 14:45:15 +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

CFG: rename getBody{=>Node} and getCondition{=>Node}

2020-12-07 15:30:57 +01:00

test

CFG: skip Uninterpreted nodes

2020-12-07 13:11:21 +01:00