Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Solidity-Safety to Model Checking
Manage
Activity
Members
Labels
Plan
Issues
15
Issue boards
Milestones
Wiki
Code
Merge requests
1
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Jon Shahen
Solidity-Safety to Model Checking
Graph
master
Select Git revision
Branches
3
44-error-state-query
ConfigurableRollbackFeature
master
default
protected
Tags
2
v0.2
v0.1
5 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
30
Jul
21
May
20
19
12
10
6
5
4
3
2
26
Apr
19
16
15
14
13
12
10
9
7
6
31
Mar
27
26
25
24
22
21
20
19
18
17
16
15
14
12
11
10
4
22
Feb
16
13
12
11
7
5
3
31
Jan
29
27
23
21
20
15
14
13
10
8
7
6
5
4
3
2
30
Dec
24
23
20
18
17
16
13
2
29
Nov
Adding prior work and Thesis; moving some DOCS
master
master
experiements and results first draft
Better output for -run solve
Fixed: Constructor not failing to error state if a require statement fails
Rough fix for bad splitting bug; will need to have a more robust method for this
Adding a simple auction to the reachable test cases
Performed late code review for !9:
Fixing formatting changes and NuSMV code that was not supposed to be removed in !9
Merge branch '39-implement-crass-gas-limit' into 'master'
44-error-state-…
44-error-state-query
Gas Limit Implemented
Changing the ValueReachabilityState to a better name (BoolExprRea...); adding the start of the AttackerGasLimit; adding comments to the varaible in the DApp class; removing tiny functions from the DApp class and moving them to the g4; changing the special commands to only accept INTs
Merge branch 'ConfigurableRollbackFeature' into 'master'
adding configurable rollback feature; use -noRollback flag in command
ConfigurableRol…
ConfigurableRollbackFeature
Merge branch 'ExtractNuSMVErrors' into 'master'
missed a comment, adding it back in
Adding comments to learn from bug; better name and description of new error producing solidity file; removing new code that isn't required.
fix NuSMV null exit value bug
Move the wait for NuSMV process completion to the end of printing outputs
update CUI; changing -loglevel debug to -loglevel finest
Using last _lastOutput in NuSMV error log
adding log levels to CUI
showing the beginning and end of NuSMV output in severe log
Show error message if NuSMV returns non-zero exit code
showing error if NuSMV exit code is non-zero
Merge branch 'FunctionModifiers' into 'master'
fixing varaible scope
Removing Address sincce it was failing the test
small speed ups
Adding Function.getParentFunctionType()
adding some comments
Shortening getFunctionType to getType
Cleaning up code (removing common code into functions)
Removing .equals() as it can hide bugs for ENUMS; removing .getParent().getParent()
Removing instanceof
faster hashcode
Moving FunctionType to the package with the Functions
updating solidity files
add commets for some functions
fix a bug; reverse the order of applying modifier functions
adding the original ModifierFunction8 back and removing unnessecary casts
Loading