Skip to content

History

Revisions

  • Added an itroduction describing the difference between kore and haskell profiling

    @goodlyrottenapple goodlyrottenapple committed Jun 28, 2022
    b1cd6e2

  • Updated Style guide (markdown)

    @JKTKops JKTKops committed Feb 22, 2022
    103a34b

  • Rename title

    @ana-pantilie ana-pantilie committed Oct 25, 2021
    1978b18

  • Updated Manually regenerating regression tests (markdown)

    @ana-pantilie ana-pantilie committed Oct 25, 2021
    adb197b

  • Created Manually regenerating regression tests (markdown)

    @ana-pantilie ana-pantilie committed Oct 25, 2021
    481355d

  • Describe how to run kore-repl directly

    @dopamane dopamane committed Oct 12, 2021
    4da6628

  • Explain what makefile is running, update install instructions

    @dopamane dopamane committed Oct 11, 2021
    d6d9bd3

  • Update kore-repl prerequisites, add REPL startup example, and remove outdated help output, direct user to --help option and help REPL command.

    @dopamane dopamane committed Aug 27, 2021
    de430bc

  • cleanup available modifiers table

    @dopamane dopamane committed Aug 20, 2021
    6ef4153

  • reference kore-repl --help for available log entries

    @dopamane dopamane committed Aug 18, 2021
    46e7963

  • Update kore-repl debugging section, see #2724

    @dopamane dopamane committed Aug 18, 2021
    021ba56

  • update coding standards link to style guide link

    @dopamane dopamane committed Aug 16, 2021
    4a81105

  • Adding instructions on how to modify the regression test suite.

    @emarzion emarzion committed Aug 9, 2021
    853a661

  • Updated Guide for running KEVM tests with custom backends (markdown)

    @JKTKops JKTKops committed Jul 29, 2021
    0de4262

  • Updated Guide for running KEVM tests with custom backends (markdown)

    @JKTKops JKTKops committed Jul 26, 2021
    a1c7999

  • Updated Guide for running KEVM tests with custom backends (markdown)

    @JKTKops JKTKops committed Jul 26, 2021
    a698f30

  • Updated Mircea's guide for running KEVM tests with custom backends (markdown)

    @JKTKops JKTKops committed Jul 26, 2021
    4fb3479

  • Updated Testing (markdown)

    @JKTKops JKTKops committed Jul 26, 2021
    8b83b15

  • Updated Testing (markdown)

    @JKTKops JKTKops committed Jul 26, 2021
    6964928

  • Updated Testing (markdown)

    @geo2a geo2a committed Jul 23, 2021
    2ddfb4f

  • Updated Testing (markdown)

    @geo2a geo2a committed Jul 23, 2021
    034129e

  • Updated Testing (markdown)

    @geo2a geo2a committed Jul 22, 2021
    dc7014a

  • Updated Testing (markdown)

    @geo2a geo2a committed Jul 22, 2021
    f7cffb2

  • Updated Testing (markdown)

    @geo2a geo2a committed Jul 22, 2021
    718ed73

  • Created Testing (markdown)

    @geo2a geo2a committed Jul 22, 2021
    c7d0dfe

  • Updated Module template (markdown)

    @JKTKops JKTKops committed Jul 14, 2021
    f938c54

  • Updated Module template (markdown)

    @JKTKops JKTKops committed Jul 14, 2021
    02d14d9

  • Updated Profiling (markdown)

    @ana-pantilie ana-pantilie committed Jun 16, 2021
    bd0f406

  • Updated Release (markdown)

    @ttuegel ttuegel committed Jun 3, 2021
    19574f8

  • Updated Release (markdown)

    @ttuegel ttuegel committed Jun 3, 2021
    923abee