Skip to content

History

Revisions

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Nov 25, 2019
    55e03cc

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Nov 25, 2019
    e333ecf

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Nov 25, 2019
    1c6d045

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Nov 25, 2019
    8c44ef0

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 21, 2019
    beb570e

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 18, 2019
    48e1a0b

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 16, 2019
    56a69b7

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 7, 2019
    dd51e79

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 7, 2019
    aeeea8e

  • Updated Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 7, 2019
    e208533

  • Created Experimental options in VeriSol (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Oct 7, 2019
    e0ab994

  • Destroyed How to run regressions in Linux (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Sep 25, 2019
    a62d847

  • Destroyed How to run regression in OSX (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Sep 25, 2019
    751635b

  • Update the command for running regressions

    @Yuepeng-Wang Yuepeng-Wang committed Jun 6, 2019
    3c1108e

  • Update the command for running regressions

    @Yuepeng-Wang Yuepeng-Wang committed Jun 6, 2019
    3eb26e6

  • Updated How to run regressions in Linux (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Jun 3, 2019
    aecc8a1

  • Updated How to run regression in OSX (markdown)

    @shuvendu-lahiri shuvendu-lahiri committed Jun 3, 2019
    68e9cc4

  • Updated instructions using git submodules for Corral

    @garbervetsky garbervetsky committed Apr 17, 2019
    61e992e

  • Updated instructions using git submodules for Corral

    @garbervetsky garbervetsky committed Apr 17, 2019
    3742f69

  • Updated instructions for the Corral verifier

    @Yuepeng-Wang Yuepeng-Wang committed Apr 16, 2019
    5f6f20c

  • Updated How to run regressions in Linux (markdown)

    @Yuepeng-Wang Yuepeng-Wang committed Apr 15, 2019
    b1b4cb0

  • Updated How to run regression in OSX (markdown)

    @garbervetsky garbervetsky committed Mar 30, 2019
    89743e7

  • List the dependencies for Corral

    @Yuepeng-Wang Yuepeng-Wang committed Mar 30, 2019
    8cc4684

  • Updated How to run regression in OSX (markdown)

    @garbervetsky garbervetsky committed Mar 27, 2019
    d77b883

  • First draft of the instructions (based on Linux version). Need to check if `SolToBoogieTest.dll` runs properly.

    @garbervetsky garbervetsky committed Mar 27, 2019
    bcbccff

  • Add solc as a dependency

    @Yuepeng-Wang Yuepeng-Wang committed Mar 25, 2019
    67a50bd

  • Initial Home page

    @Yuepeng-Wang Yuepeng-Wang committed Mar 25, 2019
    9ac41f4

  • Document how to run regressions in Linux

    @Yuepeng-Wang Yuepeng-Wang committed Mar 25, 2019
    97a017b