SizeCredit / size-solidity / 15801055002

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
15801055002	v1.8-halmos	Merge 2a61e0aab into 506f3aab3	Pull #184	22 Jun 2025 12:28AM UTC	web-flow	github	96.36
15800695960	v1.8-halmos	Merge b15e03b1a into 506f3aab3	Pull #184	21 Jun 2025 11:37PM UTC	web-flow	github	96.36
15785527662	v1.8-halmos	Merge ae2fcf942 into 506f3aab3	Pull #184	20 Jun 2025 06:42PM UTC	web-flow	github	96.54
15783816991	v1.8-halmos	Merge 393323407 into 506f3aab3	Pull #184	20 Jun 2025 04:59PM UTC	web-flow	github	96.54
15783219815	v1.8-halmos	Merge 9e802f958 into 506f3aab3	Pull #184	20 Jun 2025 04:22PM UTC	web-flow	github	96.36
15781957959	main	Minor generalization	push	20 Jun 2025 03:11PM UTC	aviggiano	github	96.36
15779020298	main	Update VERSION to v1.8	push	20 Jun 2025 12:38PM UTC	aviggiano	github	96.36
15764506531	main	Update README and audit reports	push	19 Jun 2025 06:53PM UTC	aviggiano	github	96.36
15764294367	main	Add comprehensive test coverage for v1.8 features and bug fixes (#179) * WIP - Add SizeFactory.{addVault,removeVault,isVault} - Add minimal Vault (needs to change) - Change Size.initialize - Change Size.reinitialize - Change setUserConfiguration...	push	19 Jun 2025 06:38PM UTC	web-flow	github	96.36
15762426136	v1.8-bugfixes-coverage	Merge eba953d34 into c449409b8	Pull #179	19 Jun 2025 04:31PM UTC	web-flow	github	96.36
15761204677	v1.8-bugfixes-coverage	Merge 76454e44f into c449409b8	Pull #179	19 Jun 2025 03:21PM UTC	web-flow	github	96.36
15760853065	v1.8-bugfixes-coverage	Merge eed99385a into c449409b8	Pull #179	19 Jun 2025 03:04PM UTC	web-flow	github	96.36
15759880143	v1.8-bugfixes-coverage	Merge 6ab89ad7f into c449409b8	Pull #179	19 Jun 2025 02:14PM UTC	web-flow	github	96.36
15759022132	v1.8-bugfixes-coverage	Merge 4bb0a1be9 into c449409b8	Pull #179	19 Jun 2025 01:31PM UTC	web-flow	github	96.44
15757960791	v1.8-bugfixes-coverage	Merge 6f285562d into c449409b8	Pull #179	19 Jun 2025 12:37PM UTC	web-flow	github	96.44