ContractAutomataProject / ContractAutomataLib / #128

Builds Branch Commit Type Ran Committer Via Coverage
#128 main Update README.md push web-flow pending completion   set done
#127 main Update README.md push web-flow pending completion   set done
#126 main Update README.md push web-flow pending completion   set done
#125 main Update README.md push web-flow pending completion   set done
#124 main Update README.md push web-flow pending completion   set done
#123 updating_lazy fixed test Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#122 updating_lazy SynthesisOperator.java delayed computation of dangling states to when no further updates are possible. This cause the forbidden predicate to be computed more times. Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#121 updating_lazy SynthesisOperator.java swapped recursion with iteration in the computation of dangling states Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#120 updating_lazy add comment to isUncontrollableOrchestration in OrchestrationSynthesisOperator.java Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done
#119 main Update README.md push web-flow pending completion   set done
#118 main Update README.md push web-flow pending completion   set done
#117 main Update README.md push web-flow pending completion   set done
#116 main Update README.md push web-flow pending completion   set done
#115 main Update README.md push web-flow pending completion   set done
#114 main add expected_output to test\java\examples Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion   set done