ContractAutomataProject / ContractAutomataLib / #143

Builds Branch Commit Type Ran Committer Via Coverage
#143 newOrchestration fix Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.41
#142 newOrchestration created new branch for implementing the new orchestration synthesis algorithm Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
100.0
#141 main Update README.md push web-flow
100.0
#140 davidebasile-patch-1 Update README.md push web-flow
100.0
#139 main Update README.md CODIGA has been discontinued push web-flow pending completion   set done
#138 main fixing unnecessary mockito stubbing Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#137 main refactored the controllabilityPredicate for OrchestrationSynthesisOperator and ChoreographySynthesisOperator Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#136 main Update README.md push web-flow pending completion   set done
#135 main Update README.md push web-flow pending completion   set done
#134 main 2 mutants killed for the new uncontrollable transition for orchestration synthesis Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#133 main Update pom.xml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#132 main Updating lazy (#14) * add comment to isUncontrollableOrchestration in OrchestrationSynthesisOperator.java Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> * SynthesisOperator.java swapped recursion with iteration in the computation ... push web-flow pending completion   set done
#131 updating_lazy unit tests for OrchestrationSynthesisOperator.java reachability Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#130 main Update README.md push web-flow pending completion   set done
#129 main Update README.md push web-flow pending completion   set done