Issues

• WASM falha na alocação de memória (std::bad_alloc)

  bug
  hbgit/Map2Check#72 · Filter by author hbgit opened on Sep 29, 2026
  

• Add option to use a specific generator

  enhancement
  hbgit/Map2Check#43 · Filter by author rafaelsamenezes opened on Nov 3, 2020
  

• Support to check floating-point arithmetic

  enhancementhelp wanted
  hbgit/Map2Check#42 · Filter by author hbgit opened on Jul 21, 2020
  1

  

• Add support to verify concurrent programs

  enhancement
  hbgit/Map2Check#41 · Filter by author hbgit opened on Jul 3, 2020
  

• Add support to Termination Analysis

  enhancementhelp wanted
  hbgit/Map2Check#38 · Filter by author hbgit opened on May 31, 2020
  

• Crucible support as a Symbolic Engine

  enhancementgood-first-issue
  hbgit/Map2Check#37 · Filter by author rafaelsamenezes opened on May 29, 2020
  1

  

• Can symbolic execution tool KLEE run in parallel?

  enhancement
  hbgit/Map2Check#18 · Filter by author hbgit opened on Oct 11, 2019
  

• LLVM Optimizations with KLEE

  enhancement
  hbgit/Map2Check#16 · Filter by author rafaelsamenezes opened on Oct 2, 2019
  

• Program invariant generation

  enhancement
  hbgit/Map2Check#15 · Filter by author hbgit opened on Aug 14, 2019