Skip to content

History / ScalaZ3 and Visual Studio 2012 Express for Windows Desktop

Edit page New page

Revisions

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 20, 2013
    562fbe5

  • reset working directory to default for eclipse launch configuration

    @vo1stv vo1stv committed Oct 20, 2013
    cefb253

  • whitespace and capitalization

    @vo1stv vo1stv committed Oct 20, 2013
    52a016b

  • added section "Test the newly built DLLs"

    @vo1stv vo1stv committed Oct 20, 2013
    fe60491

  • url to compilable project

    @vo1stv vo1stv committed Oct 20, 2013
    367a7ac

  • compiled successfully...

    @vo1stv vo1stv committed Oct 20, 2013
    b8ff386

  • library options

    @vo1stv vo1stv committed Oct 19, 2013
    92e6aed

  • still testing the procedure and updating as I go,

    @vo1stv vo1stv committed Oct 19, 2013
    dda7f15

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    cc9a2ca

  • more details

    @vo1stv vo1stv committed Oct 19, 2013
    e319f61

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    fda8ca9

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    3398401

  • z3.lib

    @vo1stv vo1stv committed Oct 19, 2013
    d65b315

  • more discussion

    @vo1stv vo1stv committed Oct 16, 2013
    9069ade

  • output to .\project\libscalaz3

    @vo1stv vo1stv committed Oct 15, 2013
    ebc8ad9

  • better markdown usage

    @vo1stv vo1stv committed Oct 15, 2013
    77df815

  • more notes

    @vo1stv vo1stv committed Oct 15, 2013
    11f17d0

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 15, 2013
    da20570

  • draft.. still in progress

    @vo1stv vo1stv committed Oct 15, 2013
    eea197b

  • Updated Scala z3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 14, 2013
    3d99d9e