 Ernesto García
|
53bb34057e
Fix ERC165Checker detection (#5880)
|
1 mēnesi atpakaļ |
 Hadrien Croubois
|
005c9c9fa7
Add Bytes.concat (#5882)
|
1 mēnesi atpakaļ |
|
Hadrien Croubois
|
be8ee86fc1
Update IERC7786 to match latest ERC changes (#5883)
|
1 mēnesi atpakaļ |
|
Hadrien Croubois
|
efdc7cd2d4
Add ERC-7751 interface (#5816)
|
1 mēnesi atpakaļ |
 dependabot[bot]
|
9904c19522
Bump sha.js from 2.4.11 to 2.4.12 in the npm_and_yarn group across 1 directory (#5874)
|
1 mēnesi atpakaļ |
 renovate[bot]
|
ea4d925da6
Update dependency halmos to v0.3.3 (#5819)
|
1 mēnesi atpakaļ |
|
Hadrien Croubois
|
0134b00956
Add nonReentrantView modifier (#5800)
|
1 mēnesi atpakaļ |
 James Toussaint
|
3635d3cbf0
Add Certora syntax highlighting (#5861)
|
1 mēnesi atpakaļ |
|
Hadrien Croubois
|
7eb34c432f
Formal verification of Account (7702+7579) (#5872)
|
1 mēnesi atpakaļ |
|
renovate[bot]
|
94d9cc3d93
Update actions/setup-java action to v5 (#5869)
|
1 mēnesi atpakaļ |
|
renovate[bot]
|
09502570ce
Update dependency certora-cli to v8 (#5844)
|
1 mēnesi atpakaļ |
|
Hadrien Croubois
|
3d479dca04
Disable foundry lint-on-build to fix CI (#5864)
|
1 mēnesi atpakaļ |
|
Ernesto García
|
519184ce6b
Configure Foundry linter (#5859)
|
1 mēnesi atpakaļ |
 dneptolus
|
4a67c6f3ab
Normalize BigInt usage in tests and fix minor inconsistencies (#5851)
|
1 mēnesi atpakaļ |
|
renovate[bot]
|
76f15634de
Update actions/download-artifact action to v5 (#5834)
|
1 mēnesi atpakaļ |
|
renovate[bot]
|
04044c3bb9
Update actions/checkout action to v5 (#5843)
|
1 mēnesi atpakaļ |
|
renovate[bot]
|
24cc6a689f
Update dependency p-limit to v7 (#5853)
|
1 mēnesi atpakaļ |
|
Ernesto García
|
e8745a6a68
Add Halmos FV for Packing and NoncesKeyed (#5847)
|
1 mēnesi atpakaļ |
 Marco
|
99eda2225c
Improve docs template helper `properties.js` (#5832)
|
1 mēnesi atpakaļ |
 Daejun Park
|
3790c59623
Enable some math tests to be run by halmos (#5824)
|
2 mēneši atpakaļ |
|
Hadrien Croubois
|
1412f9275e
ECDSA: add parse and tryParse (#5814)
|
2 mēneši atpakaļ |
|
Hadrien Croubois
|
c3961a4538
Use hardhat-predeploy (#5804)
|
2 mēneši atpakaļ |
|
renovate[bot]
|
da1dfe6c96
Update dependency halmos to v0.3.1 (#5818)
|
2 mēneši atpakaļ |
|
Ernesto García
|
d66a0ce63f
Add new `clz(bytes)` and `clz(uint256)` functions (#5725)
|
2 mēneši atpakaļ |
|
renovate[bot]
|
e8a3e6236a
Update dependency solhint to v6 (#5784)
|
2 mēneši atpakaļ |
|
Hadrien Croubois
|
0f578d247c
Migrate WebAuthn library, signer and verifier from community (#5809)
|
2 mēneši atpakaļ |
|
dependabot[bot]
|
a3c6ada1a7
Bump form-data from 4.0.2 to 4.0.4 (#5810)
|
2 mēneši atpakaļ |
|
Ernesto García
|
32e7a6ffbc
Add `equal` to Bytes.sol and update pragma to 0.8.24 in String dependencies (#5726)
|
2 mēneši atpakaļ |
|
Hadrien Croubois
|
6cfb6b5051
Add audit report for v5.4 (#5799)
|
2 mēneši atpakaļ |
 github-actions[bot]
|
448538259f
Merge release-v5.4 branch (#5802)
|
2 mēneši atpakaļ |