SoftwareFoundationGroupAtKyotoU/consort

Issues

• `Fatal error: exception Not_found` occurs when a variable that is not a pointer is put in an alias statement

  #30 opened 2 years ago by artoy
  1

• Bug in `havoc_oracle`: `Fatal error: exception Not_found` occurs when using a reference to an array

  #44 opened a year ago by 0npv527yh9
  0

• Bug in SimpleChecker for Recursive Types

  #42 opened a year ago by 0npv527yh9
  0

• Disallow duplicate parameters in function definitions

  #39 opened a year ago by 0npv527yh9
  0

• Shift/reduce conflict

  #37 opened a year ago by aigarashi
  0

• Throw error if Z3 is not installed

  #22 opened 3 years ago by aigarashi
  0

• Check whether assertfail is sufficient

  #11 opened 3 years ago by aigarashi
  0

• Fatal error: exception "Assert_failure ownershipInference.ml:62:20"

  #10 opened 3 years ago by aigarashi
  0

• Should -show-all trigger -annot-infer?

  #12 opened 3 years ago by aigarashi
  0

• Definition of alias(x = y)

  #13 opened 3 years ago by aigarashi
  0

• Duplicate description of the `-show-model` option

  #14 opened 3 years ago by aigarashi
  0

• Fatal error: exception (Failure "Type mismatch (simple checker broken B?)")

  #15 opened 3 years ago by aigarashi
  0

• Fix strengthening conjuction definition

  #16 opened 3 years ago by aigarashi
  0

• Inline well-formedness rule into subtyping

  #17 opened 3 years ago by aigarashi
  0

• Duplicate parameters/arguments

  #19 opened 3 years ago by aigarashi
  0

• Support new version of Z3

  #20 opened 3 years ago by aigarashi
  0

• Change meta-level from ==> to "implies" etc.

  #21 opened 3 years ago by aigarashi
  0

• Possible inflation of ownerships by alias

  #1 opened 3 years ago by aigarashi
  0

• Fix confusing subscripting in valid substitution definition

  #2 opened 3 years ago by aigarashi
  0

• Options for ownership inference result / simple type inference result

  #3 opened 3 years ago by aigarashi
  0

• Variable Shadowing

  #4 opened 3 years ago by aigarashi
  0

• Behave differently from the type system

  #5 opened 3 years ago by aigarashi
  0

• Write down a grammar of types

  #6 opened 3 years ago by aigarashi
  0

• Regnant crashes on simple null check assertion.

  #7 opened 3 years ago by aigarashi
  0

• Write down (and prove) and inversion lemma

  #8 opened 3 years ago by aigarashi
  0

• Adjust Lemma 3 proof to new definition of configuration typing

  #9 opened 3 years ago by aigarashi
  0

• Prove progress

  #18 opened 3 years ago by aigarashi
  0