lindy-labs / erc4626-utils / 10197793854

Builds Branch Commit Type Ran Committer Via Coverage
10197793854 yield-dca-impl Merge 011eacc0e into 8d841abc8 Pull #19 web-flow github
100.0
10194146318 yield-dca-impl Merge 0ec22a1e1 into 8d841abc8 Pull #19 web-flow github
98.96
9765546175 main YieldStreams v2 properties update (#33) * YieldStreams v2 properties update YieldStreams v2 properties update YieldStreams v2 properties update YieldStreams v2 properties update YieldStreams v2 properties update YieldStreams v2 pro... push web-flow github
100.0
9765431072 YieldStreams_v2-formal-verification Merge cb262aa29 into 89a4343c7 Pull #33 web-flow github
100.0
9748788697 yield-dca-impl Merge b7f12cdb5 into 89a4343c7 Pull #19 web-flow github
98.27
9696691301 yield-dca-impl Merge 8debafef9 into 89a4343c7 Pull #19 web-flow github
98.27
9667167807 YieldStreams_v2-formal-verification Merge e990a99c6 into 89a4343c7 Pull #33 web-flow github
100.0
9569878236 YieldStreams_v2-formal-verification Merge a1eaaab8e into 89a4343c7 Pull #33 web-flow github
100.0
9495797052 main YieldStreams improvements (#31) * using SafeTransferLib from solady * using "unchecked" for gas optimizations & clean up * add owner param to stream opening funcs * improve common errors check & optimize ERC20Streams gas usage * allow... push web-flow github
100.0
9400208391 yield-dca-impl Merge 8f926714e into 175de0161 Pull #19 web-flow github
100.0
9381877396 main Merge pull request #32 from lindy-labs/YieldStreamsFactory-formal-verification YieldStreamsFactory formal properties push web-flow github
100.0
9367034059 main YieldStreams formal verification by @acmLL push brkomir github
100.0
9366998056 YieldStreamsFactory-formal-verification Merge 934eb0c3d into e8e064a2d Pull #32 web-flow github
100.0
9355101443 main Merge pull request #30 from lindy-labs/YieldStreams-formal-verification Yield streams formal verification push web-flow github
100.0
9355045580 YieldStreams-formal-verification Merge c93514206 into 6da22a375 Pull #30 web-flow github
100.0