Search results

OpenSSF Best Practices Badge: 4 Analysis criteria incorrectly self-reported as "Met"

enhancement

Status: Open.

#49 In hbgit/Map2Check;

· hbgit opened on Jul 6, 2026

Add option to use a specific generator

enhancement

Status: Open.

#43 In hbgit/Map2Check;

· rafaelsamenezes opened on Nov 3, 2020

Support to check floating-point arithmetic

enhancement

help wanted

Status: Open.

#42 In hbgit/Map2Check;

· hbgit opened on Jul 21, 2020

Add support to verify concurrent programs

enhancement

Status: Open.

#41 In hbgit/Map2Check;

· hbgit opened on Jul 3, 2020

Add new subcategories from SV-COMP

enhancement

Status: Open.

#40 In hbgit/Map2Check;

· hbgit opened on Jul 3, 2020

Add support to Termination Analysis

enhancement

help wanted

Status: Open.

#38 In hbgit/Map2Check;

· hbgit opened on May 31, 2020

Crucible support as a Symbolic Engine

enhancement

good-first-issueissues that do not need great knowledge about Map2Check or are easy to implementissues that do not need great knowledge about Map2Check or are easy to implement

Status: Open.

#37 In hbgit/Map2Check;

· rafaelsamenezes opened on May 29, 2020

CRABLLVM generates UNKNOWN result

bug

Status: Open.

#34 In hbgit/Map2Check;

· hbgit opened on May 26, 2020

Adopt a code slicer

enhancement

Status: Open.

#31 In hbgit/Map2Check;

· hbgit opened on Apr 30, 2020

Add Coverage report

enhancement

Status: Open.

#29 In hbgit/Map2Check;

· hbgit opened on Jan 24, 2020

Fix incorrect results in NoOverflows-Other

bug

Status: Open.

#27 In hbgit/Map2Check;

· hbgit opened on Jan 17, 2020

Fix incorrect results in NoOverflows-BitVectors

bug

Status: Open.

#26 In hbgit/Map2Check;

· hbgit opened on Jan 17, 2020