Explore projects
-
Updated
-
-
Meta-project including all git submodules necessary to make a taste installation
Updated -
-
Updated
-
Convert s2k files to binaries (this allows comparisons with binaries generated from objcopy)
Updated -
-
-
Buildsupport - Tool to generate function skeletons and glue code.
Updated -
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
Updated -
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
Updated -
-
This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
-
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
Updated