Skip to content

taste-setup
taste-setup
taste-setup

taste-setup

Public
No license. All rights reserved

Meta-project including all git submodules necessary to make a taste installation

Project ID: 37
0 Star
HTTPS
Switch branch/tag
History Find file
Name
Last commit
 Last update
.circleci Loading commit data...
add-ons Loading commit data...
antlr/antlr_python_runtime-3.1.3 Loading commit data...
asn1-value-editor @ dd074fea
buildsupport @ ba61d5f8
components_library @ b3d442be
dmt @ b7e9f135
doc Loading commit data...
ellidiss-GUI @ b7e525e0
install Loading commit data...
misc Loading commit data...
msc-editor @ 5a002279
ocarina @ 71e29209
opengeode @ a4b478ac
orchestrator @ 5bcdd5b1
polyorb-hi-ada @ 0b0b82ae
polyorb-hi-c @ 7f63de69
pymsc @ 85d11e04
qemu-Leon3 Loading commit data...
speedometer @ 73beb3a5
stlink @ 0af68c08
taste-MSC @ 506a7f86
taste-model-checker @ 28e95302
testSuites @ e1e03751
upython-taste @ da90020b
.gitmodules Loading commit data...
Docker-run.sh Loading commit data...
Dockerfile Loading commit data...
README.md Loading commit data...
Update-TASTE.sh Loading commit data...
circleci-test.sh Loading commit data...