ContractAutomataProject / ContractAutomataLib / #98

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#98	main	updated readme.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	03 May 2022 02:46PM UTC	davidebasile		pending completion   set done
#97	main	killed one mutant Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	03 May 2022 11:48AM UTC	davidebasile		pending completion   set done
#96	main	moved IT tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	02 May 2022 05:32PM UTC	davidebasile		pending completion   set done
#95	main	updating Examples.java Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	30 Apr 2022 03:27PM UTC	davidebasile		pending completion   set done
#94	main	updating Examples.java Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	30 Apr 2022 03:27PM UTC	davidebasile		pending completion   set done
#93	main	updated package.html Signed-off-by: Davide Basile <davidebasile@isti.cnr.it>	push	30 Apr 2022 10:43AM UTC	Davide Basile		pending completion   set done
#92	main	Delete .data	push	29 Apr 2022 05:46PM UTC	web-flow		pending completion   set done
#91	main	updated tests Signed-off-by: Davide Basile <davidebasile@isti.cnr.it>	push	29 Apr 2022 01:09PM UTC	Davide Basile		pending completion   set done
#90	c62620413e24c3f12019056dd30673125392d153	updated README.md Signed-off-by: Davide Basile <davidebasile@isti.cnr.it>	push	29 Apr 2022 12:51PM UTC	Davide Basile		pending completion   set done
#89	main	updated README.md Signed-off-by: Davide Basile <davidebasile@isti.cnr.it>	push	29 Apr 2022 12:47PM UTC	Davide Basile		pending completion   set done
#88	main	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	29 Apr 2022 12:28PM UTC	davidebasile		pending completion   set done
#87	main	update doc	push	29 Apr 2022 12:02PM UTC	davidebasile		pending completion   set done
#86	main	fixed tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	29 Apr 2022 11:08AM UTC	davidebasile		pending completion   set done
#85	main	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	24 Apr 2022 05:19PM UTC	davidebasile		pending completion   set done
#84	6a09cd85b18e946b4a9aea845e45a2c51fa3439a	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	24 Apr 2022 03:09PM UTC	davidebasile		pending completion   set done

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