blockchain-audit recap-protocol issues

blockchain-audit / recap-protocol

Rewrite of Cap Protocol using Function Requirements-Effects-Interactions + Protocol Invariants Pattern

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

CLP Invariant testing

#79 sariKahan opened 3 months ago
0
fix wrong routes

#78 tamar2003 closed 3 months ago
2
48 invariant test on executedeposit function

#77 sari341 opened 3 months ago
0
fix master

#76 YehudisSternberg opened 3 months ago
0
fix master

#75 YehudisSternberg opened 3 months ago
0
Add test for functiom executeDebitTraderProfit

#74 ChanaIrinshtein opened 3 months ago
0
write CreditFeeTest function

#73 ChanaIrinshtein opened 3 months ago
1
add fuzz and invariant test for calculateminusfee test

#72 RacheliPaley opened 3 months ago
0
change the capstorage

#71 YehudisSternberg opened 3 months ago
0
test calculateCLPAmount

#68 YaelTait closed 3 months ago
1
add test_calculateAmountToSendPool

#67 ruthklirs opened 3 months ago
4
test calculateAmountMinusFee

#66 RacheliPaley closed 3 months ago
0
Add test in Buffer.sol

#65 saraovad opened 3 months ago
0
add the withdraw function

#64 YehudisSternberg opened 3 months ago
0
add deposit functions in trade contract

#63 YehudisSternberg closed 3 months ago
0
add deposit functions in trade contract

#62 YehudisSternberg closed 3 months ago
0
incrementBalance

#61 rikiPraizler opened 3 months ago
0
Test Decrement Balance

#60 peryGoldberg opened 3 months ago
0
add test for calculateFeeAmount

#59 PerryNusbaum opened 3 months ago
0
seperate the liquadity functions

#58 YehudisSternberg closed 3 months ago
0
Fix chainlink library

#57 henry-hz opened 3 months ago
0
Test for the function calculateCLPAmount

#56 YaelTait closed 3 months ago
1
calculateAmountToSendPool

#55 ruthklirs opened 3 months ago
2
calculateAmountMinusFee

#54 RacheliPaley closed 3 months ago
1
seperate the liquadity functions so that each function is on his own

#53 YehudisSternberg closed 3 months ago
1
Write test for the function creditFee.

#52 ChanaIrinshtein opened 3 months ago
0
add tests in PoolMethods

#51 MaayanShore opened 3 months ago
1
Add Invariant test to the Withdraw function in the Trade contract

#50 MiriTenenboim opened 3 months ago
0
Add debitTraderProfit()

#49 chanaKastner closed 3 months ago
2
Invariant test on executeDeposit() function

#48 sari341 opened 3 months ago
0
organize the libs

#47 YehudisSternberg closed 3 months ago
1
Invariant test for ValidateDeposit function

#46 chayaWolpin opened 3 months ago
0
Buffer mapping issue

#45 Chana-C opened 3 months ago
1
Add debitTraderProfit() function

#44 chanaKastner closed 3 months ago
0
Add Invariant test for the functions removeLiquidity + creditFee

#43 malka8580 opened 3 months ago
2
Fix all warnings

#42 chanaKastner closed 3 months ago
0
Invariant test

#41 malka8580 closed 3 months ago
1
fix wrong routing

#40 tamar2003 opened 3 months ago
2
remove

#39 YehudisSternberg closed 3 months ago
0
Organize libs in different types

#38 YehudisSternberg closed 3 months ago
1
remove the node modules and the package json

#37 YehudisSternberg closed 3 months ago
2
private variables

#36 malka8580 closed 3 months ago
3
Test on math lib function calculate fee amount

#35 henry-hz opened 3 months ago
0
in size each action is by its own

#34 YehudisSternberg closed 3 months ago
5
Invariant test of functions addLiquidity + updateGov

#33 tova100 opened 3 months ago
2
add the deposit functions

#32 YehudisSternberg opened 3 months ago
3
Ideas of Properties and Invariants

#31 henry-hz opened 3 months ago
0
add withdraw function in trade contract

#30 YehudisSternberg closed 3 months ago
0
Remove Warnings

#29 henry-hz closed 3 months ago
1
fixed compile

#28 RacheliPaley closed 3 months ago
0