- Nov 01, 2022
-
-
Mario Bucev authored
-
- Mar 05, 2022
-
-
Mario Bucev authored
-
- Sep 26, 2019
-
-
Romain Ruetschi authored
-
- Sep 25, 2019
-
-
Romain Ruetschi authored
-
- Jun 19, 2019
-
-
Romain Ruetschi authored
-
- Jun 18, 2019
-
-
Romain Ruetschi authored
-
Romain Ruetschi authored
-
Romain Ruetschi authored
-
-
- Apr 07, 2017
-
-
Mikaël Mayer authored
Instructions added.
-
- Feb 21, 2017
-
-
Romain Ruetschi authored
-
- May 23, 2016
-
-
Mikaël Mayer authored
-
- Apr 25, 2016
-
-
Nicolas Voirol authored
-
- Apr 22, 2016
-
-
Nicolas Voirol authored
-
- Aug 11, 2015
-
-
Etienne Kneuss authored
-
- May 13, 2014
-
-
Ali Sinan Köksal authored
- Change the Z3 library install name by prefixing it with @loader_path (requires install_name_tool) - Change the ScalaZ3 install name to its absolute destination path. - Update README
-
- Apr 24, 2014
-
-
Mikaël Mayer authored
-
- Oct 18, 2013
-
-
Etienne Kneuss authored
-
Etienne Kneuss authored
The loading of the libz3 is now deterministic, no more LD_LIBRARY_PATH needed. libscalaz3/libz3 are always expected to be extracted to <tmp>/SCALAZ3_<checksum>. Works on linux and mac, compiles on windows but errors when running.
-
- Jun 14, 2013
-
-
Etienne Kneuss authored
-
Etienne Kneuss authored
Implement the necessary changes, mainly in sbt, rework library directory For now it only includes 64b-unix z3.
-
- Jul 19, 2012
-
-
Michele Sama authored
-
- Feb 18, 2012
-
-
Ali Sinan Koksal authored
-
- Feb 14, 2012
-
-
Ali Sinan Köksal authored
-
Ali Sinan Köksal authored
-
- Dec 15, 2011
-
-
Ethan Aubin authored
-
- Sep 25, 2011
-
-
Philippe Suter authored
-
Philippe Suter authored
-
Philippe Suter authored
-
Philippe Suter authored
-
- Apr 11, 2011
-
-
Philippe Suter authored
-
Philippe Suter authored
-