Search results

jfs-smt2cxx can't handle all formulas that jfs can

bug

Status: Open.

#39 In mc-imperial/jfs;

· moyix opened on Dec 7, 2020

EqualityExtractionPass should propagate equalities

Status: Open.

#38 In mc-imperial/jfs;

· delcypher opened on Jun 11, 2020

Is it possible to extend JFS to process string constraints?

Status: Open.

#37 In mc-imperial/jfs;

· lingjunz opened on Sep 17, 2019

Submit to SMT-COMP 2020

Status: Open.

#36 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Update to the latest Z3 release

Status: Open.

#35 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Update to latest LLVM/Clang/LibFuzzer release

Status: Open.

#34 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with optimization levels

Status: Open.

#33 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with inline coverage counters

Status: Open.

#32 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with comparison tracing

Status: Open.

#31 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with LibFuzzer's value profile

Status: Open.

#30 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement optimal BufferElement packing algorithm for BufferAssignment

Status: Open.

#29 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement a special case in runtime Buffer reading functions for byte aligned access

Status: Open.

#28 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019