8000 Commits · epfl-lara/ScalaZ3 · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on May 3, 2019

Apache license
vkuncak
committed

Commits on Apr 25, 2018

Commits on Mar 22, 2018

Merge pull request #57 from samarion/load-native
MikaelMayer
authored

Commits on Feb 28, 2018

Get Native class to load in withinJar
samarion
committed
Exclude ar archives from computing the checksum.

dragos
authored and
samarion
committed

Commits on Apr 7, 2017

Now works for windows and includes scalaz3 correctly.
MikaelMayer
committed

Commits on Mar 18, 2017

Added string ops
samarion
committed

Commits on Mar 15, 2017

Register context as error handler
samarion
committed

Commits on Mar 13, 2017

Add interface to MaxSMT and add tests
samarion
committed

Commits on Mar 9, 2017

Add seq and re opts to Z3Context
samarion
committed

Commits on Feb 22, 2017

Merge pull request #54 from romac/master
samarion
authored

Commits on Feb 21, 2017

Update README with up-to-date information regarding cross-compiling and Mac support
romac
authored

Commits on Jan 17, 2017

Commits on Dec 29, 2016

Cross-compile to 2.12
samarion
committed

Commits on Dec 18, 2016

Commits on Nov 30, 2016

Merge pull request #50 from mantognini/patch-1
samarion
authored

Commits on Nov 25, 2016

Remove -fopenmp on Mac
mantognini
authored

Commits on Nov 7, 2016

Make sure packaging checks out the Z3 prover branch
samarion
committed

Commits on May 23, 2016

Updated README to explain how to work on Windows
MikaelMayer
committed

0