notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
NOTE: the WWW: line in pkg-descr was relocated to a WWW= line in Makefile. Each port in FreshPorts has a homepage link. Look for it right after the Description: on each port's home page.

Do I know someone who can pick up a server from 7401 E. Ben White Blvd. Austin TX?

The emphasis is on know, or recommended by someone I know. This is the original FreshPorts server, way past useful: RAID, 8GB RAM, etc. The drives need to be wiped and everything recycled.
Port details
ikos Static analyzer for C/C++ based on theory of abstract interpretation
3.0_8 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 Version 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: 2022-09-07 21:58:51
Commit Hash: fb16dfe
License: MIT
Description:
HomepagecgitgithubgitlabSVNWeb
pkg-plist: as obtained via: make generate-plist
Expand this list (220 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/ikos-3.0_8/catalog.mk
  3. /usr/local/share/licenses/ikos-3.0_8/LICENSE
  4. /usr/local/share/licenses/ikos-3.0_8/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. lib/python3.9/site-packages/ikos-3.0-py3.9.egg-info/PKG-INFO
  173. lib/python3.9/site-packages/ikos-3.0-py3.9.egg-info/SOURCES.txt
  174. lib/python3.9/site-packages/ikos-3.0-py3.9.egg-info/dependency_links.txt
  175. lib/python3.9/site-packages/ikos-3.0-py3.9.egg-info/top_level.txt
  176. lib/python3.9/site-packages/ikos/__init__.py
  177. lib/python3.9/site-packages/ikos/__pycache__/__init__.cpython-39.pyc
  178. lib/python3.9/site-packages/ikos/__pycache__/abs_int.cpython-39.pyc
  179. lib/python3.9/site-packages/ikos/__pycache__/analyzer.cpython-39.pyc
  180. lib/python3.9/site-packages/ikos/__pycache__/args.cpython-39.pyc
  181. lib/python3.9/site-packages/ikos/__pycache__/colors.cpython-39.pyc
  182. lib/python3.9/site-packages/ikos/__pycache__/enums.cpython-39.pyc
  183. lib/python3.9/site-packages/ikos/__pycache__/filetype.cpython-39.pyc
  184. lib/python3.9/site-packages/ikos/__pycache__/highlight.cpython-39.pyc
  185. lib/python3.9/site-packages/ikos/__pycache__/html.cpython-39.pyc
  186. lib/python3.9/site-packages/ikos/__pycache__/http.cpython-39.pyc
  187. lib/python3.9/site-packages/ikos/__pycache__/log.cpython-39.pyc
  188. lib/python3.9/site-packages/ikos/__pycache__/output_db.cpython-39.pyc
  189. lib/python3.9/site-packages/ikos/__pycache__/report.cpython-39.pyc
  190. lib/python3.9/site-packages/ikos/__pycache__/scan.cpython-39.pyc
  191. lib/python3.9/site-packages/ikos/__pycache__/stats.cpython-39.pyc
  192. lib/python3.9/site-packages/ikos/__pycache__/view.cpython-39.pyc
  193. lib/python3.9/site-packages/ikos/abs_int.py
  194. lib/python3.9/site-packages/ikos/analyzer.py
  195. lib/python3.9/site-packages/ikos/args.py
  196. lib/python3.9/site-packages/ikos/colors.py
  197. lib/python3.9/site-packages/ikos/enums.py
  198. lib/python3.9/site-packages/ikos/filetype.py
  199. lib/python3.9/site-packages/ikos/highlight.py
  200. lib/python3.9/site-packages/ikos/html.py
  201. lib/python3.9/site-packages/ikos/http.py
  202. lib/python3.9/site-packages/ikos/log.py
  203. lib/python3.9/site-packages/ikos/output_db.py
  204. lib/python3.9/site-packages/ikos/report.py
  205. lib/python3.9/site-packages/ikos/scan.py
  206. lib/python3.9/site-packages/ikos/settings/__init__.py
  207. lib/python3.9/site-packages/ikos/settings/__pycache__/__init__.cpython-39.pyc
  208. lib/python3.9/site-packages/ikos/stats.py
  209. lib/python3.9/site-packages/ikos/view.py
  210. share/ikos/view/static/css/ikos_theme.css
  211. share/ikos/view/static/js/ikos_homepage.js
  212. share/ikos/view/static/js/ikos_report.js
  213. share/ikos/view/template/error.html
  214. share/ikos/view/template/homepage.html
  215. share/ikos/view/template/not_found.html
  216. share/ikos/view/template/report.html
  217. share/ikos/view/template/settings.html
  218. @owner
  219. @group
  220. @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:
Packages (timestamps in pop-ups are UTC):
ikos
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd643.0_53.0_3
FreeBSD:11:armv6--
FreeBSD:11:i3863.0_53.0_3
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd643.0_83.0_7
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3863.0_83.0_7
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd643.0_83.0_7
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3863.0_83.0_7
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-3.0_3
FreeBSD:13:riscv64--
FreeBSD:14:aarch64--
FreeBSD:14:amd643.0_8-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3863.0_8-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc643.0_3-
FreeBSD:14:riscv64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. llvm90>0 : devel/llvm90
  2. cmake : devel/cmake-core
  3. ninja : devel/ninja
  4. python3.9 : lang/python39
Runtime dependencies:
  1. py39-sqlite3>0 : databases/py-sqlite3@py39
  2. llvm90>0 : devel/llvm90
  3. 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/tbb
  7. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

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.0?dummy=/
Collapse this list.

Number of commits found: 35

Commit History - (may be incomplete: see SVNWeb link above for full details)
CommitCreditsLog message
07 Sep 2022 21:58:51
commit 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: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: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: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: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: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: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: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: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: 35