Merge requests · Jon Shahen / Solidity-Safety to Model Checking

adding configurable rollback feature

!9 · created May 10, 2020 by Alireza Lotfi Takami
- Merged
- 5
updated May 20, 2020
Resolve "Implement Crass Gas Limit"

!10 · created May 12, 2020 by Jon Shahen
To Do
- Merged
- 3
updated May 19, 2020
Extract NuSMV errors

!8 · created May 06, 2020 by Alireza Lotfi Takami
- Merged
- 17
updated May 06, 2020
Function modifiers

!7 · created Apr 16, 2020 by Alireza Lotfi Takami v0.4
- Merged
- 34
- 1
updated May 04, 2020
Backup rollback

!6 · created Mar 12, 2020 by Alireza Lotfi Takami
- Merged
- 30
updated Mar 27, 2020
Enum support

!4 · created Feb 12, 2020 by Alireza Lotfi Takami
- Merged
- 45
updated Feb 22, 2020
Resolve "Allow MacOS"

!3 · created Jan 23, 2020 by Tayef Mahmud Shah
To Do
- Merged
- 10
- 1
updated Feb 05, 2020
Resolve "Setup Javadcos and Add Package Level Documentation"

!2 · created Jan 23, 2020 by Jon Shahen
Doing
- Merged
updated Jan 29, 2020
Resolve "If Statement to Finite State Machine"

!1 · created Jan 08, 2020 by Jon Shahen v0.2
Doing
- Merged
updated Jan 13, 2020