Автор | SHA1 Съобщение | Дата |
---|---|---|
|
36bf1e46fa Migrate FV specs to CVL2 (#4527) | преди 2 години |
|
00cbf5a236 Update pragma to 0.8.20 (#4489) | преди 2 години |
|
7bb5592ad5 Bump minimum pragma version to `0.8.19` (#4288) | преди 2 години |
|
5f7f660c6e Add FV specs for Initializable (#4095) | преди 2 години |