mirrors/lnd
1
0
Fork 0
mirror of https://github.com/lightningnetwork/lnd.git synced 2025-01-19 05:45:21 +01:00
Code Issues Projects Releases Wiki Activity
17,533 Commits 122 Branches 305 Tags 180 MiB
a040f8fafa
Commit Graph

2 Commits

Author SHA1 Message Date
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
Olaoluwa Osuntokun
7c61dc6dc4
docs/alloy-models: add initial README.md for Alloy models 2024-08-01 17:42:22 -07:00