ContractAutomataProject / ContractAutomataLib / #53

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#53	main	generalizing ModelCheckingFunction and ModelCheckingSynthesisOperator.java with generics Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	27 Mar 2022 06:46PM UTC	davidebasile		pending completion   set done
#52	main	updating example of png converter to the last version of CATLib Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	26 Mar 2022 11:34PM UTC	davidebasile		pending completion   set done
#51	main	update gitignore updating example of catlib to the last version of CATLib Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	26 Mar 2022 08:50PM UTC	davidebasile		pending completion   set done
#50	main	updating CAREEXAMPLE to the last version of CATLib update packages name Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	26 Mar 2022 04:24PM UTC	davidebasile		pending completion   set done
#49	main	updating CARE to the last version of CATLib Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	25 Mar 2022 08:10PM UTC	davidebasile		pending completion   set done
#48	main	updating CARE to the last version of CATLib Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	25 Mar 2022 06:29PM UTC	davidebasile		pending completion   set done
#47	main	action junit tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	24 Mar 2022 08:58PM UTC	davidebasile		pending completion   set done
#46	main	fixed AutDataConverter Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	24 Mar 2022 11:47AM UTC	davidebasile		pending completion   set done
#45	main	fixed build.yml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	24 Mar 2022 10:10AM UTC	davidebasile		pending completion   set done
#44	main	Update build.yml	push	23 Mar 2022 10:52PM UTC	web-flow		pending completion   set done
#43	main	Update build.yml	push	23 Mar 2022 10:51PM UTC	web-flow		pending completion   set done
#42	main	abstracted type of state label and refactored Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Mar 2022 05:51PM UTC	davidebasile		pending completion   set done
#41	main	Update build.yml	push	22 Mar 2022 08:56AM UTC	web-flow		pending completion   set done
#40	main	Merge remote-tracking branch 'origin/main'	push	19 Mar 2022 11:02PM UTC	davidebasile		pending completion   set done
#39	main	Update build.yml	push	19 Mar 2022 09:39PM UTC	web-flow		pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• Next →