The NetBSD Project

CVS log for pkgsrc/math/yices2/Makefile

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

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.3 / (download) - annotate - [select for diffs], Sat Nov 2 16:16:22 2019 UTC (3 months, 2 weeks ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4, HEAD
Changes since 1.2: +6 -6 lines
Diff to previous 1.2 (colored)

math: align variable assignments

pkglint -Wall -F --only aligned -r

Manual correction in R/Makefile.extension for the MASTER_SITES
continuation line.

Revision 1.2 / (download) - annotate - [select for diffs], Mon Aug 26 21:11:28 2019 UTC (5 months, 3 weeks ago) by alnsn
Branch: MAIN
CVS Tags: pkgsrc-2019Q3-base, pkgsrc-2019Q3
Changes since 1.1: +5 -2 lines
Diff to previous 1.1 (colored)

Add TEST_TARGET.

Current score on -current amd64: Pass: 861, Fail: 171.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Sat Aug 24 22:09:16 2019 UTC (5 months, 4 weeks ago) by alnsn
Branch: TNF
CVS Tags: pkgsrc-base
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

Initial import of Yices 2, version 2.6.1.

Yices 2 is an SMT solver that decides the satisfiability of formulas
containing uninterpreted function symbols with equality, real and
integer arithmetic, bitvectors, scalar types, and tuples. Yices 2
supports both linear and nonlinear arithmetic.
                                                                                                                        Yices 2 can process input written in the SMT-LIB notation (both
versions 2.0 and 1.2 are supported). Alternatively, you can write
specifications using Yices 2's own specification language, which
includes tuples and scalar types. You can also use Yices 2 as a
library in your software.

Revision 1.1 / (download) - annotate - [select for diffs], Sat Aug 24 22:09:16 2019 UTC (5 months, 4 weeks ago) by alnsn
Branch: MAIN

Initial revision

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>