3192

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
3192	master	Add a `Merge` library to merge multiple contracts (#1156) * feat(lib): Add a Product library to merge multiple contracts Closes #1147 * feat(product): Add the `scilla_merged` runner Currently it works only w/ cmodules. * feat(product)...	push	17 Oct 2022 12:11PM UTC	web-flow	travis-ci-com	pending completion set done
3189	master	feat(DeadCodeDetector): Report unused fields in contract address types (#1164) Closes #1099	push	14 Oct 2022 02:42PM UTC	web-flow	travis-ci-com	pending completion set done
3188	1099_dcd_arg_fields	Merge 2936dd043 into 9b465a938	Pull #1164	14 Oct 2022 02:17PM UTC	web-flow	travis-ci-com	pending completion set done
3187	1099_dcd_arg_fields	Merge aab04c73a into 9b465a938	Pull #1164	14 Oct 2022 01:52PM UTC	web-flow	travis-ci-com	pending completion set done
3185	master	feat(accept): Improve accept analysis (#1183) Don't report contracts that have messages with only zero `_amount`. Closes #1141	push	14 Oct 2022 11:55AM UTC	web-flow	travis-ci-com	pending completion set done
3186	1099_dcd_arg_fields	Merge 47b276116 into 9b465a938	Pull #1164	14 Oct 2022 11:53AM UTC	web-flow	travis-ci-com	pending completion set done
3184	1141_accept	Merge 32046ae5e into fba68cb76	Pull #1183	13 Oct 2022 02:47PM UTC	web-flow	travis-ci-com	pending completion set done
3183	1147_product	Merge 608fd3f53 into fba68cb76	Pull #1156	12 Oct 2022 01:53PM UTC	web-flow	travis-ci-com	pending completion set done
3172	1099_dcd_arg_fields	Merge 023648b5e into fba68cb76	Pull #1164	11 Oct 2022 06:53AM UTC	web-flow	travis-ci-com	pending completion set done
3163	1099_dcd_arg_fields	Merge a644baa5e into fba68cb76	Pull #1164	08 Oct 2022 06:30PM UTC	web-flow	travis-ci-com	pending completion set done
3160	1099_dcd_arg_fields	Merge 5727b9cd3 into fba68cb76	Pull #1164	08 Oct 2022 05:15PM UTC	web-flow	travis-ci-com	pending completion set done
3158	master	Disable REPLICATE_CONTRACT (#1181)	push	07 Oct 2022 11:58AM UTC	web-flow	travis-ci-com	pending completion set done
3157	revert_replicate_contract	Merge d1f137aa5 into 79c528298	Pull #1181	07 Oct 2022 11:24AM UTC	web-flow	travis-ci-com	pending completion set done
3156	1099_dcd_arg_fields	Merge 221bf97c0 into 79c528298	Pull #1164	06 Oct 2022 12:53PM UTC	web-flow	travis-ci-com	pending completion set done
3148	master	feat(formatter): Support comments (#1172) This commit adds an extended syntax for Scilla that preserves comments as annotations for AST nodes. Closes #1086	push	06 Oct 2022 07:49AM UTC	web-flow	travis-ci-com	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
…
142
143
Next →