non port: devel/ikos/distinfo |
Number of commits found: 12 |
Friday, 29 Dec 2023
|
21:19 Yuri Victorovich (yuri)
devel/ikos: update 3.1 → 3.2
Reported by: portscout
3109942 |
Tuesday, 6 Dec 2022
|
17:21 Yuri Victorovich (yuri)
devel/ikos: Update 3.0 -> 3.1
PR: 252686
2242eb8 |
Friday, 13 Dec 2019
|
06:48 yuri
devel/ikos: Update 2.2 -> 3.0
Reported by: portscout
|
Saturday, 31 Aug 2019
|
06:49 yuri
devel/ikos: Update 2.1-152 -> 2.2
Reported by: portscout
|
Thursday, 13 Jun 2019
|
15:13 yuri
devel/ikos: Update 2.1-129 -> 2.1-152
|
Wednesday, 10 Apr 2019
|
08:12 yuri
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80.
|
Monday, 25 Feb 2019
|
02:06 yuri
devel/ikos: Update 2.1-82 -> 2.1-104
|
Monday, 4 Feb 2019
|
19:32 yuri
devel/ikos: Update 2.1-69 -> 2.1-82
|
Saturday, 26 Jan 2019
|
03:51 yuri
devel/ikos: Update 2.1-52 -> 2.1-69
Bugfixes
|
Friday, 11 Jan 2019
|
07:24 yuri
devel/ikos: Update 2.1-49 -> 2.1-52
They fixed the bug that I reported yesterday.
|
Tuesday, 8 Jan 2019
|
08:16 yuri
devel/ikos: Update 2.1 -> 2.1-49
* Shared libraries are now available
* Fixes for some crashes are included
|
Friday, 14 Dec 2018
|
17:34 yuri
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation
|
Number of commits found: 12 |