The NetBSD Project

CVS log for pkgsrc/math/z3/Makefile

[BACK] Up to [cvs.NetBSD.org] / pkgsrc / math / z3

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.12 / (download) - annotate - [select for diffs], Mon Nov 12 16:10:24 2018 UTC (9 days, 18 hours ago) by jaapb
Branch: MAIN
CVS Tags: HEAD
Changes since 1.11: +2 -2 lines
Diff to previous 1.11 (colored)

Revbumps associated with update of lang/ocaml.

Revision 1.11 / (download) - annotate - [select for diffs], Thu Jul 19 15:15:27 2018 UTC (4 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2018Q3-base, pkgsrc-2018Q3
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (colored)

Recursive revbump associated with the update of lang/ocaml to 4.07.

Revision 1.10 / (download) - annotate - [select for diffs], Fri Apr 13 13:55:35 2018 UTC (7 months, 1 week ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2018Q2-base, pkgsrc-2018Q2
Changes since 1.9: +2 -2 lines
Diff to previous 1.9 (colored)

Revbump associated with the upgrade of lang/ocaml

(this is the upgrade from 4.06 to 4.06.1)

Revision 1.9 / (download) - annotate - [select for diffs], Tue Mar 13 21:20:34 2018 UTC (8 months, 1 week ago) by khorben
Branch: MAIN
CVS Tags: pkgsrc-2018Q1-base, pkgsrc-2018Q1
Changes since 1.8: +2 -1 lines
Diff to previous 1.8 (colored)

Re-introduce support for NetBSD in src/util/scoped_timer.cpp

I forgot to patch this part in the latest update; sorry.
This has now been submitted upstream as well.

Originally from dholland@.

Compile-tested on NetBSD/amd64.

Bump PKGREVISION.

Revision 1.8 / (download) - annotate - [select for diffs], Tue Mar 13 00:31:16 2018 UTC (8 months, 1 week ago) by khorben
Branch: MAIN
Changes since 1.7: +2 -25 lines
Diff to previous 1.7 (colored)

Update math/z3 to version 4.5.0

From the release notes:

    New features:
    - New theories of strings and sequences.
    - Incremental consequence finder for finite domains.
    - CMake build system (thanks @delcypher).
    - Updated and improved OCaml API (thanks @martin-neuhaeusser).
    - Updated and improved Java API (thanks @cheshire).
    - New resource limit facilities to avoid non-deterministic timeout behaviour.
    - New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes).
    - QSAT: a new solver for quantified arithmetic problems. See:
      Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.

    A multitude of bugs has been fixed.

I am about to commit a separate package for the Python bindings.

Coordinated with dholland@

Revision 1.7 / (download) - annotate - [select for diffs], Tue Feb 27 08:34:16 2018 UTC (8 months, 3 weeks ago) by wiz
Branch: MAIN
Changes since 1.6: +3 -1 lines
Diff to previous 1.6 (colored)

z3: forbid python 3.x

First complains about indentation problems, then about reading
non-ASCII bytes.

Revision 1.6 / (download) - annotate - [select for diffs], Wed Jan 10 16:53:12 2018 UTC (10 months, 1 week ago) by jaapb
Branch: MAIN
Changes since 1.5: +2 -2 lines
Diff to previous 1.5 (colored)

Recursive revbump associated with the update to OCaml 4.06.

Revision 1.5 / (download) - annotate - [select for diffs], Fri Sep 8 09:51:24 2017 UTC (14 months, 2 weeks ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2017Q4-base, pkgsrc-2017Q4, pkgsrc-2017Q3-base, pkgsrc-2017Q3, pkgsrc-
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

Recursive revbump associated with update of ocaml to 4.05

Revision 1.4 / (download) - annotate - [select for diffs], Tue Jul 11 14:19:20 2017 UTC (16 months, 1 week ago) by jaapb
Branch: MAIN
Changes since 1.3: +2 -2 lines
Diff to previous 1.3 (colored)

Revbump associated with ocaml-4.04.2

Revision 1.3 / (download) - annotate - [select for diffs], Fri Dec 30 11:17:00 2016 UTC (22 months, 3 weeks ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2017Q2-base, pkgsrc-2017Q2, pkgsrc-2017Q1-base, pkgsrc-2017Q1
Changes since 1.2: +2 -2 lines
Diff to previous 1.2 (colored)

Recursive revbump associated with ocaml update to 4.04.

Revision 1.2 / (download) - annotate - [select for diffs], Thu May 5 11:45:40 2016 UTC (2 years, 6 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2016Q4-base, pkgsrc-2016Q4, pkgsrc-2016Q3-base, pkgsrc-2016Q3, pkgsrc-2016Q2-base, pkgsrc-2016Q2
Changes since 1.1: +2 -1 lines
Diff to previous 1.1 (colored)

Recursive revbump associated with ocaml update.

Revision 1.1 / (download) - annotate - [select for diffs], Tue Nov 24 05:45:58 2015 UTC (2 years, 11 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2016Q1-base, pkgsrc-2016Q1, pkgsrc-2015Q4-base, pkgsrc-2015Q4

Package the Z3 theorem prover / SMT solver from Microsoft Research.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.




CVSweb <webmaster@jp.NetBSD.org>