Port details |
- smv Symbolic Model Verifier System for checking finite state systems
- 2.5.4.3_11 devel =2 2.5.4.3_11Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-12-13 01:22:50
- Last Update: 2024-11-19 17:30:56
- Commit Hash: 6b7215e
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: not specified in port
- WWW:
- https://www.cs.cmu.edu/~modelcheck/smv.html
- Description:
- The SMV (Symbolic Model Verifier) system is a tool for
checking finite state systems against specifications
in the temporal logic CTL (Computational Tree Logic).
One specifies the finite state system (finite automaton,
Mealy machine, full adder circuit, ..) as a Kripke
structure in the SMV language and provides specifications
in CTL. The model checking algorithm allows to determine
if the Kripke structure fulfills the specifications.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/smv/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/smv
- pkg install smv
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: smv
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (smv.r2.5.4.3.tar.gz) = d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8
SIZE (smv.r2.5.4.3.tar.gz) = 214640
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gcc13 : lang/gcc13
- as : devel/binutils
- Runtime dependencies:
-
- gcc13 : lang/gcc13
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for smv-2.5.4.3_11:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- devel_smv
- USES:
- sbrk
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
2.5.4.3_11 19 Nov 2024 17:30:56 |
Brooks Davis (brooks) |
*/*: use USES=sbrk
Replace various BROKEN entries for missing sbrk on aarch64 and risc64
with USES=sbrk.
Fix a few missing entries (generally ports blocked by other
dependences).
Approved by: portmgr (mat in D47258 comment)
Differential Revision: https://reviews.freebsd.org/D47259 |
2.5.4.3_11 05 Sep 2024 14:47:44 |
Lorenzo Salvadore (salvadore) |
devel/smv: Fix build with GCC 14
GCC 14 has transformed some warnings into errors: revert them to simple
warnings.
PR: 281229
Reported by: exp-run (antoine) |
2.5.4.3_11 08 Jan 2024 16:46:43 |
Baptiste Daroussin (bapt) |
MANPREFIX: eleminate its usage and move man to share/man |
2.5.4.3_10 23 Apr 2023 09:09:58 |
Gerald Pfeifer (gerald) |
*: Bump PORTREVISIONs for math/mpc update to 1.3.1 |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.5.4.3_9 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
2.5.4.3_9 20 Jul 2022 14:21:35 |
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
2.5.4.3_9 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.5.4.3_9 26 Jul 2019 20:46:57 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
2.5.4.3_8 12 Dec 2018 01:35:36 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590 |
2.5.4.3_7 29 Jul 2018 22:18:46 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.
This includes ports
- featuring USE_GCC=yes or USE_GCC=any,
- featuring USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and those
- with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.
PR: 222542 |
2.5.4.3_6 10 Mar 2018 17:46:06 |
gerald |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079). |
2.5.4.3_5 30 Nov 2017 06:13:35 |
linimon |
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.
This is part two of a multipart commit to bring armv7 ports to parity
with armv6.
Approved by: portmgr (tier-2 blanket)
Obtained from: lonesome.com -exp run |
2.5.4.3_5 10 Sep 2017 20:55:39 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
c++14-lang, c++0x, c11, or gcc-c++11-lib.
PR: 219275 |
2.5.4.3_4 03 Jul 2017 13:33:21 |
amdmi3 |
- Switch to options helpers
- Fix installation commands |
2.5.4.3_4 03 May 2017 05:52:55 |
linimon |
Mark some ports failing on aarch64, and, in a few cases, other tier-2
archs.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
2.5.4.3_4 01 Apr 2017 15:23:32 |
gerald |
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using using Mk/bsd.octave.mk which in turn has USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
c++11-lang, c++0x, c11, or gcc-c++11-lib.
PR: 216707 |
2.5.4.3_3 20 Nov 2016 09:38:09 |
gerald |
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler. |
2.5.4.3_2 19 May 2016 10:21:25 |
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [a-f]*
Approved by: portmgr blanket |
2.5.4.3_2 27 Oct 2014 11:07:20 |
bapt |
Cleanup plist |
2.5.4.3_2 10 Sep 2014 20:50:37 |
gerald |
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
PR: 192025
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit) |
2.5.4.3_1 10 Mar 2014 20:55:22 |
gerald |
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3. This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.
Part II, Bump PORTREVISIONs.
PR: 182136
Supported by: Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by: bdrewery (two -exp runs) |
2.5.4.3 19 Feb 2014 11:22:02 |
ehaupt |
Support staging |
2.5.4.3 20 Sep 2013 17:17:45 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4) |
2.5.4.3 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
2.5.4.3 21 Dec 2009 02:19:12 |
dougb |
For ports maintained by ports@FreeBSD.org, remove names and/or
e-mail addresses from the pkg-descr file that could reasonably
be mistaken for maintainer contact information in order to avoid
confusion on the part of users looking for support. As a pleasant
side effect this also avoids confusion and/or frustration for people
who are no longer maintaining those ports. |
2.5.4.3 22 Nov 2009 19:49:43 |
pav |
- Mark MAKE_JOBS_UNSAFE
Reported by: pointyhat |
2.5.4.3 05 Sep 2006 07:09:15 |
linimon |
Reset inactive maintainer who has not responded to email.
Hat: portmgr |
2.5.4.3 30 Nov 2005 11:30:11 |
garga |
- Update MASTER_SITE to fix fetch problems.
- Update WWW on pkg-descr.
- Added SHA256 on distinfo.
PR: ports/88863
Submitted by: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
Approved by: maintainer timeout (19 days) |
2.5.4.3 31 Mar 2004 03:12:58 |
trevor |
SIZEify (maintainer timeout) |
2.5.4.3 13 Dec 2003 11:18:16 |
olgeni |
Fix a typo. |
2.5.4.3 13 Dec 2003 01:22:09 |
pav |
Add The SMV (Symbolic Model Verifier), a tool for
checking finite state systems against specifications
the temporal logic CTL (Computational Tree Logic).
PR: ports/59429
Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de> |