Skip to content

History

Revisions

  • Fix link to z3-4.12.1 release

    @alex-chew alex-chew committed Nov 15, 2024
    5550d4b

  • Updated INSTALL (markdown)

    @fabiomadge fabiomadge committed Sep 25, 2024
    de7d610

  • Updated INSTALL (markdown)

    @stefan-aws stefan-aws committed May 29, 2024
    133d204

  • Updated INSTALL (markdown)

    @fabiomadge fabiomadge committed May 22, 2024
    65be541

  • Updated INSTALL (markdown)

    @fabiomadge fabiomadge committed May 22, 2024
    9b114d3

  • Updated INSTALL (markdown)

    @fabiomadge fabiomadge committed Sep 8, 2023
    29a0d3b

  • Updated INSTALL (markdown)

    @fabiomadge fabiomadge committed Sep 8, 2023
    805cdcd

  • Updated INSTALL (markdown)

    @MikaelMayer MikaelMayer committed Jun 16, 2023
    d783f11

  • Updated INSTALL (markdown)

    @MikaelMayer MikaelMayer committed Jun 16, 2023
    ddbfb41

  • Updated INSTALL (markdown)

    @davidcok davidcok committed May 25, 2023
    d120ad9

  • Updated INSTALL (markdown)

    @davidcok davidcok committed May 23, 2023
    bfad827

  • https://github.com/dafny-lang/dafny/issues/3876

    @robin-aws robin-aws committed Apr 18, 2023
    9ed94ce

  • Replace Z3 4.8.5 with 4.12.1

    @robin-aws robin-aws committed Apr 18, 2023
    d859530

  • Describe macOS dependencies for `quicktest.sh`

    @atomb atomb committed Feb 28, 2023
    2b448e6

  • Update macOS installation instructions

    @atomb atomb committed Feb 27, 2023
    2f44792

  • Updated Modeling External State Correctly (markdown)

    @davidcok davidcok committed Feb 18, 2023
    6205a07

  • Updated Issuing a Dafny release (markdown)

    @keyboardDrummer keyboardDrummer committed Feb 1, 2023
    54aca39

  • Updated INSTALL (markdown)

    @davidcok davidcok committed Dec 23, 2022
    d7d6227

  • Updated Home (markdown)

    @davidcok davidcok committed Sep 24, 2022
    4822fbf

  • Updated Home (markdown)

    @davidcok davidcok committed Sep 24, 2022
    1051644

  • Updated Issuing a Dafny release (markdown)

    @davidcok davidcok committed Sep 23, 2022
    1569000

  • Updated Issuing a Dafny release (markdown)

    @davidcok davidcok committed Sep 23, 2022
    0152c57

  • Created Issuing a Dafny release (markdown)

    @davidcok davidcok committed Sep 23, 2022
    5bdcdeb

  • Updated Home (markdown)

    @davidcok davidcok committed Sep 23, 2022
    fd2abe5

  • Updated INSTALL (markdown)

    @davidcok davidcok committed Sep 8, 2022
    7661bf1

  • Updated INSTALL (markdown)

    @davidcok davidcok committed Sep 8, 2022
    38bad54

  • Updated INSTALL (markdown)

    @davidcok davidcok committed Sep 8, 2022
    e3823ee

  • Updated Setting up a development copy of Dafny (markdown)

    @robin-aws robin-aws committed Sep 7, 2022
    eb58350

  • Updated Setting up a development copy of Dafny (markdown)

    @davidcok davidcok committed Sep 2, 2022
    67242ff

  • Updated Setting up a development copy of Dafny (markdown)

    @davidcok davidcok committed Sep 2, 2022
    214d811