Commits

History for

Commits on Aug 11, 2023

Everything builds correctly, tests passing.
László Antal
committedAug 11, 2023
Merge branch 'feature/starSets' into feature/starSets_masara_thesis
László Antal
committedAug 11, 2023

Commits on Jun 15, 2023

fix bug in package export
modass
committedJun 15, 2023

Commits on Jun 7, 2023

update export
modass
committedJun 7, 2023

Commits on May 16, 2023

remove cotire (superseeded by recent cmake versions)
modass
committedMay 16, 2023

Commits on May 11, 2023

reduce dependency of hypro and its parser in resources
modass
committedMay 11, 2023

Commits on Apr 16, 2023

1st attempt to enable coverage reports
modass
committedApr 16, 2023

Commits on Apr 5, 2023

add protobuf
modass
committedApr 5, 2023

Commits on Mar 29, 2023

add macro to check for internet connection for fetch_content and external_project in cmake
modass
committedMar 29, 2023

Commits on Mar 15, 2023

update carl macros for includes: camel- vs snake case in header file names
modass
committedMar 15, 2023

Commits on Nov 29, 2022

rename option for spaceex output
modass
committedNov 29, 2022
first draft of spaceex output via tinyxml2
modass
committedNov 29, 2022

Commits on Sep 22, 2022

fix coverage command
modass
committedSep 22, 2022

Commits on Sep 21, 2022

fix github actions
modass
committedSep 21, 2022
update coverage to use codecov
modass
committedSep 21, 2022

Commits on Sep 14, 2022

wrapper for new carl API to maintain compliance with old versions
modass
committedSep 14, 2022

Commits on Jul 13, 2022

add smt-solving capabilities
modass
committedJul 13, 2022

Commits on Feb 21, 2022

minor cmake cleanup and formatting
modass
committedFeb 21, 2022
introduce serialization via cereal
modass
committedFeb 21, 2022

Commits on Feb 3, 2022

print cmake options
modass
committedFeb 3, 2022

Commits on Sep 22, 2021

add optional dependency on graphviz
modass
committedSep 22, 2021

Commits on Aug 26, 2021

update include directories
modass
committedAug 26, 2021

Commits on Aug 20, 2021

fix antlr4 setup
modass
committedAug 20, 2021

Commits on Aug 12, 2021

restructure whole project
modass
committedAug 12, 2021

Commits on Jul 8, 2021

add compiler profiling flags to DEVELOPER mode
modass
committedJul 8, 2021

Commits on Jun 17, 2021

fix cmake setup
modass
committedJun 17, 2021

Commits on Jun 14, 2021

Modern approach for hyproConfig.cmake to make transitive public dependencies visible to dependents. Use this to check in hydra's cmake file if Boost::program_options already exists or not.
Leander Behr
committedJun 14, 2021

Commits on Jun 13, 2021

update cmake setup
modass
committedJun 13, 2021

Commits on Jun 6, 2021

Merge branch 'alpha' of https://srv-i2.informatik.rwth-aachen.de:443/scm/repo/git/hypro into feature/rectangularAnalyzer
modass
committedJun 6, 2021

Commits on Jun 2, 2021

update cmake setup: re-enable package registry
modass
committedJun 2, 2021

Commits on Jun 1, 2021

cleanup cmake setup
modass
committedJun 1, 2021
update cmake configuration
modass
committedJun 1, 2021

Commits on May 20, 2021

Merge branch 'fix/example_parallel' into alpha
Leander Behr
committedMay 20, 2021

Commits on Apr 28, 2021

update z3 cmake setup
modass
committedApr 28, 2021

Commits on Apr 19, 2021

Merge branch 'fix/example_parallel' of https://srv-i2.informatik.rwth-aachen.de:443/scm/repo/git/hypro into fix/example_parallel
modass
committedApr 19, 2021