Skip to content

History

Revisions

  • Updated Current Work Items (as of October 1, 2021) (markdown)

    @parno parno committed Oct 1, 2021
    8c76300

  • Updated Current Work Items (as of October 1, 2021) (markdown)

    @utaal utaal committed Oct 1, 2021
    eb29dac

  • Updated Current Work Items (as of October 1, 2021) (markdown)

    @utaal utaal committed Oct 1, 2021
    1d78b06

  • Updated Current Work Items (as of October 1, 2021) (markdown)

    @parno parno committed Oct 1, 2021
    b9bf7ef

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Oct 1, 2021
    1453219

  • Updated Home (markdown)

    @parno parno committed Oct 1, 2021
    bdf26b2

  • Updated State Machine Verification via Rust Trait's (markdown)

    @parno parno committed Oct 1, 2021
    19e1e60

  • Created State-Machine Verification via Rust Trait's (markdown)

    @parno parno committed Oct 1, 2021
    1cfbc25

  • Updated Home (markdown)

    @parno parno committed Oct 1, 2021
    8c7e5f2

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Sep 7, 2021
    760bbc6

  • More detailed erasure rules

    @Chris-Hawblitzel Chris-Hawblitzel committed Aug 19, 2021
    d5d22ed

  • Updated Language Design: Proof structures (markdown)

    @parno parno committed Aug 10, 2021
    7c6d453

  • Updated Debugger: Example use cases (markdown)

    @parno parno committed Aug 10, 2021
    3c1576d

  • Updated Language Design: Proof structures (markdown)

    @parno parno committed Aug 9, 2021
    f291212

  • Created Language Design: Proof structures (markdown)

    @parno parno committed Aug 9, 2021
    2429c44

  • Created Debugger: Example use cases (markdown)

    @parno parno committed Aug 6, 2021
    5bc14a1

  • Add notes on erasure

    @parno parno committed Aug 4, 2021
    15d3fb5

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Jul 14, 2021
    ce0cb14

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Jul 12, 2021
    9fc7990

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @utaal utaal committed Jul 2, 2021
    ba02b9f

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Jul 2, 2021
    45a9119

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @utaal utaal committed Jul 2, 2021
    bd12d61

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @utaal utaal committed Jul 2, 2021
    de58a14

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @utaal utaal committed Jul 2, 2021
    20ce312

  • Updated Current Work Items (as of July 2, 2021) (markdown)

    @utaal utaal committed Jul 2, 2021
    d987ab7

  • Updated Home (markdown)

    @parno parno committed Jul 2, 2021
    fd83a51

  • Created Current Work Items (as of July 2, 2021) (markdown)

    @parno parno committed Jul 2, 2021
    ffa899e

  • Updated Home (markdown)

    @utaal utaal committed Jun 18, 2021
    1274628

  • Updated externally_immutable.rs (markdown)

    @tjhance tjhance committed Jun 16, 2021
    4a16938

  • Created externally_immutable.rs (markdown)

    @tjhance tjhance committed Jun 16, 2021
    91b3d03