trusttoken / smart-contracts / 1433211283

Builds Branch Commit Type Ran Committer Via Coverage
1433211283 main 🚜 Add minimal RateModel formal verification (#1103) push GitHub github pending completion   set done
1430655994 main 🚜 Add minimal RateModel formal verification (#1103) push GitHub github pending completion   set done
1428296406 main 🚜 Add minimal RateModel formal verification (#1103) push GitHub github pending completion   set done
1424323208 main 🩸 Use returned slashedAmount to calculate slashed TRU in Liquidator (#1109) push GitHub github pending completion   set done
1419803387 main 🦦 Deprecate true lender (#1082) push GitHub github pending completion   set done
1415219997 main 🦦 Deprecate true lender (#1082) push GitHub github pending completion   set done
1410763127 main 💰 Add DebtToken repay() (#1100) push GitHub github pending completion   set done
1406444769 main 💰 Add DebtToken repay() (#1100) push GitHub github pending completion   set done
1403857365 main 💰 Add DebtToken repay() (#1100) push GitHub github pending completion   set done
1401487872 main 💰 Add DebtToken repay() (#1100) push GitHub github pending completion   set done
1397471210 main 🎸 Rename CreditModel to RateModel (#1095) push GitHub github pending completion   set done
1393041780 main 💎 Use raw score in LOCA eligibility (#1091) push GitHub github pending completion   set done
1388556463 main ➕ [Certik] TCA-03 | Fix potential integer overflow (#1092) push GitHub github pending completion   set done
1384047035 main ✅ Add missing zero address checks (#1089) push GitHub github pending completion   set done
1379501394 main 🕵️‍♂️ [Certik] TCF-01 | Missing Test Case (#1085) push GitHub github pending completion   set done