GitHub - ulriknyman/UCDD: Uppaal CDD library

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
base		base
cdd		cdd
dbm		dbm
debug		debug
hash		hash
include		include
io		io
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.txt		README.txt
config.h.cmake		config.h.cmake

Repository files navigation


The following packages need to be installed:

Compiler: GCC-10 g++-10
Build system generator: cmake
Build driver: make (or ninja)
Perfect hash function generator: gperf
Lexer generator: flex
Parser generator: bison > 3.6.0 (See note for ubuntu 20.04)
patchelf
chrpath
gawk
Version control system git