notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Things are slow!

Some of the pages ont the website are slow. I know diskio is way up. I don't know what it is but it's been going on for about three weeks. It might have been a change to the zpool recordsize on the PostgreSQL database dataset.

One way to know: copy the dataset to another dataset with the original recordsize and use that. I hope can get to that later this week.

I have not tackled the issue yet because I've been concentrating on the BSDCan and PGCon calls for papers.

Port details
spot Library for omega automata manipulation and model checking
2.8.4 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 2.8.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-08-04 23:31:11
Last Update: 2019-12-10 19:37:59
SVN Revision: 519775
License: GPLv3
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (206 items)
  1. @ldconfig
  2. /usr/local/share/licenses/spot-2.8.4/catalog.mk
  3. /usr/local/share/licenses/spot-2.8.4/LICENSE
  4. /usr/local/share/licenses/spot-2.8.4/GPLv3
  5. bin/autcross
  6. bin/autfilt
  7. bin/dstar2tgba
  8. bin/genaut
  9. bin/genltl
  10. bin/ltl2tgba
  11. bin/ltl2tgta
  12. bin/ltlcross
  13. bin/ltldo
  14. bin/ltlfilt
  15. bin/ltlgrind
  16. bin/ltlsynt
  17. bin/randaut
  18. bin/randltl
  19. include/bddx.h
  20. include/bvecx.h
  21. include/fddx.h
  22. include/spot/gen/automata.hh
  23. include/spot/gen/formulas.hh
  24. include/spot/graph/graph.hh
  25. include/spot/graph/ngraph.hh
  26. include/spot/kripke/fairkripke.hh
  27. include/spot/kripke/fwd.hh
  28. include/spot/kripke/kripke.hh
  29. include/spot/kripke/kripkegraph.hh
  30. include/spot/ltsmin/ltsmin.hh
  31. include/spot/misc/_config.h
  32. include/spot/misc/bareword.hh
  33. include/spot/misc/bddlt.hh
  34. include/spot/misc/bitset.hh
  35. include/spot/misc/bitvect.hh
  36. include/spot/misc/casts.hh
  37. include/spot/misc/common.hh
  38. include/spot/misc/escape.hh
  39. include/spot/misc/fixpool.hh
  40. include/spot/misc/formater.hh
  41. include/spot/misc/game.hh
  42. include/spot/misc/hash.hh
  43. include/spot/misc/hashfunc.hh
  44. include/spot/misc/intvcmp2.hh
  45. include/spot/misc/intvcomp.hh
  46. include/spot/misc/location.hh
  47. include/spot/misc/ltstr.hh
  48. include/spot/misc/memusage.hh
  49. include/spot/misc/minato.hh
  50. include/spot/misc/mspool.hh
  51. include/spot/misc/optionmap.hh
  52. include/spot/misc/position.hh
  53. include/spot/misc/random.hh
  54. include/spot/misc/satsolver.hh
  55. include/spot/misc/timer.hh
  56. include/spot/misc/tmpfile.hh
  57. include/spot/misc/trival.hh
  58. include/spot/misc/version.hh
  59. include/spot/parseaut/public.hh
  60. include/spot/ta/ta.hh
  61. include/spot/ta/taexplicit.hh
  62. include/spot/ta/taproduct.hh
  63. include/spot/ta/tgta.hh
  64. include/spot/ta/tgtaexplicit.hh
  65. include/spot/ta/tgtaproduct.hh
  66. include/spot/taalgos/dot.hh
  67. include/spot/taalgos/emptinessta.hh
  68. include/spot/taalgos/minimize.hh
  69. include/spot/taalgos/reachiter.hh
  70. include/spot/taalgos/statessetbuilder.hh
  71. include/spot/taalgos/stats.hh
  72. include/spot/taalgos/tgba2ta.hh
  73. include/spot/tl/apcollect.hh
  74. include/spot/tl/contain.hh
  75. include/spot/tl/declenv.hh
  76. include/spot/tl/defaultenv.hh
  77. include/spot/tl/dot.hh
  78. include/spot/tl/environment.hh
  79. include/spot/tl/exclusive.hh
  80. include/spot/tl/formula.hh
  81. include/spot/tl/hierarchy.hh
  82. include/spot/tl/length.hh
  83. include/spot/tl/ltlf.hh
  84. include/spot/tl/mutation.hh
  85. include/spot/tl/nenoform.hh
  86. include/spot/tl/parse.hh
  87. include/spot/tl/print.hh
  88. include/spot/tl/randomltl.hh
  89. include/spot/tl/relabel.hh
  90. include/spot/tl/remove_x.hh
  91. include/spot/tl/simplify.hh
  92. include/spot/tl/snf.hh
  93. include/spot/tl/unabbrev.hh
  94. include/spot/twa/acc.hh
  95. include/spot/twa/bdddict.hh
  96. include/spot/twa/bddprint.hh
  97. include/spot/twa/formula2bdd.hh
  98. include/spot/twa/fwd.hh
  99. include/spot/twa/taatgba.hh
  100. include/spot/twa/twa.hh
  101. include/spot/twa/twagraph.hh
  102. include/spot/twa/twaproduct.hh
  103. include/spot/twaalgos/aiger.hh
  104. include/spot/twaalgos/alternation.hh
  105. include/spot/twaalgos/are_isomorphic.hh
  106. include/spot/twaalgos/bfssteps.hh
  107. include/spot/twaalgos/canonicalize.hh
  108. include/spot/twaalgos/cleanacc.hh
  109. include/spot/twaalgos/cobuchi.hh
  110. include/spot/twaalgos/complement.hh
  111. include/spot/twaalgos/complete.hh
  112. include/spot/twaalgos/compsusp.hh
  113. include/spot/twaalgos/contains.hh
  114. include/spot/twaalgos/copy.hh
  115. include/spot/twaalgos/couvreurnew.hh
  116. include/spot/twaalgos/cycles.hh
  117. include/spot/twaalgos/degen.hh
  118. include/spot/twaalgos/determinize.hh
  119. include/spot/twaalgos/dot.hh
  120. include/spot/twaalgos/dtbasat.hh
  121. include/spot/twaalgos/dtwasat.hh
  122. include/spot/twaalgos/dualize.hh
  123. include/spot/twaalgos/emptiness.hh
  124. include/spot/twaalgos/emptiness_stats.hh
  125. include/spot/twaalgos/genem.hh
  126. include/spot/twaalgos/gfguarantee.hh
  127. include/spot/twaalgos/gtec/ce.hh
  128. include/spot/twaalgos/gtec/gtec.hh
  129. include/spot/twaalgos/gtec/sccstack.hh
  130. include/spot/twaalgos/gtec/status.hh
  131. include/spot/twaalgos/gv04.hh
  132. include/spot/twaalgos/hoa.hh
  133. include/spot/twaalgos/iscolored.hh
  134. include/spot/twaalgos/isdet.hh
  135. include/spot/twaalgos/isunamb.hh
  136. include/spot/twaalgos/isweakscc.hh
  137. include/spot/twaalgos/langmap.hh
  138. include/spot/twaalgos/lbtt.hh
  139. include/spot/twaalgos/ltl2taa.hh
  140. include/spot/twaalgos/ltl2tgba_fm.hh
  141. include/spot/twaalgos/magic.hh
  142. include/spot/twaalgos/mask.hh
  143. include/spot/twaalgos/minimize.hh
  144. include/spot/twaalgos/neverclaim.hh
  145. include/spot/twaalgos/parity.hh
  146. include/spot/twaalgos/postproc.hh
  147. include/spot/twaalgos/powerset.hh
  148. include/spot/twaalgos/product.hh
  149. include/spot/twaalgos/rabin2parity.hh
  150. include/spot/twaalgos/randomgraph.hh
  151. include/spot/twaalgos/randomize.hh
  152. include/spot/twaalgos/reachiter.hh
  153. include/spot/twaalgos/relabel.hh
  154. include/spot/twaalgos/remfin.hh
  155. include/spot/twaalgos/remprop.hh
  156. include/spot/twaalgos/sbacc.hh
  157. include/spot/twaalgos/sccfilter.hh
  158. include/spot/twaalgos/sccinfo.hh
  159. include/spot/twaalgos/se05.hh
  160. include/spot/twaalgos/sepsets.hh
  161. include/spot/twaalgos/simulation.hh
  162. include/spot/twaalgos/split.hh
  163. include/spot/twaalgos/stats.hh
  164. include/spot/twaalgos/strength.hh
  165. include/spot/twaalgos/stripacc.hh
  166. include/spot/twaalgos/stutter.hh
  167. include/spot/twaalgos/sum.hh
  168. include/spot/twaalgos/tau03.hh
  169. include/spot/twaalgos/tau03opt.hh
  170. include/spot/twaalgos/toparity.hh
  171. include/spot/twaalgos/totgba.hh
  172. include/spot/twaalgos/toweak.hh
  173. include/spot/twaalgos/translate.hh
  174. include/spot/twaalgos/word.hh
  175. lib/libbddx.so
  176. lib/libbddx.so.0
  177. lib/libbddx.so.0.0.0
  178. lib/libspot.so
  179. lib/libspot.so.0
  180. lib/libspot.so.0.0.0
  181. lib/libspotgen.so
  182. lib/libspotgen.so.0
  183. lib/libspotgen.so.0.0.0
  184. lib/libspotltsmin.so
  185. lib/libspotltsmin.so.0
  186. lib/libspotltsmin.so.0.0.0
  187. libdata/pkgconfig/libbddx.pc
  188. libdata/pkgconfig/libspot.pc
  189. libdata/pkgconfig/libspotgen.pc
  190. libdata/pkgconfig/libspotltsmin.pc
  191. man/man1/autcross.1.gz
  192. man/man1/autfilt.1.gz
  193. man/man1/dstar2tgba.1.gz
  194. man/man1/genaut.1.gz
  195. man/man1/genltl.1.gz
  196. man/man1/ltl2tgba.1.gz
  197. man/man1/ltl2tgta.1.gz
  198. man/man1/ltlcross.1.gz
  199. man/man1/ltldo.1.gz
  200. man/man1/ltlfilt.1.gz
  201. man/man1/ltlgrind.1.gz
  202. man/man1/ltlsynt.1.gz
  203. man/man1/randaut.1.gz
  204. man/man1/randltl.1.gz
  205. man/man7/spot-x.7.gz
  206. man/man7/spot.7.gz
Collapse this list.
Dependency lines:
  • spot>0:math/spot
To install the port: cd /usr/ports/math/spot/ && make install clean
To add the package: pkg install spot
PKGNAME: spot
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
This port is required by:
for Libraries
  1. math/py-spot

Configuration Options

USES:

Master Sites:
  1. http://www.lrde.epita.fr/dload/spot/

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Dec 2019 19:37:59
Original commit files touched by this commit  2.8.4
Revision:519775
yuri search for other commits by this committer
math/spot: Update 2.8.3 -> 2.8.4

Reported by:	portscout
10 Nov 2019 07:34:18
Original commit files touched by this commit  2.8.3
Revision:517190
yuri search for other commits by this committer
math/spot: Update 2.8.2 -> 2.8.3

Reported by:	portscout
28 Sep 2019 15:09:09
Original commit files touched by this commit  2.8.2
Revision:513138
yuri search for other commits by this committer
math/spot: Update 2.8.1 -> 2.8.2

Reported by:	portscout
03 Aug 2019 20:27:52
Original commit files touched by this commit  2.8.1
Revision:507996
yuri search for other commits by this committer
math/spot: Update 2.7.5 -> 2.8.1

Reported by:	portscout
26 Jul 2019 20:46:57
Original commit files touched by this commit  2.7.5_1
Revision:507372
gerald search for other commits by this committer
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
07 Jun 2019 06:43:23
Original commit files touched by this commit  2.7.5
Revision:503619
yuri search for other commits by this committer
math/spot: Update 2.7.4 -> 2.7.5

Reported by:	portscout
28 Apr 2019 07:12:20
Original commit files touched by this commit  2.7.4
Revision:500289
yuri search for other commits by this committer
math/spot: Update 2.7.2 -> 2.7.4

Reported by:	portscout
21 Mar 2019 04:37:01
Original commit files touched by this commit  2.7.2
Revision:496414
yuri search for other commits by this committer
math/spot: Update 2.7.1 -> 2.7.2

Reported by:	portscout
22 Feb 2019 04:59:36
Original commit files touched by this commit  2.7.1
Revision:493544
yuri search for other commits by this committer
math/spot: Update 2.7 -> 2.7.1

Reported by:	portscout
12 Dec 2018 18:37:47
Original commit files touched by this commit  2.7
Revision:487316
yuri search for other commits by this committer
math/spot: Update 2.6.3 -> 2.7

Reported by:	portscout
12 Dec 2018 01:35:36
Original commit files touched by this commit  2.6.3_1
Revision:487272
gerald search for other commits by this committer
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
28 Oct 2018 13:44:03
Original commit files touched by this commit  2.6.3
Revision:483292
linimon search for other commits by this committer
Fix build with GCC-based architectures.

PR:		231939
Submitted by:	Piotr Kubaj
Approved by:	portmgr (tier-2 blanket)
18 Oct 2018 22:27:28
Original commit files touched by this commit  2.6.3
Revision:482385
yuri search for other commits by this committer
math/spot: Update 2.6.2 -> 2.6.3

Reported by:	portscout
30 Sep 2018 01:58:21
Original commit files touched by this commit  2.6.2
Revision:480934
yuri search for other commits by this committer
math/spot: Update 2.6.1 -> 2.6.2

Reported by:	portscout
10 Aug 2018 21:24:45
Original commit files touched by this commit  2.6.1_1
Revision:476848
yuri search for other commits by this committer
math/spot: Add USES=charsetfix, remove RM for lib/charset.alias
04 Aug 2018 23:30:58
Original commit files touched by this commit  2.6.1
Revision:476381
yuri search for other commits by this committer
New port: math/spot: Library for omega automata manipulation and model checking

Number of commits found: 16

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
dovecotDec 13
spamassassinDec 13
samba410Dec 12
samba48Dec 12
gitlab-ceDec 10
libidn2*Dec 10
ghostscript9-agpl-baseDec 09
ghostscript9-agpl-x11Dec 09
drm-current-kmod*Dec 04
drm-devel-kmod*Dec 04
drm-fbsd11.2-kmod*Dec 04
drm-fbsd12.0-kmod*Dec 04
py-django21Dec 03
py-django22Dec 03
gitlab-ceNov 28

8 vulnerabilities affecting 45 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-12-13 20:37:17


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38260
Broken 733
Deprecated 138
Ignore 1003
Forbidden 3
Restricted 155
No CDROM 72
Vulnerable 27
Expired 6
Set to expire 107
Interactive 0
new 24 hours 6
new 48 hours13
new 7 days46
new fortnight80
new month147

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.