notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
ikos Static analyzer for C/C++ based on theory of abstract interpretation
3.2_1 devel 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 View this port on Repology. pkg-fallout 3.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-14 17:34:21
Last Update: 2024-02-13 14:44:22
Commit Hash: db61653
License: MIT
WWW:
https://github.com/NASA-SW-VnV/ikos
Description:
IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. IKOS provides a generic and efficient implementation of state-of-the-art Abstract Interpretation data structures and algorithms, such as control-flow graphs, fixpoint iterators, numerical abstract domains, etc. IKOS is independent of a particular programming language. IKOS also provides a C and C++ static analyzer based on LLVM. It implements scalable analyses for detecting and proving the absence of runtime errors in C and C++ programs.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (182 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/ikos-3.2_1/catalog.mk
  3. /usr/local/share/licenses/ikos-3.2_1/LICENSE
  4. /usr/local/share/licenses/ikos-3.2_1/MIT
  5. bin/ikos
  6. bin/ikos-analyzer
  7. bin/ikos-config
  8. bin/ikos-import
  9. bin/ikos-pp
  10. bin/ikos-report
  11. bin/ikos-scan
  12. bin/ikos-scan-c++
  13. bin/ikos-scan-cc
  14. bin/ikos-scan-extract
  15. bin/ikos-view
  16. include/ikos/analyzer/intrinsic.h
  17. include/ikos/ar/format/dot.hpp
  18. include/ikos/ar/format/formatter.hpp
  19. include/ikos/ar/format/namer.hpp
  20. include/ikos/ar/format/text.hpp
  21. include/ikos/ar/pass/add_loop_counters.hpp
  22. include/ikos/ar/pass/add_partitioning_variables.hpp
  23. include/ikos/ar/pass/name_values.hpp
  24. include/ikos/ar/pass/pass.hpp
  25. include/ikos/ar/pass/simplify_cfg.hpp
  26. include/ikos/ar/pass/simplify_upcast_comparison.hpp
  27. include/ikos/ar/semantic.hpp
  28. include/ikos/ar/semantic/bundle.hpp
  29. include/ikos/ar/semantic/code.hpp
  30. include/ikos/ar/semantic/context.hpp
  31. include/ikos/ar/semantic/data_layout.hpp
  32. include/ikos/ar/semantic/function.hpp
  33. include/ikos/ar/semantic/intrinsic.hpp
  34. include/ikos/ar/semantic/statement.hpp
  35. include/ikos/ar/semantic/statement_visitor.hpp
  36. include/ikos/ar/semantic/symbol_table.hpp
  37. include/ikos/ar/semantic/type.hpp
  38. include/ikos/ar/semantic/type_visitor.hpp
  39. include/ikos/ar/semantic/value.hpp
  40. include/ikos/ar/semantic/value_visitor.hpp
  41. include/ikos/ar/support/assert.hpp
  42. include/ikos/ar/support/cast.hpp
  43. include/ikos/ar/support/flags.hpp
  44. include/ikos/ar/support/iterator.hpp
  45. include/ikos/ar/support/number.hpp
  46. include/ikos/ar/support/string_ref.hpp
  47. include/ikos/ar/support/traceable.hpp
  48. include/ikos/ar/verify/frontend.hpp
  49. include/ikos/ar/verify/type.hpp
  50. include/ikos/core/adt/patricia_tree/map.hpp
  51. include/ikos/core/adt/patricia_tree/set.hpp
  52. include/ikos/core/adt/patricia_tree/utils.hpp
  53. include/ikos/core/adt/small_vector.hpp
  54. include/ikos/core/adt/string_ref.hpp
  55. include/ikos/core/domain/abstract_domain.hpp
  56. include/ikos/core/domain/discrete_domain.hpp
  57. include/ikos/core/domain/domain_product.hpp
  58. include/ikos/core/domain/exception/abstract_domain.hpp
  59. include/ikos/core/domain/exception/exception.hpp
  60. include/ikos/core/domain/lifetime/abstract_domain.hpp
  61. include/ikos/core/domain/lifetime/dummy.hpp
  62. include/ikos/core/domain/lifetime/separate_domain.hpp
  63. include/ikos/core/domain/machine_int/abstract_domain.hpp
  64. include/ikos/core/domain/machine_int/congruence.hpp
  65. include/ikos/core/domain/machine_int/dummy.hpp
  66. include/ikos/core/domain/machine_int/interval.hpp
  67. include/ikos/core/domain/machine_int/interval_congruence.hpp
  68. include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp
  69. include/ikos/core/domain/machine_int/operator.hpp
  70. include/ikos/core/domain/machine_int/polymorphic_domain.hpp
  71. include/ikos/core/domain/machine_int/separate_domain.hpp
  72. include/ikos/core/domain/memory/abstract_domain.hpp
  73. include/ikos/core/domain/memory/dummy.hpp
  74. include/ikos/core/domain/memory/partitioning.hpp
  75. include/ikos/core/domain/memory/polymorphic_domain.hpp
  76. include/ikos/core/domain/memory/value.hpp
  77. include/ikos/core/domain/memory/value/cell_set.hpp
  78. include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp
  79. include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp
  80. include/ikos/core/domain/nullity/abstract_domain.hpp
  81. include/ikos/core/domain/nullity/dummy.hpp
  82. include/ikos/core/domain/nullity/separate_domain.hpp
  83. include/ikos/core/domain/numeric/abstract_domain.hpp
  84. include/ikos/core/domain/numeric/apron.hpp
  85. include/ikos/core/domain/numeric/congruence.hpp
  86. include/ikos/core/domain/numeric/constant.hpp
  87. include/ikos/core/domain/numeric/dbm.hpp
  88. include/ikos/core/domain/numeric/domain_product.hpp
  89. include/ikos/core/domain/numeric/equality_congruence_solver.hpp
  90. include/ikos/core/domain/numeric/gauge.hpp
  91. include/ikos/core/domain/numeric/gauge_interval_congruence.hpp
  92. include/ikos/core/domain/numeric/interval.hpp
  93. include/ikos/core/domain/numeric/interval_congruence.hpp
  94. include/ikos/core/domain/numeric/linear_interval_solver.hpp
  95. include/ikos/core/domain/numeric/octagon.hpp
  96. include/ikos/core/domain/numeric/operator.hpp
  97. include/ikos/core/domain/numeric/separate_domain.hpp
  98. include/ikos/core/domain/numeric/union.hpp
  99. include/ikos/core/domain/numeric/var_packing_dbm.hpp
  100. include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp
  101. include/ikos/core/domain/numeric/var_packing_domain.hpp
  102. include/ikos/core/domain/pointer/operator.hpp
  103. include/ikos/core/domain/pointer/solver.hpp
  104. include/ikos/core/domain/scalar/abstract_domain.hpp
  105. include/ikos/core/domain/scalar/composite.hpp
  106. include/ikos/core/domain/scalar/dummy.hpp
  107. include/ikos/core/domain/scalar/machine_int.hpp
  108. include/ikos/core/domain/separate_domain.hpp
  109. include/ikos/core/domain/uninitialized/abstract_domain.hpp
  110. include/ikos/core/domain/uninitialized/dummy.hpp
  111. include/ikos/core/domain/uninitialized/separate_domain.hpp
  112. include/ikos/core/example/machine_int/variable_factory.hpp
  113. include/ikos/core/example/memory_factory.hpp
  114. include/ikos/core/example/muzq.hpp
  115. include/ikos/core/example/scalar/variable_factory.hpp
  116. include/ikos/core/example/variable_factory.hpp
  117. include/ikos/core/exception.hpp
  118. include/ikos/core/fixpoint/concurrent_fwd_fixpoint_iterator.hpp
  119. include/ikos/core/fixpoint/fixpoint_iterator.hpp
  120. include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp
  121. include/ikos/core/fixpoint/wpo.hpp
  122. include/ikos/core/fixpoint/wto.hpp
  123. include/ikos/core/linear_constraint.hpp
  124. include/ikos/core/linear_expression.hpp
  125. include/ikos/core/literal.hpp
  126. include/ikos/core/number.hpp
  127. include/ikos/core/number/bound.hpp
  128. include/ikos/core/number/compatibility.hpp
  129. include/ikos/core/number/dummy_number.hpp
  130. include/ikos/core/number/exception.hpp
  131. include/ikos/core/number/machine_int.hpp
  132. include/ikos/core/number/q_number.hpp
  133. include/ikos/core/number/signedness.hpp
  134. include/ikos/core/number/supported_integral.hpp
  135. include/ikos/core/number/z_number.hpp
  136. include/ikos/core/semantic/dumpable.hpp
  137. include/ikos/core/semantic/graph.hpp
  138. include/ikos/core/semantic/indexable.hpp
  139. include/ikos/core/semantic/machine_int/variable.hpp
  140. include/ikos/core/semantic/memory/value/cell_factory.hpp
  141. include/ikos/core/semantic/memory/value/cell_variable.hpp
  142. include/ikos/core/semantic/memory_location.hpp
  143. include/ikos/core/semantic/scalar/variable.hpp
  144. include/ikos/core/semantic/variable.hpp
  145. include/ikos/core/support/assert.hpp
  146. include/ikos/core/support/cast.hpp
  147. include/ikos/core/support/compiler.hpp
  148. include/ikos/core/support/mpl.hpp
  149. include/ikos/core/value/lifetime.hpp
  150. include/ikos/core/value/machine_int/congruence.hpp
  151. include/ikos/core/value/machine_int/constant.hpp
  152. include/ikos/core/value/machine_int/interval.hpp
  153. include/ikos/core/value/machine_int/interval_congruence.hpp
  154. include/ikos/core/value/nullity.hpp
  155. include/ikos/core/value/numeric/congruence.hpp
  156. include/ikos/core/value/numeric/constant.hpp
  157. include/ikos/core/value/numeric/gauge.hpp
  158. include/ikos/core/value/numeric/interval.hpp
  159. include/ikos/core/value/numeric/interval_congruence.hpp
  160. include/ikos/core/value/pointer/pointer.hpp
  161. include/ikos/core/value/pointer/pointer_set.hpp
  162. include/ikos/core/value/pointer/points_to_set.hpp
  163. include/ikos/core/value/uninitialized.hpp
  164. include/ikos/frontend/llvm/import.hpp
  165. include/ikos/frontend/llvm/import/exception.hpp
  166. include/ikos/frontend/llvm/import/importer.hpp
  167. include/ikos/frontend/llvm/import/source_location.hpp
  168. include/ikos/frontend/llvm/pass.hpp
  169. lib/libikos-ar.so
  170. lib/libikos-llvm-to-ar.so
  171. lib/libikos-pp.so
  172. share/ikos/view/static/css/ikos_theme.css
  173. share/ikos/view/static/js/ikos_homepage.js
  174. share/ikos/view/static/js/ikos_report.js
  175. share/ikos/view/template/error.html
  176. share/ikos/view/template/homepage.html
  177. share/ikos/view/template/not_found.html
  178. share/ikos/view/template/report.html
  179. share/ikos/view/template/settings.html
  180. @owner
  181. @group
  182. @mode
Collapse this list.
Dependency lines:
  • ikos>0:devel/ikos
To install the port:
cd /usr/ports/devel/ikos/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/ikos
  • pkg install ikos
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: ikos
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1703825428 SHA256 (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 11ab520043523a048f8756d68bd3f6a761870d4ec1a9f240eda8f3b1a11f7aa1 SIZE (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 1381841

Packages (timestamps in pop-ups are UTC):
ikos
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest-3.2_1--3.2_1---
FreeBSD:13:quarterly-3.2--3.23.23.23.2
FreeBSD:14:latest-3.2_1--3.2_13.1_4--
FreeBSD:14:quarterly-3.2--3.23.23.23.2
FreeBSD:15:latest-3.2_1n/a-n/a3.23.23.2_1
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. llvm14>0 : devel/llvm14
  2. cmake : devel/cmake-core
  3. ninja : devel/ninja
  4. python3.9 : lang/python39
Test dependencies:
  1. python3.9 : lang/python39
Runtime dependencies:
  1. llvm14>0 : devel/llvm14
  2. python3.9 : lang/python39
Library dependencies:
  1. libapron.so : math/apron
  2. libboost_system.so : devel/boost-libs
  3. libmpfr.so : math/mpfr
  4. libgmp.so : math/gmp
  5. libppl.so : devel/ppl
  6. libtbb.so : devel/onetbb
  7. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
devel_ikos
USES:
cmake ncurses python sqlite
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v3.2?dummy=/
Collapse this list.

Number of commits found: 47

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.2_1
13 Feb 2024 14:44:22
commit hash: db616534ff99d6268997e2f30858891e20641a1ecommit hash: db616534ff99d6268997e2f30858891e20641a1ecommit hash: db616534ff99d6268997e2f30858891e20641a1ecommit hash: db616534ff99d6268997e2f30858891e20641a1e files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consumers after library update
3.2
29 Dec 2023 21:19:45
commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/ikos: update 3.1 → 3.2

Reported by:	portscout
3.1_7
28 Nov 2023 11:35:02
commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0 files touched by this commit
Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.11.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.11.0
3.1_6
27 Sep 2023 14:36:30
commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost*: bump all consumers after 1.83.0
3.1_5
21 Aug 2023 10:09:23
commit hash: 22e222cbcea088a86fb58a5659742af50b337d86commit hash: 22e222cbcea088a86fb58a5659742af50b337d86commit hash: 22e222cbcea088a86fb58a5659742af50b337d86commit hash: 22e222cbcea088a86fb58a5659742af50b337d86 files touched by this commit
Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.10.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.10.0
3.1_4
27 Jun 2023 19:34:34
commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb files touched by this commit
Rene Ladan (rene) search for other commits by this committer
all: remove explicit versions in USES=python for "3.x+"

The logic in USES=python will automatically convert this to 3.8+ by
itself.

Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.

finance/quickfix: mark BROKEN with PYTHON

libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp  -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
          ^~~~~~~~~~
1 warning and 1 error generated.

Reviewed by:	portmgr, vishwin, yuri
Differential Revision:	<https://reviews.freebsd.org/D40568>
3.1_4
09 May 2023 10:25:26
commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0 files touched by this commit
Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.9.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.9.0
3.1_3
27 Apr 2023 18:25:55
commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*: bump all direct Boost cunsumers
3.1_2
03 Mar 2023 15:01:50
commit hash: 1dc256924e84ccc34b09810779e532dee18d37eccommit hash: 1dc256924e84ccc34b09810779e532dee18d37eccommit hash: 1dc256924e84ccc34b09810779e532dee18d37eccommit hash: 1dc256924e84ccc34b09810779e532dee18d37ec files touched by this commit
Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.8.0

Also:
- bump dependent ports' revisions
- fix build when WITH_DEBUG is set

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.8.0
3.1_1
16 Jan 2023 19:32:07
commit hash: e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash: e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash: e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash: e1287d0d1228d93e469256fa6c4c824b9d20426b files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*:	bump libboost*.so libraries consumert after Boost upgrade
3.1
12 Jan 2023 19:09:33
commit hash: 4f2f8d23e7c50417b938b8104ffb4162b8df7b6ccommit hash: 4f2f8d23e7c50417b938b8104ffb4162b8df7b6ccommit hash: 4f2f8d23e7c50417b938b8104ffb4162b8df7b6ccommit hash: 4f2f8d23e7c50417b938b8104ffb4162b8df7b6c files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/ikos: prepare for upcoming Boost-1.81

With hat:	office
3.1
06 Dec 2022 17:21:02
commit hash: 2242eb825c0d5389b02c623938f427649d7fc34fcommit hash: 2242eb825c0d5389b02c623938f427649d7fc34fcommit hash: 2242eb825c0d5389b02c623938f427649d7fc34fcommit hash: 2242eb825c0d5389b02c623938f427649d7fc34f files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/ikos: Update 3.0 -> 3.1

PR:		252686
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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)
3.0_8
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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 View all of this commit message)
3.0_8
12 Aug 2022 14:46:53
commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*: bump all consumers after recent boost upgrade
3.0_7
03 Jun 2022 13:59:05
commit hash: 326f14425767023481e07d39c2876fd2fa259c9acommit hash: 326f14425767023481e07d39c2876fd2fa259c9acommit hash: 326f14425767023481e07d39c2876fd2fa259c9acommit hash: 326f14425767023481e07d39c2876fd2fa259c9a files touched by this commit
Po-Chuan Hsieh (sunpoet) search for other commits by this committer
devel/ikos: Fix build with setuptools 58.0.0+

- Bump PORTREVISION for package change

With hat:	python
3.0_6
22 May 2022 20:17:16
commit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cdcommit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cdcommit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cdcommit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cd files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost-all: bump all library consumers after boost upgrade

PR:	246106
3.0_5
26 Sep 2021 05:45:20
commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
Author: nimaje
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable

PR:		258693
3.0_4
02 Sep 2021 03:50:05
commit hash: b2892643a365beff3e84f73d08df71fe12c85807commit hash: b2892643a365beff3e84f73d08df71fe12c85807commit hash: b2892643a365beff3e84f73d08df71fe12c85807commit hash: b2892643a365beff3e84f73d08df71fe12c85807 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Update 0.9.12 -> 0.9.12
3.0_3
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
3.0_3
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
3.0_3
17 Jul 2020 10:12:26
Revision:542423Original commit files touched by this commit
martymac search for other commits by this committer
Update devel/tbb to 2020.3 and bump dependent ports' revisions

Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES
3.0_2
01 Apr 2020 14:14:52
Revision:530219Original commit files touched by this commit
martymac search for other commits by this committer
Update devel/tbb to 2020.2 and bump dependent port's revisions

Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES
3.0_1
26 Dec 2019 16:25:22
Revision:520935Original commit files touched by this commit
martymac search for other commits by this committer
Update devel/tbb to 2020.0 and bump dependent ports' revisions [1]

Also, while here, re-generate patches using the makepatch target

[1] Changelog: https://github.com/intel/tbb/blob/v2020.0/CHANGES
3.0
14 Dec 2019 08:48:58
Revision:520101Original commit files touched by this commit
antoine search for other commits by this committer
Fix packaging

PR:		233770
3.0
13 Dec 2019 06:48:21
Revision:520002Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.2 -> 3.0

Reported by:	portscout
2.2_2
11 Dec 2019 17:53:49
Revision:519824Original commit files touched by this commit
jbeich search for other commits by this committer
devel/boost-*: update to 1.72.0

Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136
2.2_1
20 Sep 2019 19:58:36
Revision:512440Original commit files touched by this commit
jbeich search for other commits by this committer
Switch default devel/llvm* to 90

PR:		239682
Reviewed by:	tobik
Differential Revision:	https://reviews.freebsd.org/D21172
2.2
31 Aug 2019 06:49:47
Revision:510329Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-152 -> 2.2

Reported by:	portscout
2.1.152_3
19 Aug 2019 15:35:28
Revision:509290Original commit files touched by this commit
jbeich search for other commits by this committer
devel/boost-*: update to 1.71.0

Changes:	http://www.boost.org/users/history/version_1_71_0.html
PR:		238827
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D20774
2.1.152_2
26 Jun 2019 07:45:04
Revision:505142Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Add sqlite3 to RUN_DEPENDS

The ikos.analyzer module requires sqlite3.

PR:		238818
Submitted by:	Julien Nadeau <vedge@hypertriton.com>
2.1.152_1
13 Jun 2019 15:13:30
Revision:504097Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-129 -> 2.1-152
2.1.129_1
12 Apr 2019 06:36:31
Revision:498698Original commit files touched by this commit
jbeich search for other commits by this committer
devel/boost-*: update to 1.70.0

Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303
2.1.129
10 Apr 2019 16:20:55
Revision:498580Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT

Requested by:	jbeich
2.1.129
10 Apr 2019 08:12:58
Revision:498542Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-104 -> 2.1-129

ikos now supports llvm80.
2.1.104_1
10 Apr 2019 06:18:32
Revision:498530Original commit files touched by this commit
antoine search for other commits by this committer
Bump a few PORTREVISIONs after r498529

With hat:	portmgr
2.1.104
25 Feb 2019 02:06:15
Revision:493829Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-82 -> 2.1-104
2.1.82
04 Feb 2019 19:32:14
Revision:492155Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-69 -> 2.1-82
2.1.69_1
26 Jan 2019 22:15:06
Revision:491316Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Switch to a fixed LLVM version 70 from LLVM_DEFAULT

ikos seems to only support a narrow set of versions.

Also add USE_LDCONFIG.

PR:		235213
Reported by:	jbeich
2.1.69
26 Jan 2019 03:51:51
Revision:491226Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-52 -> 2.1-69

Bugfixes
2.1.52
11 Jan 2019 07:24:46
Revision:489949Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1-49 -> 2.1-52

They fixed the bug that I reported yesterday.
2.1.49
08 Jan 2019 09:09:13
Revision:489659Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Fix USES=cmake

Reported by:	tobik
2.1.49
08 Jan 2019 08:16:40
Revision:489651Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Update 2.1 -> 2.1-49

* Shared libraries are now available
* Fixes for some crashes are included
2.1_1
07 Jan 2019 16:47:47
Revision:489583Original commit files touched by this commit
antoine search for other commits by this committer
Fix packaging with DEFAULT_VERSIONS=python=3.x

PR:		234633
2.1_1
25 Dec 2018 20:25:40
Revision:488341Original commit files touched by this commit
tcberner search for other commits by this committer
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
2.1_1
14 Dec 2018 19:54:48
Revision:487461Original commit files touched by this commit
yuri search for other commits by this committer
devel/ikos: Add APRON and PPL dependencies
2.1
14 Dec 2018 17:34:02
Revision:487452Original commit files touched by this commit
yuri search for other commits by this committer
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation

Number of commits found: 47