For large uploads, we recommend using the API. Get instructions

Branch Commit Date Download
DCSCompositional ef4cf49
master 4c3eb97
POR-for-Nonblocking ac92d3b
mejoras-ra-nico 56c2b76
rolesFeature 7e09cff
ExportAsFSP 66b5471
DCSBlockingHalfWaySynt 3aeea00
DCSNonBlockingForRLPythonAPI a68176b
njpm/prueba b1e433a
njpm/bfs a12e1a4
DCSNonBlockingForRL_papersubmission 78d6f98
njpm/ra-sin-open-y-mejoras 9409f9f
njpm/ra-sin-open-con-self-loops 50dc5b4
njpm/ra-sin-open 159ef24
DCSNonBlockingForRLFullExploration 0465b69
DCSNonBlockingForRL d90f237
njpm/RA-count-self-loops ca48c4f
njpm/recompute-RA 336ef41
DCSNonBLockingForRLPathLabelsFeature ce25c36
DCSBlocking aee5901
cpa2022 0c5c46d
nico/OpenConBFSNonBlocking 26ce3a6
nico/RAPeladoDCSNonBlocking cb72e43
feature/DCS-NB-closure 216a41a
DCSHeuristicRefactorKeepingOpen f7c5051
monolithicAsteriscError 86ee15d
asteriskGR1Fix f55a6d6
nico/cambiosRA 345eb12
DCSDirector 2e8447b
DCSNonBlocking 4934ead
rtc f5e084a
cpa-legality 0c31674
nico/RA-WIP 505ba34
TimingOfLTLModelCheck b1c4633
npazosmendez/pruebasRA-WIP cec3407
MoreTests 405762b
npazosmendez/pruebasRA 15c098f
HelpMenu 40cfa84
ControllerAnimation 0ba8730
cpa-sprint3 a4ddc0b
cpa-sprint2 51405c6
DCS/NonBlocking-Refactor 5da0ab9
DCS/heuristic-interface c12419c
cpa-sprint1 03773d1
fix_DCSNonBlocking_RA 87f423c
DCSNB_RASinParteOscura 96057b5
surefire-update b949199
FixSetNotation 9d63224
TransitionsPaneFix 922086a
bgr 2ef7797
FixBisimilarFSPTests f6f6674
fairConCorte 81f6c82
minimising-makespan 704954e
symbolidLatencyAlgorithm 704954e
dcs2 0eaec61
update 233eda4
fsp_generator 54c12bf
newParser bb1a82b
noColaborativo 2fba8e4
conCorte ec2f922
randomExploration e1dda74
opportunist c8be2bd
Monitors fcb1ee9
symbolicLatencyAlgorithm e8585d9
modifiedexploration 22de099
graph_update_2 17d626c
rewardacotado f993ade
nuevoARDrone 1ce8147
graph_update_parallel_compilation 23b5469
mdpDistance d1d89e2
update_improvements_vw_bu 6b39cd8
graph_update_by_traces_bu 7dcfbcf
graph_update_bu fd3a14e
jumpingsumo dfde581
better_safety_update ddc7c61
original_update 0f4a98b
parallelRanking2 8492297
unrealizableCores 755cbb7
revisionTestsAndExamples 46b914b
hcs d54bae9
origin/unrealizableCores aa19c7d
sant_multirotor_robot 603aee5
Exploration 8ef8c27