issues
search
Pi-Squared-Inc
/
solidity-demo-semantics
Demonstration Solidity Semantics in K
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Uniswapv2librarygetreserves summary
#48
mariaKt
opened
19 hours ago
0
Add swaps with summarization to CI
#47
mariaKt
opened
19 hours ago
0
Bug fix in getReserves summary
#46
mariaKt
closed
1 day ago
0
Summary of `getReserves` function
#45
Robertorosmaninho
closed
1 day ago
0
Summary for the body of setUp
#44
mariaKt
closed
1 day ago
0
Update K Version to `7.1.149`
#43
Robertorosmaninho
closed
2 days ago
0
Summarized rules for fidSwap
#42
mariaKt
closed
1 day ago
0
Summary `fidUpdate` function with 3 parameters
#41
Robertorosmaninho
closed
2 days ago
0
Summary `fidUpdate` function with 4 parameters
#40
Robertorosmaninho
closed
3 days ago
0
Issues with generation of header and proof hints
#39
jinxinglim
opened
5 days ago
2
Remove strict and context from the definition
#38
mariaKt
closed
3 days ago
0
Summary for uniswapV2LibraryPairFor
#37
mariaKt
closed
1 week ago
0
Sync UniswapV2SwapRenamed with UniswapV2Swap
#36
mariaKt
closed
1 week ago
0
Summary for `uniswapV2LibraryGetAmountOut` and `uniswapV2LibraryGetAmountIn`
#35
Robertorosmaninho
closed
4 days ago
0
Summaries for SortTokens function (for non reverting cases).
#34
mariaKt
closed
1 week ago
0
Return priority
#33
mariaKt
closed
2 weeks ago
0
Current function cell
#32
mariaKt
closed
1 week ago
0
Minor optimizations
#31
dwightguth
closed
2 weeks ago
0
Uniswap: summary of initialization of configuration
#30
mariaKt
closed
2 weeks ago
0
use #log to log events rather than a cell
#29
dwightguth
closed
2 weeks ago
0
Uniswap modifications to enable summarization
#28
mariaKt
closed
2 weeks ago
1
convert store cell to list
#27
dwightguth
closed
1 week ago
1
performed modifications after adding sqrt computation
#26
ovatman
closed
1 week ago
9
Misc fixes
#25
dwightguth
closed
3 weeks ago
0
Contract changes
#24
dwightguth
closed
3 weeks ago
0
Arrays and Mappings
#23
dwightguth
closed
3 weeks ago
0
Reference sort
#22
mariaKt
closed
1 month ago
0
For loops
#21
dwightguth
closed
3 weeks ago
0
Payable specifier and call by callvalue
#20
dwightguth
closed
3 weeks ago
0
Increment and decrement
#19
dwightguth
closed
3 weeks ago
0
fix minor bug in semantics
#18
dwightguth
closed
1 month ago
0
No compound assignment
#17
dwightguth
closed
1 month ago
0
If statements and boolean operators
#16
dwightguth
closed
1 month ago
0
Emit statements
#15
dwightguth
closed
1 month ago
0
A few miscellaneous changes
#14
dwightguth
closed
1 month ago
0
Arithmetic
#13
dwightguth
closed
3 weeks ago
0
Basic function bodies
#12
dwightguth
closed
1 month ago
0
Events definition handling
#11
mariaKt
closed
1 month ago
2
Visibility
#10
mariaKt
closed
1 month ago
0
Mappings
#9
mariaKt
closed
1 month ago
0
Remove type funtion calls from tests
#8
mariaKt
closed
1 month ago
0
Top-level contracts
#7
dwightguth
closed
1 month ago
0
Replace revert statements with require in tests
#6
mariaKt
closed
1 month ago
0
Core semantics
#5
dwightguth
closed
1 month ago
0
Rename a few file paths
#4
dwightguth
closed
1 month ago
0
Solidity syntax that supports all the example solidity files
#3
ovatman
closed
1 month ago
0
uniswap solidity syntax
#2
ovatman
closed
1 month ago
0
Liquid staking solidity syntax
#1
ovatman
opened
1 month ago
0