Skip to content
This repository has been archived by the owner on Apr 4, 2022. It is now read-only.

History

Revisions

  • Add PSTORE_WERROR

    @paulhuggett paulhuggett committed Aug 2, 2021
    3b1a257

  • typos

    @paulhuggett paulhuggett committed Jul 19, 2021
    1ba8b42

  • Update documentation to KLEE 2.2

    @paulhuggett paulhuggett committed Jun 1, 2021
    e3b6afc

  • Add IPC image.

    @paulhuggett paulhuggett committed Jan 19, 2021
    c12ae6e

  • Add IPC diagram

    @paulhuggett paulhuggett committed Jan 19, 2021
    665e780

  • Typos

    @paulhuggett paulhuggett committed Jan 19, 2021
    7b27319

  • Note that GC feedback is not yet implemented.

    @paulhuggett paulhuggett committed Jan 19, 2021
    9bdf295

  • Initial version.

    @paulhuggett paulhuggett committed Jan 19, 2021
    e9b5e76

  • Add clang-tidy-enabled.

    @paulhuggett paulhuggett committed Nov 24, 2020
    d65d025

  • Initial placeholder version.

    @paulhuggett paulhuggett committed Nov 23, 2020
    72ad062

  • Mention the class member access specifier order.

    @paulhuggett paulhuggett committed Jun 25, 2020
    e071cbe

  • Now telling SonarCloud about the different source and test directories.

    @paulhuggett paulhuggett committed Oct 10, 2019
    6ff8237

  • Add examples to the SonarCloud script.

    @paulhuggett paulhuggett committed Sep 8, 2019
    eb0c425

  • Link to sonar-scanner downloads page.

    @paulhuggett paulhuggett committed Sep 8, 2019
    12024ea

  • Add a link to the google style guide for its reference arguments discussion.

    @paulhuggett paulhuggett committed Jul 28, 2019
    1529061

  • Add missing space.

    @paulhuggett paulhuggett committed Jul 16, 2019
    5148ea3

  • Remove a spurious list element.

    @paulhuggett paulhuggett committed Jul 16, 2019
    3071484

  • Typo.

    @paulhuggett paulhuggett committed Jul 16, 2019
    eb0ee06

  • Fix the link to nst/JSONTestSuite.

    @paulhuggett paulhuggett committed Jul 16, 2019
    d24414d

  • Add AFL example for pstore-dump.

    @paulhuggett paulhuggett committed Jun 19, 2019
    1024f49

  • fix some typos.

    @paulhuggett paulhuggett committed Jun 12, 2019
    aba6722

  • Updated Broker IPC (markdown)

    @paulhuggett paulhuggett committed Jun 12, 2019
    17ff7fa

  • Document PSTORE_SIGNATURE_CHECKS_ENABLED

    @paulhuggett paulhuggett committed Jun 12, 2019
    897923f

  • Suggest slightly more sensible directories for the AFL tests.

    @paulhuggett paulhuggett committed Jun 12, 2019
    32f0fec

  • Add a description of AFL use.

    @paulhuggett paulhuggett committed Jun 12, 2019
    7e186f9

  • Updated Static and Runtime analyses (markdown)

    @paulhuggett paulhuggett committed May 10, 2019
    022ef5d

  • Correct the path in the "running the KLLE tests" section.

    @paulhuggett paulhuggett committed May 9, 2019
    ef5b4d0

  • add link to download build-wrapper-linux-x86-64.zip

    @paulhuggett paulhuggett committed May 9, 2019
    451e2e5

  • Link to the KLEE instructions

    @paulhuggett paulhuggett committed May 9, 2019
    0998a59

  • tag the bash scripts as such

    @paulhuggett paulhuggett committed May 9, 2019
    3633255