Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit history

Commits on Mar 2, 2021

• Fix instrumentation on contracts with user functions but no invariants: shouldnt emit empty invaraint checkers in this case

  cd1m0

  committed
  33744baView commit details

  Copy full SHA for 33744ba

  View code at this pointBrowse repository at this point

Commits on Feb 25, 2021

• Addrss Pavels comments

  cd1m0

  committed
  6d2b8b6View commit details

  Copy full SHA for 6d2b8b6

  View code at this pointBrowse repository at this point

• - Fix file names in instrumented code to have .instrumented and .original suffixes (depending on presence of --arm)

  Show description for a2619db
  cd1m0

  committed
  a2619dbView commit details

  Copy full SHA for a2619db

  View code at this pointBrowse repository at this point

Commits on Feb 24, 2021

• Add bytecode source map coverage test

  cd1m0

  committed
  ef4e873View commit details

  Copy full SHA for ef4e873

  View code at this pointBrowse repository at this point

• Change checkRange field in property map to a list of check ranges (at the moment its still only 1 field). Chang multi-file tests to compare the whole instrumentation metadata to snapshot instead of…

  Show description for 7953c49
  cd1m0

  committed
  7953c49View commit details

  Copy full SHA for 7953c49

  View code at this pointBrowse repository at this point

• forgot a file

  cd1m0

  committed
  7e65ed6View commit details

  Copy full SHA for 7e65ed6

  View code at this pointBrowse repository at this point

• - unify property-map and src-to-src map in the JSON output into a

  Show description for 3d83cc8
  cd1m0

  committed
  3d83cc8View commit details

  Copy full SHA for 3d83cc8

  View code at this pointBrowse repository at this point

Commits on Feb 23, 2021

• Add extra fields to property map to track the instrumentation code of each property; Add an extra field to track the exact source range of the check itself; Add an extra field to the src-to-src map…

  Show description for 0d1a761
  cd1m0

  committed
  0d1a761View commit details

  Copy full SHA for 0d1a761

  View code at this pointBrowse repository at this point

• Implement src-to-src map

  cd1m0

  committed
  816d78bView commit details

  Copy full SHA for 816d78b

  View code at this pointBrowse repository at this point

Commits on Feb 19, 2021

• bump solc-typed-ast to 3.1.0 and fix failing tests

  cd1m0

  committed
  5700c7fView commit details

  Copy full SHA for 5700c7f

  View code at this pointBrowse repository at this point

Commits on Feb 17, 2021

• Fix 2 failing tests; Add a new `TypeEnv` class that combines type maps and user function maps. Refactor `TypeMap` into the new `TypeEnv` througout the code

  cd1m0

  committed
  6b91a1fView commit details

  Copy full SHA for 6b91a1f

  View code at this pointBrowse repository at this point

Commits on Feb 16, 2021

• Transpile user functions.

  cd1m0

  committed
  b821290View commit details

  Copy full SHA for b821290

  View code at this pointBrowse repository at this point

Commits on Feb 11, 2021

• Type-checking support

  cd1m0

  committed
  4d901feView commit details

  Copy full SHA for 4d901fe

  View code at this pointBrowse repository at this point

Commits on Feb 9, 2021

• Re-factored annotations.md to support new definitions and remove old hacky 2-stage parsing

  cd1m0

  committed
  f74e7acView commit details

  Copy full SHA for f74e7ac

  View code at this pointBrowse repository at this point

• - Add new SAnnotation, SProperty and SUserFunctionDefinition nodes

  Show description for 6e63f4d
  cd1m0

  committed
  6e63f4dView commit details

  Copy full SHA for 6e63f4d

  View code at this pointBrowse repository at this point

• Bump ts-pegjs to 0.3.0 to get fix for --allowed-start-rules cli option; Clarify naming for typeString parser;

  cd1m0

  committed
  45684acView commit details

  Copy full SHA for 45684ac

  View code at this pointBrowse repository at this point

Commits on Feb 5, 2021

• Fixes to support re-exported imports and additional tests

  cd1m0

  committed
  6818a29View commit details

  Copy full SHA for 6818a29

  View code at this pointBrowse repository at this point

Commits on Jan 29, 2021

• Add TranspilingContext; Convert generateExpressions, flattenExpr, FunctionInstrumenter.insertEnterMarker, FunctionInstrumetner.insertExitMarker to use TranspilingContext; Convert naming of temp bin…

  Show description for b5c8eb6
  cd1m0

  committed
  b5c8eb6View commit details

  Copy full SHA for b5c8eb6

  View code at this pointBrowse repository at this point

Commits on Jan 28, 2021

• Handle shadowing of renamed originals and internal checkers

  cd1m0

  committed
  c22e1a9View commit details

  Copy full SHA for c22e1a9

  View code at this pointBrowse repository at this point

• Make InstrumentationContext available during the generation of the utility contract (in generateUtilsContract). Convert the __scribble_check_state_invariants, __scribble_out_of_contract and __scrib…

  Show description for c6ae5c2
  cd1m0

  committed
  c6ae5c2View commit details

  Copy full SHA for c6ae5c2

  View code at this pointBrowse repository at this point

• Replace UIDGenerator with NameGenerator; Move NameGenerator inside InstrumentationContext; Add set of all known names from all source units to NameGenerator, and capability to avoid collisions

  cd1m0

  committed
  9f1cc8eView commit details

  Copy full SHA for 9f1cc8e

  View code at this pointBrowse repository at this point

• Separate InstrumentationContext into its own class

  cd1m0

  committed
  8ff30e1View commit details

  Copy full SHA for 8ff30e1

  View code at this pointBrowse repository at this point

Commits on Dec 17, 2020

• Addressed review remarks: tweaked error messages and left a comment to clarify why getAnnotationsOrDie() is called on free functions without further use of the returned annotations.

  blitz-1306

  committed
  3b1a65cView commit details

  Copy full SHA for 3b1a65c

  View code at this pointBrowse repository at this point

Commits on Dec 16, 2020

• Merge branch 'develop' into disallow-if-succeeds-on-contracts

  cd1m0

  authored
  5757796View commit details

  Copy full SHA for 5757796

  View code at this pointBrowse repository at this point

• Tweaked the test

  blitz-1306

  committed
  e59b162View commit details

  Copy full SHA for e59b162

  View code at this pointBrowse repository at this point

• Overhaul an AnnotationExtractor to be a bit more clear and do basic validation of annotations

  blitz-1306

  committed
  92e4614View commit details

  Copy full SHA for 92e4614

  View code at this pointBrowse repository at this point

Commits on Dec 10, 2020

• Disallow if_succeeds anotation for for contract definitions

  blitz-1306

  committed
  8a23c36View commit details

  Copy full SHA for 8a23c36

  View code at this pointBrowse repository at this point

Commits on Dec 9, 2020

• Support adding units

  norhh

  committed
  b6c886bView commit details

  Copy full SHA for b6c886b

  View code at this pointBrowse repository at this point

Commits on Dec 4, 2020

• move solc-typed-ast package to npm

  cd1m0

  committed
  6a4f3c0View commit details

  Copy full SHA for 6a4f3c0

  View code at this pointBrowse repository at this point

• Initial scribble public commit

  cd1m0

  committed
  f2859a9View commit details

  Copy full SHA for f2859a9

  View code at this pointBrowse repository at this point

Loading