Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 24, 2025

• Merge branch 'bugfix/fneg'. Close #197.

  ivanperez-keera

  committed
  ac7f7c1

  Copy full SHA for ac7f7c1

• [frontend] Add translation for LLVM fneg instruction (#197).

  Show description for 6f71990
  

  PhilipBotha

  authored and

  ivanperez-keera

  committed
  6f71990

  Copy full SHA for 6f71990

Commits on Dec 31, 2024

• Merge branch 'release-3.5'. Close #310.

  ivanperez-keera

  committed
  1d98c65

  Copy full SHA for 1d98c65

• Update badges in README to refer to IKOS 3.5 (#310).

  Show description for c72e839
  ivanperez-keera

  committed
  c72e839

  Copy full SHA for c72e839

• Update version number to 3.5 (#310).

  ivanperez-keera

  committed
  0ece86d

  Copy full SHA for 0ece86d

• Merge branch 'develop-getAlignment'. Close #304.

  ivanperez-keera

  committed
  9268e4e

  Copy full SHA for 9268e4e

• [frontend] Replace calls to deprecated function getAlignment (#304).

  Show description for 900403e
  ivanperez-keera

  committed
  900403e

  Copy full SHA for 900403e

Commits on Nov 26, 2024

• Merge branch 'develop-remove-deprecatedPipes'. Close #292.

  ivanperez-keera

  committed
  e466004

  Copy full SHA for e466004

• [analyzer] Remove use of deprecated python module pipes (#292).

  Show description for 18a82a1
  

  tarikgta2

  authored and

  ivanperez-keera

  committed
  18a82a1

  Copy full SHA for 18a82a1

Commits on Oct 1, 2024

• Merge branch 'release-3.4'. Close #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 (#287).

  Show description for c9f6c3f
  ivanperez-keera

  committed
  c9f6c3f

  Copy full SHA for c9f6c3f

• Update version number to 3.4 (#287).

  ivanperez-keera

  committed
  c958e87

  Copy full SHA for c958e87

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

  ivanperez-keera

  committed
  9963a3f

  Copy full SHA for 9963a3f

• analyzer: Allow snprintf(NULL, 0, ...) (#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 #273.

  ivanperez-keera

  committed
  98dfd84

  Copy full SHA for 98dfd84

• analyzer: Add missing include (#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 #275.

  ivanperez-keera

  committed
  086395b

  Copy full SHA for 086395b

• Install IKOS in HOME directory in CI job. Refs #275.

  Show description for 3b5b3e0
  ivanperez-keera

  committed
  3b5b3e0

  Copy full SHA for 3b5b3e0

• Fix paths of LLVM in CI job. Refs #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 #266.

  ivanperez-keera

  committed
  799c2b0

  Copy full SHA for 799c2b0

• Update badges in README to refer to IKOS 3.3 (#266).

  Show description for fcdcb9f
  ivanperez-keera

  committed
  fcdcb9f

  Copy full SHA for fcdcb9f

• Update version number to 3.3 (#266).

  ivanperez-keera

  committed
  1db8fe4

  Copy full SHA for 1db8fe4

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

  ivanperez-keera

  committed
  7eb2d06

  Copy full SHA for 7eb2d06

• Switch pass order (#205).

  Show description for 4907d78
  ivanperez-keera

  committed
  4907d78

  Copy full SHA for 4907d78

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

  ivanperez-keera

  committed
  39a88c0

  Copy full SHA for 39a88c0

• Make compatible with Pygments >= 2.12 (#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 #263.

  ivanperez-keera

  committed
  fcca375

  Copy full SHA for fcca375

Commits on Jan 26, 2024

• Add missing cstdint includes (#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 #255.

  ivanperez-keera

  committed
  1185cc8

  Copy full SHA for 1185cc8

• Update badges in README to refer to IKOS 3.2 (#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 (#255).

  ivanperez-keera

  committed
  f9d4539

  Copy full SHA for f9d4539

Commits on Dec 17, 2023

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

  ivanperez-keera

  committed
  a21c5ea

  Copy full SHA for a21c5ea

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

  ivanperez-keera

  committed
  0eff0a7

  Copy full SHA for 0eff0a7

Commits on Dec 15, 2023

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

  ivanperez-keera

  committed
  141bd71

  Copy full SHA for 141bd71

• Bump copyright years in ikos CLI tool (c) notice (#249).

  Show description for 79c7707
  ivanperez-keera

  committed
  79c7707

  Copy full SHA for 79c7707

Pagination

Previous

Next