Revision e76a26577cf3e8af4674b06f0efc7bc7627f36fb authored by Ilya Peresadin on 24 November 2022, 15:56:24 UTC, committed by Thomas Letan on 21 December 2022, 11:54:27 UTC
After cementation condition has been weakened, there are some possible exploits of the rest of the functions. In particularly, the following things have been adjusted: * Allow bond withdrawal when staked on LCC predecessor * Prohibit staker removal when staked on LCC predecessor * Allow refining stake from commit behind LCC (cherry picked from commit be7df71940545b653c35a5d506f6cf8edf74a51a)
1 parent c68476b
| File | Mode | Size |
|---|---|---|
| .merlin | -rw-r--r-- | 63 bytes |
| JSON_AST.ml | -rw-r--r-- | 651 bytes |
| JSON_lexer.mll | -rw-r--r-- | 814 bytes |
| JSON_parser.mly | -rw-r--r-- | 553 bytes |
| Makefile | -rw-r--r-- | 1.2 KB |
| README.md | -rw-r--r-- | 1.1 KB |
| main.ml | -rw-r--r-- | 181.7 KB |
| main.mli | -rw-r--r-- | 2.1 KB |
| manifest.ml | -rw-r--r-- | 117.2 KB |
| manifest.mli | -rw-r--r-- | 44.7 KB |
| tezos_protocol.ml | -rw-r--r-- | 1.7 KB |
Computing file changes ...
