ContractAutomataProject / ContractAutomataLib / #158

Builds Branch Commit Type Ran Committer Via Coverage
#158 main fixing build.yml, I had to remove the SonarCloud service for lack of maintenance Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#157 main fixing build.yml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#156 main improved test coverage Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#155 main fixed the badges of README to point to the main branch Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
98.85
#154 main removing unused classes Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
98.85
#153 main New orchestration (#16) * created new branch for implementing the new orchestration synthesis algorithm Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> * implemented the NewOrchestrationSynthesisOperator.java class and test Sign... push web-flow
95.89
#152 newOrchestration fixing a problem with sonarcloud running on ubuntu with java 11 Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#151 newOrchestration update README (badges for the new branch) and pom.xml coveralls to ignore the unused src folder Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#150 newOrchestration update README (badges for the new branch) and pom.xml coveralls to ignore the unused src folder Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#149 newOrchestration fixed some errors Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#148 newOrchestration trying to fix pom.xml for sonarcloud coverage Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#147 newOrchestration update sonar.coverage.exclusions in pom.xml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#146 newOrchestration fixed the constructor of BasicState.java to accept the committed flag. fixed github actions script Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#145 newOrchestration fixed a typo in ModalTransition Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.03
#144 newOrchestration implemented TauActions, and committed states. The CompositionFunction has been updated to use committed states, as well as ignore modalities. This is useful for model checking, to use the properties to specify the behaviour of the automaton in a t... push davidebasile
95.96