tjausm/Jip

Issues

• Implement model for z3_api

  #38 opened a year ago
  0

• Rewrite index evaluation in `heap_access_array`

  #36 opened a year ago
  1

• Destruct_forall

  #34 opened a year ago
  0

• Null forking

  #31 opened a year ago
  2

• cvc4 processing OOX's `%` and `/` operators

  #30 opened a year ago
  0

• Run backend using custom cmd

  #29 opened a year ago
  1

• Reference generation

  #27 opened a year ago
  2

• Forall quantifier

  #26 opened 2 years ago
  1

• Add -vv mode

  #24 opened 2 years ago
  1

• Completely implement Expression `Hash` trait

  #23 opened a year ago
  0

• Make `Substituted` private

  #22 opened 2 years ago
  0

• Scoped blocks

  #19 opened 2 years ago
  0

• Type subtituted expressions

  #18 opened 2 years ago
  1

• Z3 invocation count

  #17 opened 2 years ago
  2

• Symbolic arrays

  #16 opened 2 years ago
  1

• Add KopierSEE heuristics

  #15 opened a year ago
  4

• Ctx shared between all paths

  #14 opened 2 years ago
  0

• Organize test programs in folders specifying what part of codebase they test

  #12 opened 2 years ago
  0

• Add `require` and `ensure`

  #11 opened 2 years ago
  0

• Various stack & hashmap implementations

  #9 opened 2 years ago
  0

• Cyclic dependencies in modules

  #7 opened 2 years ago
  1

• Bench module is redundant

  #6 opened 2 years ago
  0

• Heap datatype, or memory datatype

  #5 opened 2 years ago
  0

• Use clippy

  #4 opened 2 years ago
  1

• Improve `panic_with_diagnostics`

  #3 opened a year ago
  1

• Cfg and See mod to large

  #2 opened 2 years ago
  0