ftsrg/gazer

Issues

• Can I get the generated CFA file?

  #100 opened 9 months ago by Lqs66
  0

• Discussion: Upgrading LLVM framework?

  #96 opened 4 years ago by radl97
  5

• Test Docker image with GH Actions

  #90 opened 4 years ago by hajduakos
  0

• Gitignore for portfolio

  #88 opened 4 years ago by radl97
  3

• Support large int literals in Theta backend

  #30 opened 4 years ago by hajduakos
  7

• Support SV-COMP ReachSafety-Combined with BMC

  #85 opened 4 years ago by AdamZsofi
  1

• Support SV-COMP ReachSafety-Arrays with BMC

  #76 opened 4 years ago by hajduakos
  1

• Support SV-COMP ReachSafety-Sequentialized with BMC

  #82 opened 4 years ago by hajduakos
  1

• Support SV-COMP ReachSafety-Heap with BMC

  #80 opened 4 years ago by hajduakos
  2

• Support 'malloc' in flat memory model

  #86 opened 4 years ago by sallaigy
  0

• Basic format of the configuration description

  #68 opened 4 years ago by hajduakos
  2

• Support SV-COMP ReachSafety-Heap with Theta

  #81 opened 4 years ago by hajduakos
  1

• Support SV-COMP ReachSafety-Sequentialized with Theta

  #83 opened 4 years ago by hajduakos
  1

• Assignment line number in trace wrong in a special case

  #23 opened 4 years ago by AdamZsofi
  5

• Support SV-COMP ReachSafety-Combinations with Theta

  #84 opened 4 years ago by hajduakos
  0

• Support SV-COMP ReachSafety-Floats with Theta

  #79 opened 4 years ago by hajduakos
  0

• Support SV-COMP ReachSafety-BitVectors with Theta

  #78 opened 4 years ago by hajduakos
  0

• Support SV-COMP ReachSafety-Arrays with Theta

  #77 opened 4 years ago by hajduakos
  0

• Move CI to GH Actions

  #70 opened 4 years ago by hajduakos
  0

• Enable SonarCloud analysis

  #12 opened 4 years ago by hajduakos
  0

• Test harnesses should mock unused functions

  #73 opened 4 years ago by sallaigy
  0

• Segmentation fault in a program with return in a nested loop

  #72 opened 4 years ago by sallaigy
  0

• Portfolio script as entry point of the docker file

  #69 opened 4 years ago by hajduakos
  1

• Limitation due to semantics of undef causes SVComp incorrect false results

  #34 opened 4 years ago by AdamZsofi
  5

• Travis build environment is not C++17 compliant

  #36 opened 4 years ago by as3810t
  0

• Error when using CMake with ninja

  #37 opened 4 years ago by as3810t
  0

• FIsNaN is translated incorrectly

  #63 opened 4 years ago by sallaigy
  0

• Store float values in the flat memory model

  #64 opened 4 years ago by sallaigy
  0

• Using constant zero-aggregate initializers results in a crash

  #65 opened 4 years ago by sallaigy
  0

• Jumping out of a loop from two different blocks to a same exit block breaks the translation of PHI values

  #66 opened 4 years ago by sallaigy
  0

• Requesting traces with floats results in a crash

  #62 opened 4 years ago by sallaigy
  0

• Task with floats: bmc incorrect false, with somehow correct test harness

  #60 opened 4 years ago by AdamZsofi
  5

• Missing support for Rem expressions during Theta CFA generation

  #61 opened 4 years ago by sallaigy
  0

• Add support for the SV-Comp witness format

  #5 opened 4 years ago by sallaigy
  2

• Target type and integer cast error on several tasks

  #52 opened 4 years ago by AdamZsofi
  3

• Start versioning and releasing

  #19 opened 4 years ago by hajduakos
  7

• Erroneous CFA generation vol 2

  #46 opened 4 years ago by as3810t
  13

• LLVM optimization breaking Gazer with --math-int

  #47 opened 4 years ago by radl97
  0

• Rethink building procedure

  #28 opened 4 years ago
  2

• Erroneous Theta CFA generation

  #42 opened 4 years ago by as3810t
  8

• Use environment variables for configuration-related options

  #31 opened 4 years ago
  2

• Upgrade to Theta v1.6.0

  #25 opened 4 years ago by hajduakos
  1

• Intrinsics using pointless special pointer operations

  #24 opened 4 years ago by radl97
  0

• Add global variables to AutomataSystem

  #17 opened 4 years ago
  0

• Upgrade to Theta v1.3.0

  #15 opened 4 years ago by hajduakos
  1

• Download fixed Theta binary instead of clone and build

  #9 opened 4 years ago by hajduakos
  3

• Add an option to generate C programs as test harnesses

  #6 opened 5 years ago by sallaigy
  0

• Detect irreducible control flow

  #4 opened 5 years ago by sallaigy
  0

• Boost fs not found in docker build

  #1 opened 5 years ago by hajduakos
  0