Skip to content

History

Revisions

  • Updated Detector Documentation (markdown)

    @montyly montyly committed May 10, 2021
    ad08c85

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Mar 31, 2021
    ad0385c

  • Updated Usage (markdown)

    @montyly montyly committed Feb 8, 2021
    3ebac58

  • Updated Printer documentation (markdown)

    @montyly montyly committed Jan 4, 2021
    66f9ae7

  • fix incorrect printer name (contract-summary) to correct one (call-graph)

    @rmi7 rmi7 committed Dec 23, 2020
    a57bfd4

  • Updated Printer documentation (markdown)

    @rmi7 rmi7 committed Dec 23, 2020
    a0f8feb

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Dec 18, 2020
    4eb4a4b

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Dec 11, 2020
    e8b6250

  • Updated Adding a new detector (markdown)

    @montyly montyly committed Nov 13, 2020
    b5f0d99

  • Updated Adding a new detector (markdown)

    @montyly montyly committed Nov 4, 2020
    0d25d24

  • Updated Code Similarity Detector (markdown)

    Sina Pilehchiha committed Oct 14, 2020
    c7ae485

  • Updated Property generation (markdown)

    @dguido dguido committed Sep 7, 2020
    6c63cd6

  • Updated Upgradeability Checks (markdown)

    @dguido dguido committed Sep 7, 2020
    9576f5e

  • Updated Property generation (markdown)

    @dguido dguido committed Sep 6, 2020
    f3b843c

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Sep 4, 2020
    d6d9d26

  • Updated ERC Conformance (markdown)

    @dguido dguido committed Aug 26, 2020
    e3363b2

  • Updated ERC Conformance (markdown)

    @dguido dguido committed Aug 26, 2020
    d8d661f

  • Updated ERC Conformance (markdown)

    @dguido dguido committed Aug 26, 2020
    7b4e551

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Aug 15, 2020
    8875445

  • Updated Detector Documentation (markdown)

    @montyly montyly committed Aug 15, 2020
    3fb008b

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    8d00075

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    dd2cef0

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    438f070

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    82e7f9e

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    7a71951

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 23, 2020
    4f9d1b7

  • Updated Property generation (markdown)

    @dguido dguido committed Jul 11, 2020
    0b6df15

  • Updated Contract Flattening (markdown)

    @montyly montyly committed Jun 8, 2020
    0fa931d

  • Updated Contract Flattening (markdown)

    @montyly montyly committed Jun 6, 2020
    8fedf33

  • Updated Contract Flattening (markdown)

    @montyly montyly committed Jun 5, 2020
    22f0f9d