Mihály Dobos-Kovács

I agree, #165 should include this change. I also think, that Ubuntu 18.04 should be abandoned (unless the BME cloud machines require it).

I agree. The question is where this functionality should be implemented in the code. My argument is, that the interchangeable solver backend coming with the changes in branch solver-smtlib, the...

This feature is rather huge, so it will be implemented over multiple pull requests to the master, to gather feedback between steps. ### Road to SMT-LIB solvers - [x] Initial...

**Proposed syntax 1** ``` @{ key1 -> val1, key2 -> val2, ... } process main() { @{ key1 -> val1, key2 -> val2, ... } var x: int @{ key1...

**Proposed syntax 2** ``` process main() @{ key1 -> val1, key2 -> val2, ... } { var x: int @{ key1 -> val1, key2 -> val2, ... } loc L1...

As of now, the functional tests in `test/theta/verif/memory` yield the following result: ``` Testing Time: 177.19s ******************** Failing Tests (1): gazer :: theta/verif/memory/globals2.c ******************** Timed Out Tests (4): gazer ::...