ID: #1300143

Last updated 2 weeks ago

MLabs: Static analysis with Covenant

Problem

Current Cardano contract languages cannot perform static analysis for several reasons. Alongside a lack of specifications & clear development stages, this creates notable challenges for developers.

Total to date

This is the total amount allocated to MLabs: Static analysis with Covenant. 1 out of 5 milestones are completed.

₳199,727
Total funds requested
Distributed: ₳59,528
Remaining: ₳140,199
04/25
07/25
09/25
11/25
12/25
Complete
In progress
To be completed
361
Total votes cast
₳377M
Votes yes
₳33.7M
Votes abstain

About this idea

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Team