Historie revizí

Autor SHA1 Zpráva Datum
  Francisco Giordano 7f5e91062e Merge branch 'master' into feat/access-manager před 2 roky
  Ernesto García ca822213f2 Make AccessControlDefaultAdminRules delay configurable (#4079) před 2 roky
  Francisco fa112be682 Add AccessManager contracts (#4121) před 2 roky
  mmqxyz 3f610ebc25 Fix typo in README (#4129) před 2 roky
  Ernesto García 1a60b061d5 Add Pausable FV (#4117) před 2 roky
  Ernesto García 4f4b6ab403 Update certora/README.md (#4114) před 2 roky
  Ernesto García 1c8df659b9 Clarify Governor Bravo compatibility scope (#4090) před 2 roky
  Hadrien Croubois 75ef7b8b27 Add FV specs for TimelockController (#4098) před 2 roky
  renovate[bot] ea2d5ad2e7 Update lockfile (#4080) před 2 roky
  Francisco Giordano e69248e551 Limit concurrency of formal-verification runs před 2 roky
  renovate[bot] e739144cb0 Update dependency certora-cli to v3.6.4 (#4110) před 2 roky
  Francisco 6794c9460b Run formal verification when label is added (#4112) před 2 roky
  Francisco f8e3c375d1 Credit YieldBox for virtual offset (#4103) před 2 roky
  Paul Razvan Berg 58a62916de Bump and pin Forge Std submodule (#4102) před 2 roky
  Hadrien Croubois 3214f6c256 Add FV specification for ERC20Wrapper (#4100) před 2 roky
  Hadrien Croubois 5f7f660c6e Add FV specs for Initializable (#4095) před 2 roky
  Francisco b952a82d29 Throw error when requested specs are not found (#4101) před 2 roky
  Hadrien Croubois a55013e742 Add effect checks on the accesscontrol specs (#4099) před 2 roky
  Hadrien Croubois aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) před 2 roky
  Hadrien Croubois 4fb6833e32 Formal verification using Certora (#4084) před 2 roky
  Hadrien Croubois de520fe25a Add `byteLengthWithFallback` to ShortStrings (#4089) před 2 roky
  Hadrien Croubois 7f028d6959 Fix empty short string encoding (#4088) před 2 roky
  Francisco Giordano eedca5d873 Merge release-v4.8 branch před 2 roky
  Francisco Giordano e58c6d8ff4 Fix linter error před 2 roky
  Hadrien Croubois 8ba26f388f Merge pull request from GHSA-878m-3g6q-594q před 2 roky
  qedk 0ebc6e3529 Fix grammar in docs (#4085) před 2 roky
  Hadrien Croubois e1a77ab15f Fix an upgrade replay bug in Governor.propose (#4082) před 2 roky
  Ernesto García dad73159df Add AccessControlDefaultAdminRules (#4009) před 2 roky
  Clayton Rabenda 2c69f9f9f5 Fix comment on ERC777._beforeTokenTransfer (#3982) před 2 roky
  Vittorio Minacori 3f3774c5df Improve ERC1363 documentation (#3993) před 2 roky