ContractAutomataProject / ContractAutomataLib / #23

Builds Branch Commit Type Ran Committer Via Coverage
#23 main Merge branch 'main' of https://github.com/ContractAutomataProject/ContractAutomataLib.git into main push Davide pending completion   set done
#22 main Update README.md push web-flow pending completion   set done
#21 main Update README.md push web-flow pending completion   set done
#20 main fixed some code smells from sonarcloud Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#19 main update test featureide Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#18 main Update README.md push web-flow pending completion   set done
#17 main removed old folders. fixed security problem caused by java.regex. removed deprecated folder. Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#16 main working on regex pattern compile security Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#15 main fixed spotbugs exposing internal variables with return Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#14 main fixed getTransition issues Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#13 main Update build.yml push web-flow pending completion   set done
#12 main working on spotbugs Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#11 main adding SpotBugs Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#10 main Update build.yml push web-flow pending completion   set done
#9 main fixed vulnerability Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done