Olaoluwa Osuntokun 9aa7e7510c docs/alloy-model: add linear fee function model ... In this commit, we add a model for the linear fee function we use in lnd for fee bumping. This models can be used to reproduce the issue reported in https://github.com/lightningnetwork/lnd/issues/8741, and can also be shown that that bug fix resolves a counter example found by the model checker.		2024-08-01 17:42:31 -07:00
..
counter-example-show.png	docs/alloy-model: add linear fee function model	2024-08-01 17:42:31 -07:00
counter-example.png	docs/alloy-model: add linear fee function model	2024-08-01 17:42:31 -07:00
fixed-model.png	docs/alloy-model: add linear fee function model	2024-08-01 17:42:31 -07:00
linear-fee.als	docs/alloy-model: add linear fee function model	2024-08-01 17:42:31 -07:00
READM.md	docs/alloy-model: add linear fee function model	2024-08-01 17:42:31 -07:00