Branches · open-pca-pump / artifact-open-pca-aadl · GitLab

Active branches

master default protected

0cbb5df6 · change dispatch protocols from Aperiodic to Sporadic · Oct 31, 2022

Download source code

zip tar.gz tar.bz2 tar

Stale branches

after-mitigations

5288d277 · um, not sure what was changed, but git complained I had uncommitted · May 07, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
split-fg merged

3f5d5f81 · change a few bus access connections to -> · May 17, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
button-too-soon merged

60c798e6 · adding the latest report and viz · Jun 12, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
add-bubble merged

cc9a550a · added bubble detection -- not completed in causing DrugStopped · Jun 19, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
master2 merged

84fe076a · fix · Jun 30, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar