Zsófia Ádám

icon company @ftsrg icon location Software Engineering PhD Student @ftsrg

Results 26 comments of Zsófia Ádám

Collect and add recent Theta papers to list of publications (Help wanted: add yours!)

Just to make it easier, [see readme here](https://github.com/ftsrg/theta/tree/gh-pages/publications)

xsts-cli: zip package, discussion

Uploaded manually to the v6.8.6 release - I'll use it for a while before doing anything else, but I'll leave this issue open until it is also added to CI.

xsts-cli: add --version flag

Extra info: - `--version` shows "no such option", - while `CEGAR --version` actually shows `CEGAR version 6.8.6` - where I'm not sure if CEGAR means anything..? *(but the number is...

Improve local variables by introducing a new Decl for them

@mondokm can this issue be closed?

Improve errors when an XSTS property file is not found or understood as an inline property

@mondokm can this issue be closed?

Generalization of CegarChecker and related classes

@RipplB is this done or planned?