Skip to content

History

Revisions

  • Fix a typo

    @cpitclaudel cpitclaudel committed Mar 22, 2023
    892918b

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @robin-aws robin-aws committed Mar 1, 2023
    432102d

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 27, 2023
    74ac36b

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 19, 2023
    57dd689

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 19, 2023
    12b7cda

  • Add notes on adapting to a new Z3 version

    @atomb atomb committed Feb 11, 2023
    102da4e

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @atomb atomb committed Feb 11, 2023
    b0a734d

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @MikaelMayer MikaelMayer committed Feb 10, 2023
    c0a9691

  • newline before `method`

    @MikaelMayer MikaelMayer committed Feb 10, 2023
    9968f7c

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @MikaelMayer MikaelMayer committed Feb 10, 2023
    0abc40a

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    5254416

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    57c8d91

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    3b9ba4f

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    5d7b9ca

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    65fa285

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    38e8018

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 10, 2023
    d74e1d6

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 8, 2023
    e765cf2

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 8, 2023
    7d5f66d

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 4, 2023
    2868d3b

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Feb 4, 2023
    d9adf7f

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Jan 30, 2023
    9340c6d

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @davidcok davidcok committed Jan 30, 2023
    4bdafc5

  • Updated Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @MikaelMayer MikaelMayer committed Jan 30, 2023
    bf94d27

  • Created Quick migration guide from Dafny 3.X to Dafny 4.0 (markdown)

    @MikaelMayer MikaelMayer committed Jan 30, 2023
    f3f1e3e

  • Updated Home (markdown)

    @fabianhauser fabianhauser committed Jun 18, 2020
    ca35936

  • Updated Home (markdown)

    @fabianhauser fabianhauser committed Jun 18, 2020
    33584ce

  • Updated Home (markdown)

    @fabianhauser fabianhauser committed Jun 17, 2020
    bf1a0a8

  • Initial Home page

    @fabianhauser fabianhauser committed Jun 17, 2020
    df49953