ContractAutomataProject / ContractAutomataLib / #38

Builds Branch Commit Type Ran Committer Via Coverage
#38 main fixed security bug introduced by IntelliJ factorization Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#37 main fixed tests, renamed transition package Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#36 main fixed bug in Label class Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#35 main Update build.yml push web-flow pending completion   set done
#34 main fixed rank of automaton, fixed mutation Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#33 main more unit tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#32 main fixed a test Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#31 main Update README.md push web-flow pending completion   set done
#30 main Update build.yml push web-flow pending completion   set done
#29 main Update build.yml add matrix of os push web-flow pending completion   set done
#28 main Update build.yml add matrix of os push web-flow pending completion   set done
#27 main Update README.md push web-flow pending completion   set done
#26 main Update README.md push web-flow pending completion   set done
#25 main removed commented code Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#24 main working on code smells Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done