Skip to content

History

Revisions

  • Fixed author's name

    @MastaP MastaP committed Sep 19, 2019
    caf9bfd

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 26, 2019
    b8d25b6

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 26, 2019
    dd1f91a

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 26, 2019
    d26f463

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jun 9, 2019
    f5c4cc5

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jun 9, 2019
    b6e95d5

  • add vcpkg link

    @nunoplopes nunoplopes committed Mar 9, 2019
    43bc8a9

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 21, 2018
    3bbf4fc

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 19, 2018
    6937d2b

  • Updated Using Z3Py on Windows (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 19, 2018
    8494562

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 19, 2018
    b9604af

  • Updated Using Z3Py on Windows (markdown)

    @geraw geraw committed Nov 18, 2018
    6c725f4

  • Updated Using Z3Py on Windows (markdown)

    @geraw geraw committed Oct 8, 2018
    d5a4bff

  • Updated Using Z3Py on Windows (markdown)

    @geraw geraw committed Oct 8, 2018
    7521436

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Sep 30, 2018
    11947df

  • Updated Using Z3Py on Windows (markdown)

    @geraw geraw committed Sep 27, 2018
    74a1f64

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Aug 20, 2018
    16d429c

  • Updating Axiom Profiling section

    @lailabecker lailabecker committed Aug 19, 2018
    4a4cfa9

  • Added Link for Axiom Profiler

    @lailabecker lailabecker committed Aug 19, 2018
    e2e50ed

  • Documentation for Equality Explanation Logging

    @lailabecker lailabecker committed Aug 19, 2018
    3c79e1c

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Aug 17, 2018
    2ebe55a

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 6, 2018
    af0e819

  • Updated Documentation (markdown)

    @wintersteiger wintersteiger committed Feb 2, 2018
    774c152

  • Updated Using Z3Py on Windows (markdown)

    @wintersteiger wintersteiger committed Feb 2, 2018
    e2ab0b2

  • Updated Documentation (markdown)

    @wintersteiger wintersteiger committed Feb 2, 2018
    8ef8279

  • corrected URL

    @yurichev yurichev committed Sep 15, 2017
    a48c4e6

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Sep 15, 2017
    5e7e322

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Sep 15, 2017
    4e50cf8

  • fix/remove broken links Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

    @NikolajBjorner NikolajBjorner committed Jul 9, 2017
    1a3e947

  • Updated Slides (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 9, 2017
    393d0d2