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

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

Port details
spot Library for omega automata manipulation and model checking
2.8.5 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.4Version 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: 2020-01-05 08:31:04
SVN Revision: 522117
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.5/catalog.mk
  3. /usr/local/share/licenses/spot-2.8.5/LICENSE
  4. /usr/local/share/licenses/spot-2.8.5/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: 17

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
05 Jan 2020 08:31:04
Original commit files touched by this commit  2.8.5
Revision:522117
yuri search for other commits by this committer
math/spot: Update 2.8.4 -> 2.8.5

Reported by:	portscout
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: 17

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
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
dovecotFeb 13
gitlab-ceFeb 13
grub2-bhyveFeb 12
libexifFeb 11
linux-flashplayerFeb 11
nginxFeb 09
nginx-develFeb 09
ksh93Feb 07
ksh93-develFeb 07
clamavFeb 05
py-django111Feb 04
py-django22Feb 04
py-django30Feb 04
libsshFeb 02
mariadb-connector-cFeb 02

14 vulnerabilities affecting 178 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-02-14 01:16:43


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38478
Broken 681
Deprecated 243
Ignore 950
Forbidden 3
Restricted 150
No CDROM 72
Vulnerable 23
Expired 5
Set to expire 215
Interactive 0
new 24 hours 3
new 48 hours3
new 7 days27
new fortnight87
new month334

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