Closed
Bug 1430582
Opened 6 years ago
Closed 6 years ago
Add Cryptol/SAW runs to Taskcluster
Categories
(NSS :: Test, enhancement)
NSS
Test
Tracking
(Not tracked)
RESOLVED
FIXED
3.36
People
(Reporter: ttaubert, Assigned: ttaubert)
References
Details
Attachments
(1 file)
Let's add some easy tasks for formal verification with Cryptol/SAW to Taskcluster. bmul32() and ChaCha20 seem like good targets.
|
Assignee | |
Comment 1•6 years ago
|
||
https://treeherder.mozilla.org/#/jobs?repo=nss-try&revision=1303679c9ea54574c61da46edc95800378836c54
|
|
Assignee | |
Comment 2•6 years ago
|
||
https://treeherder.mozilla.org/#/jobs?repo=nss-try&revision=765b908851fef79a0998591fe8681d7e2683ee97
|
||
Comment 3•6 years ago
|
||
Comment on attachment 8942657 [details] Bug 1430582 - Add Cryptol/SAW runs to Taskcluster r=franziskus Franziskus Kiefer [:fkiefer or :franziskus] has approved the revision. https://phabricator.services.mozilla.com/D388#9445
Attachment #8942657 -
Flags: review+
|
|
Assignee | |
Comment 4•6 years ago
|
||
https://hg.mozilla.org/projects/nss/rev/894a7292a429
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Resolution: --- → FIXED
Target Milestone: --- → 3.36
|
|
Assignee | |
Comment 5•6 years ago
|
||
https://hg.mozilla.org/projects/nss/rev/d5524322d6cb
You need to log in
before you can comment on or make changes to this bug.
Description
•