mirror
/
openzeppelin-contracts
mirror of https://github.com/OpenZeppelin/openzeppelin-contracts
2
1
Fork 1
Code Issues Releases Wiki Activity
3769 Commits
60 Branches
139 Tags
77 MiB
Tag: Branch: Tree: a99b31f990
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a99b31f990'
${ noResults }
Commit Graph

5 Commits (a99b31f990234b330098d8f7bd24e7c8ec704076)

Author SHA1 Message Date
renovate[bot] 855c39cf58
Update dependency halmos to v0.2.3 (#5296)
2 months ago
renovate[bot] 057d35a9eb
Update dependency halmos to v0.2.0 (#5225)
5 months ago
renovate[bot] 1edc2ae004
Update dependency halmos to v0.1.14 and Python to 3.11 (#5147)
6 months ago
renovate[bot] 1224d197c7
Update dependency halmos to v0.1.13 (#5054)
9 months ago
Ernesto García f1a69f164e
Add Halmos support for formal verification (#5034)
9 months ago