Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 1, 2024

• Merge branch 'release-3.4'. Close NASA-SW-VnV#287.

  ivanperez-keera

  committed
  026c409

  Copy full SHA for 026c409

Commits on Sep 28, 2024

• Update badges in README to refer to IKOS 3.4 (NASA-SW-VnV#287).

  Show description for c9f6c3f
  ivanperez-keera

  committed
  c9f6c3f

  Copy full SHA for c9f6c3f

• Update version number to 3.4 (NASA-SW-VnV#287).

  ivanperez-keera

  committed
  c958e87

  Copy full SHA for c958e87

• Merge branch 'develop-snprintf-null'. Close NASA-SW-VnV#221.

  ivanperez-keera

  committed
  9963a3f

  Copy full SHA for 9963a3f

• analyzer: Allow snprintf(NULL, 0, ...) (NASA-SW-VnV#221).

  Show description for dc75ca4
  ivanperez-keera

  committed
  dc75ca4

  Copy full SHA for dc75ca4

Commits on Sep 21, 2024

• Merge branch 'develop-fix-includes'. Close NASA-SW-VnV#273.

  ivanperez-keera

  committed
  98dfd84

  Copy full SHA for 98dfd84

• analyzer: Add missing include (NASA-SW-VnV#273).

  Show description for 178966b
  

  Mechazo11

  authored and

  ivanperez-keera

  committed
  178966b

  Copy full SHA for 178966b

Commits on Aug 29, 2024

• Merge branch 'develop-fix-ga-macosx'. Close NASA-SW-VnV#275.

  ivanperez-keera

  committed
  086395b

  Copy full SHA for 086395b

• Install IKOS in HOME directory in CI job. Refs NASA-SW-VnV#275.

  Show description for 3b5b3e0
  ivanperez-keera

  committed
  3b5b3e0

  Copy full SHA for 3b5b3e0

• Fix paths of LLVM in CI job. Refs NASA-SW-VnV#275.

  Show description for 00ad28f
  ivanperez-keera

  committed
  00ad28f

  Copy full SHA for 00ad28f

Commits on Apr 1, 2024

• Merge branch 'release-3.3'. Close NASA-SW-VnV#266.

  ivanperez-keera

  committed
  799c2b0

  Copy full SHA for 799c2b0

• Update badges in README to refer to IKOS 3.3 (NASA-SW-VnV#266).

  Show description for fcdcb9f
  ivanperez-keera

  committed
  fcdcb9f

  Copy full SHA for fcdcb9f

• Update version number to 3.3 (NASA-SW-VnV#266).

  ivanperez-keera

  committed
  1db8fe4

  Copy full SHA for 1db8fe4

• Merge branch 'dev-pass-order'. Close NASA-SW-VnV#205.

  ivanperez-keera

  committed
  7eb2d06

  Copy full SHA for 7eb2d06

• Switch pass order (NASA-SW-VnV#205).

  Show description for 4907d78
  ivanperez-keera

  committed
  4907d78

  Copy full SHA for 4907d78

• Merge branch 'dev-fix-pygments'. Close NASA-SW-VnV#264.

  ivanperez-keera

  committed
  39a88c0

  Copy full SHA for 39a88c0

• Make compatible with Pygments >= 2.12 (NASA-SW-VnV#264).

  Show description for 55998a9
  ivanperez-keera

  committed
  55998a9

  Copy full SHA for 55998a9

Commits on Jan 28, 2024

• Merge branch 'dev-add-cstdint-includes'. Close NASA-SW-VnV#263.

  ivanperez-keera

  committed
  fcca375

  Copy full SHA for fcca375

Commits on Jan 26, 2024

• Add missing cstdint includes (NASA-SW-VnV#263).

  Show description for 79d335a
  

  swt2c

  authored and

  ivanperez-keera

  committed
  79d335a

  Copy full SHA for 79d335a

Commits on Dec 28, 2023

• Merge branch 'release-3.2'. Close NASA-SW-VnV#255.

  ivanperez-keera

  committed
  1185cc8

  Copy full SHA for 1185cc8

• Update badges in README to refer to IKOS 3.2 (NASA-SW-VnV#255).

  Show description for 32d2279
  ivanperez-keera

  committed
  32d2279

  Copy full SHA for 32d2279

Commits on Dec 26, 2023

• Update version number to 3.2 (NASA-SW-VnV#255).

  ivanperez-keera

  committed
  f9d4539

  Copy full SHA for f9d4539

Commits on Dec 17, 2023

• Merge branch 'release-3.2-rc1'. Close NASA-SW-VnV#251.

  ivanperez-keera

  committed
  a21c5ea

  Copy full SHA for a21c5ea

• Update version number to 3.2-rc1 (NASA-SW-VnV#251).

  ivanperez-keera

  committed
  0eff0a7

  Copy full SHA for 0eff0a7

Commits on Dec 15, 2023

• Merge branch 'dev-ikos-version-copyright'. Close NASA-SW-VnV#249.

  ivanperez-keera

  committed
  141bd71

  Copy full SHA for 141bd71

• Bump copyright years in ikos CLI tool (c) notice (NASA-SW-VnV#249).

  Show description for 79c7707
  ivanperez-keera

  committed
  79c7707

  Copy full SHA for 79c7707

Commits on Dec 14, 2023

• Merge branch 'dev-copyright-years'. Close NASA-SW-VnV#246.

  ivanperez-keera

  committed
  415edf6

  Copy full SHA for 415edf6

• Bump copyright years (NASA-SW-VnV#246).

  Show description for c669c87
  ivanperez-keera

  committed
  c669c87

  Copy full SHA for c669c87

• Merge branch 'dev-venv'. Close NASA-SW-VnV#243.

  ivanperez-keera

  committed
  5cc2353

  Copy full SHA for 5cc2353

Commits on Dec 13, 2023

• Adjust bootstrap script to remove support for Python 2 (NASA-SW-VnV#243).

  Show description for 0a8d946
  ivanperez-keera

  committed
  0a8d946

  Copy full SHA for 0a8d946

• [analyzer] Remove Python 2 code (NASA-SW-VnV#243).

  Show description for 58660a6
  ivanperez-keera

  committed
  58660a6

  Copy full SHA for 58660a6

• Remove unnecessary dependencies from CI jobs (NASA-SW-VnV#243).

  Show description for b2cdfd2
  

  arthaud

  authored and

  ivanperez-keera

  committed
  b2cdfd2

  Copy full SHA for b2cdfd2

• [analyzer] Install the python module inside a virtual environment (NASA-SW-VnV#243).

  Show description for 4bf5175
  

  arthaud

  authored and

  ivanperez-keera

  committed
  4bf5175

  Copy full SHA for 4bf5175

Commits on Dec 10, 2023

• Merge branch 'dev-pip-package'. Close NASA-SW-VnV#242.

  ivanperez-keera

  committed
  21cd2b5

  Copy full SHA for 21cd2b5

• analyzer: Use pip module instead of tool to install IKOS (NASA-SW-VnV#242).

  Show description for 2c534c9
  ivanperez-keera

  committed
  2c534c9

  Copy full SHA for 2c534c9

Pagination

Previous

Next