Skip to content

History

New page

Revisions

  • repair dead link

    @MathieuRoger MathieuRoger committed Sep 14, 2016
    6bdc50c

  • Updated Documentation (markdown)

    @NikolajBjorner NikolajBjorner committed Aug 2, 2016
    91dd448

  • Updated Documentation (markdown)

    @NikolajBjorner NikolajBjorner committed Aug 2, 2016
    d7dd631

  • Updated Home (markdown)

    @pangeneral pangeneral committed Apr 19, 2016
    03c5d11

  • Fix typo

    @4tXJ7f 4tXJ7f committed Mar 1, 2016
    95a5b0b

  • Included link to *src/api*

    @rodrigodesalvobraz rodrigodesalvobraz committed Feb 11, 2016
    1a3d8ef

  • Included Java in the list of languages for which there is an API

    @rodrigodesalvobraz rodrigodesalvobraz committed Feb 11, 2016
    fb9a5eb

  • Updated Contribution Guidelines (markdown)

    @wintersteiger wintersteiger committed Oct 23, 2015
    fcfc33a

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    615a39f

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    c3654cb

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    290078f

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    4a65961

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    572aa49

  • Updated Building the unstable branch (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    81772f1

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    fdf3527

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Oct 5, 2015
    ecd0e0a

  • Added link to contribution guidelines.

    @wintersteiger wintersteiger committed Aug 31, 2015
    51ce445

  • Updated CONTRIBUTING (markdown)

    @wintersteiger wintersteiger committed Aug 31, 2015
    af5ed08

  • Added contribution guidelines.

    @wintersteiger wintersteiger committed Aug 31, 2015
    b0df359

  • added link for slides

    @wintersteiger wintersteiger committed Jun 28, 2015
    0d7b86c

  • Updated Slides (markdown)

    @nunoplopes nunoplopes committed Apr 26, 2015
    b9214a1

  • Updated Slides (markdown)

    @nunoplopes nunoplopes committed Apr 26, 2015
    09d82bc

  • Updated FAQ (markdown)

    @wintersteiger wintersteiger committed Apr 20, 2015
    ddd49b2

  • Updated Using Z3Py on Windows (markdown)

    @nunoplopes nunoplopes committed Apr 20, 2015
    e473254

  • Updated Documentation (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    eca9455

  • Updated Z3 (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    ddf3fa3

  • Updated Home (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    cb6d250

  • Updated Documentation (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    f2edabb

  • Updated Documentation (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    8b9373b

  • Updated Building the unstable branch (markdown)

    @wintersteiger wintersteiger committed Apr 13, 2015
    ba235fc