Branches · CPS_DesignTools / EST · GitLab

Active branches

51-add-new-parameter-for-ocra_check_refinement

1dd8d787 · Add new parameter to check contract refinement · Sep 24, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
46-exceptions-in-abstractsystemmodel

a3365b55 · Merge remote-tracking branch 'origin/master' into · Sep 23, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
master default

f253c6b0 · Add async refinement in subcomponents. · Sep 23, 2021

Download source code

zip tar.gz tar.bz2 tar
48-async-constraints-1-3 merged

92d5ccf7 · Modify methods related to events. · Sep 17, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
48-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous merged

f5077333 · handle ManyToOneConnections for async communications. · Sep 14, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more active branches

Stale branches

113-SM-Deterministic-Check

ecaf3339 · added deterministic check · Dec 03, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
29-support-commands-with-arguments-in-sysml merged

039fb773 · Add methods to AbstractSystemModel · Jul 04, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
mavenize_project merged

8f5a30d0 · Refactor CleanCTranslatorToPython code · Sep 27, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
30-code-refactoring merged

b491c089 · Merge remote-tracking branch 'origin/master' into 30-code-refactoring · Oct 25, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
31-remove-additional-indentations-in-python-code merged

31dca2d6 · Remove additional indentations in py code · Dec 18, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches