Sign in

NASA-SW-VnV /ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Stars
3,177 stars
Forks
220 forks
Language
C++
License
OTHER
Created
Oct 17, 2017
Last push
May 31, 2026
Updated
Oct 31, 2026

In the Repository Index from the Seed Dataset since Oct 22, 2026.

Star History

193 days recorded, Apr 25, 2026 – Nov 3, 2026 (UTC). Net change +58 stars.

Stars at the end of each day3,177 now
Apr 25, 2026Nov 3, 2026
Net stars each dayhighest +3
+3 on Sep 9, 2026
Apr 25, 2026Nov 3, 2026

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of NASA-SW-VnV/ikos](https://awesomerepos.com/NASA-SW-VnV/ikos/stars.svg)](https://awesomerepos.com/NASA-SW-VnV/ikos)

Badge

[![AwesomeRepos](https://awesomerepos.com/NASA-SW-VnV/ikos/badge.svg)](https://awesomerepos.com/NASA-SW-VnV/ikos)

Timeline

This repository got 3 stars on Sep 9, 2026, its largest day since Apr 25, 2026.

It gained stars on 53 of the 193 days with a record.

Its largest 7 days were Oct 26, 2026 to Nov 1, 2026: 6 stars.

In the 30 days to Nov 3, 2026 it got 9 stars, the same as in the 30 days before.

It had 3,119 stars before Apr 25, 2026 and has 3,177 stars now: 1,823 fewer than 5,000.

Its latest release is v3.5, published on Dec 31, 2024.

  1. Created on the Repository Host
  2. Release v3.1: public release version 3.1
  3. Release v3.2: Public Release 3.2
  4. Release v3.3: Public release version 3.3
  5. Release v3.4: Public release 3.4
  6. Release v3.5: Public release 3.5
  7. +2 stars in one day
  8. Latest push
  9. +2 stars in one day
  10. Largest star day recorded: +3 stars
  11. Entered the Repository Index from the Seed Dataset

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks -1. A new push was seen on 0 of 12 days.

Forks220
  1. Oct 23, 2026: no new push
  2. Oct 24, 2026: no new push
  3. Oct 25, 2026: no new push
  4. Oct 26, 2026: no new push
  5. Oct 27, 2026: no new push
  6. Oct 28, 2026: no new push
  7. Oct 29, 2026: no new push
  8. Oct 30, 2026: no new push
  9. Oct 31, 2026: no new push
  10. Nov 1, 2026: no new push
  11. Nov 2, 2026: no new push
  12. Nov 3, 2026: no new push

A filled day: the last push time changed since the Observation before it.

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 20263,177220May 31, 2026No
Nov 2, 20263,177220May 31, 2026No
Nov 1, 20263,177220May 31, 2026No
Oct 31, 20263,176220May 31, 2026No
Oct 30, 20263,175221May 31, 2026No
Oct 29, 20263,175221May 31, 2026No
Oct 28, 20263,175221May 31, 2026No
Oct 27, 20263,174221May 31, 2026No
Oct 26, 20263,172221May 31, 2026No
Oct 25, 20263,171221May 31, 2026No
Oct 24, 20263,171221May 31, 2026No
Oct 23, 20263,172221May 31, 2026No
Oct 22, 20263,172221May 31, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.