Explore projects
-
Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).
Updated -
Updated
-
Updated
-
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
Updated -
Updated
-
-
-
-
Ondra Lengál / libvata-tree-congr
GNU General Public License v3.0 onlyAn extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
Lenka Turoňová / Automata-cadet_bench-29-03-2019
MIT LicenseUpdated -
Common BUS for communication of all Testos componens.
Updated -
Lenka Turoňová / Automata-cadet_bench-07-03-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
-
Lenka Turoňová / Automata-06-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-02-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-25-01-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata
MIT LicenseUpdated -
Updated
-
Java Concurrency Testing / rrcontractvalidator
BSD 3-Clause "New" or "Revised" LicenseLocal copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner
Updated