quantifier expansion using z3's qe
minor
allow newlines after operators in specs
new lines again
added draft of amba param spec
amba_spec: added locked incr
many minor fixes
minor
minor
.gitignore: tmp files
more ignore
more ignore
beautification of dot files
fix strange error
minor
more logs
minor
checkpoint
meautification: fixes: seems to work
bug fix: SyncImpl now also adds init condition on the token