Skip to content
Snippets Groups Projects
Select Git revision
  • 44-error-state-query
  • ConfigurableRollbackFeature
  • master default protected
  • v0.2
  • v0.1
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.030Jul21May201912106543226Apr1916151413121097631Mar27262524222120191817161514121110422Feb1613121175331Jan292723212015141310876543230Dec24232018171613229NovAdding prior work and Thesis; moving some DOCSmastermasterexperiements and results first draftBetter output for -run solveFixed: Constructor not failing to error state if a require statement failsRough fix for bad splitting bug; will need to have a more robust method for thisAdding a simple auction to the reachable test casesPerformed late code review for !9:Fixing formatting changes and NuSMV code that was not supposed to be removed in !9Merge branch '39-implement-crass-gas-limit' into 'master'44-error-state-…44-error-state-queryGas Limit ImplementedChanging 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 INTsMerge branch 'ConfigurableRollbackFeature' into 'master'adding configurable rollback feature; use -noRollback flag in commandConfigurableRol…ConfigurableRollbackFeatureMerge branch 'ExtractNuSMVErrors' into 'master'missed a comment, adding it back inAdding 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 bugMove the wait for NuSMV process completion to the end of printing outputsupdate CUI; changing -loglevel debug to -loglevel finestUsing last _lastOutput in NuSMV error logadding log levels to CUIshowing the beginning and end of NuSMV output in severe logShow error message if NuSMV returns non-zero exit codeshowing error if NuSMV exit code is non-zeroMerge branch 'FunctionModifiers' into 'master'fixing varaible scopeRemoving Address sincce it was failing the testsmall speed upsAdding Function.getParentFunctionType()adding some commentsShortening getFunctionType to getTypeCleaning up code (removing common code into functions)Removing .equals() as it can hide bugs for ENUMS; removing .getParent().getParent()Removing instanceoffaster hashcodeMoving FunctionType to the package with the Functionsupdating solidity filesadd commets for some functionsfix a bug; reverse the order of applying modifier functionsadding the original ModifierFunction8 back and removing unnessecary casts
Loading