Commits

Branch selector

develop

User selector

All users

Datepicker

All time

Commit history

Commits on Mar 2, 2021

• Merge pull request #18 from ConsenSys/post_user_fun_fixes

  Show description for c188251
  cd1m0

  authored
  c188251View commit details

  Copy full SHA for c188251

  Browse repository at this point

• 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

  Browse repository at this point

Commits on Feb 26, 2021

• bump version to 0.3.5

  cd1m0

  committed
  f20dfe1View commit details

  Copy full SHA for f20dfe1

  Browse repository at this point

Commits on Feb 25, 2021

• Merge pull request #17 from ConsenSys/src_to_src_mapping

  Show description for 910a2b9
  cd1m0

  authored
  910a2b9View commit details

  Copy full SHA for 910a2b9

  Browse repository at this point

• Addrss Pavels comments

  cd1m0

  committed
  6d2b8b6View commit details

  Copy full SHA for 6d2b8b6

  Browse 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

  Browse 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

  Browse 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

  Browse repository at this point

• forgot a file

  cd1m0

  committed
  7e65ed6View commit details

  Copy full SHA for 7e65ed6

  Browse 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

  Browse 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

  Browse repository at this point

• Implement src-to-src map

  cd1m0

  committed
  816d78bView commit details

  Copy full SHA for 816d78b

  Browse 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

  Browse repository at this point

Commits on Feb 18, 2021

• bump version to 0.3.4

  cd1m0

  committed
  58b3942View commit details

  Copy full SHA for 58b3942

  Browse repository at this point

• Merge branch 'develop'

  cd1m0

  committed
  14cf3d8View commit details

  Copy full SHA for 14cf3d8

  Browse repository at this point

• Merge pull request #15 from ConsenSys/user_functions

  Show description for 8a51dc7
  cd1m0

  authored
  8a51dc7View commit details

  Copy full SHA for 8a51dc7

  Browse repository at this point

Commits on Feb 17, 2021

• address Pavels comments

  cd1m0

  committed
  031fe1cView commit details

  Copy full SHA for 031fe1c

  Browse repository at this point

• - propagate TranspilingContext in generateExprAST

  Show description for 187665e
  cd1m0

  committed
  187665eView commit details

  Copy full SHA for 187665e

  Browse repository at this point

• 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

  Browse repository at this point

Commits on Feb 16, 2021

• Transpile user functions.

  cd1m0

  committed
  b821290View commit details

  Copy full SHA for b821290

  Browse repository at this point

Commits on Feb 11, 2021

• Type-checking support

  cd1m0

  committed
  4d901feView commit details

  Copy full SHA for 4d901fe

  Browse repository at this point

Commits on Feb 9, 2021

• - update parser-generation command with multiple starting rules

  Show description for b7dd279
  cd1m0

  committed
  b7dd279View commit details

  Copy full SHA for b7dd279

  Browse repository at this point

• 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

  Browse 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

  Browse 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

  Browse repository at this point

Commits on Feb 8, 2021

• Merge pull request #14 from ConsenSys/reexported_imports

  Show description for 604158d
  cd1m0

  authored
  604158dView commit details

  Copy full SHA for 604158d

  Browse 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

  Browse repository at this point

Commits on Feb 1, 2021

• Merge pull request #12 from ConsenSys/badge

  Show description for c479bef
  cd1m0

  authored
  c479befView commit details

  Copy full SHA for c479bef

  Browse repository at this point

• Merge branch 'develop' into badge

  cd1m0

  authored
  a7e7f46View commit details

  Copy full SHA for a7e7f46

  Browse repository at this point

• Merge pull request #13 from ConsenSys/fs25-dimo

  Show description for e27db5e
  cd1m0

  authored
  e27db5eView commit details

  Copy full SHA for e27db5e

  Browse 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

  Browse 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

  Browse 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

  Browse 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

  Browse repository at this point

• Separate InstrumentationContext into its own class

  cd1m0

  committed
  8ff30e1View commit details

  Copy full SHA for 8ff30e1

  Browse repository at this point