Mihály Dobos-Kovács
Mihály Dobos-Kovács
Right now Codacy checks every pull request. However, Codacy's settings do not always match the coding conventions that Theta follows. For example, the message below is a common error, that...
[Feature Request] The aim of this feature request is to provide an alternative syntax or frontend to the currently used CFA grammar. Although the CFA grammar is fairly close to...
[Feature Request] The aim of this feature request is to provide annotation capabilities for the CFA grammar. As there are tools (such as [GAZER](https://github.com/ftsrg/gazer), or the tool requested in #65...
In CMakeLists.txt the C++ standard is set to C++17. https://github.com/ftsrg/gazer/blob/ec1994d28a75441da6ed0ef4d7333b90031b7fc2/CMakeLists.txt#L9 However, when building the code with Travis, the building process might fail with an error (header `` is part of...
When CMake uses ninja as backend instead of UNIX Makefiles, the building process fails because it cannot download Z3. The Z3 download process is configured as: https://github.com/ftsrg/gazer/blob/02150816df528f822ea6befde889c3809b692aec/src/SolverZ3/CMakeLists.txt#L7-L16 It is a...
This pull request adds support for bitvector expressions and array literals in the Theta backend. Also as a minor improvement closes #37 . - [x] Bitvector support - [x] Array...