Skip to content

Issues: SoftwareFoundationGroupAtKyotoU/consort

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

25 Open 2 Closed
25 Open 2 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Bug in havoc_oracle: Fatal error: exception Not_found occurs when using a reference to an array bug Something isn't working
#44 opened Nov 9, 2023 by 0npv527yh9
Bug in SimpleChecker for Recursive Types bug Something isn't working
#42 opened Nov 8, 2023 by 0npv527yh9
1
Fatal error: exception Not_found occurs when a variable that is not a pointer is put in an alias statement bug Something isn't working
#30 opened Dec 5, 2022 by artoy
1
Throw error if Z3 is not installed bug Something isn't working
#22 opened Sep 18, 2021 by aigarashi
Change meta-level from ==> to "implies" etc.
#21 opened Sep 18, 2021 by aigarashi
Support new version of Z3 bug Something isn't working
#20 opened Sep 18, 2021 by aigarashi
Prove progress
#18 opened Sep 18, 2021 by aigarashi
Duplicate parameters/arguments enhancement New feature or request
#19 opened Sep 18, 2021 by aigarashi
Inline well-formedness rule into subtyping enhancement New feature or request
#17 opened Sep 18, 2021 by aigarashi
Fix strengthening conjuction definition paper
#16 opened Sep 18, 2021 by aigarashi
Fatal error: exception (Failure "Type mismatch (simple checker broken B?)") bug Something isn't working
#15 opened Sep 18, 2021 by aigarashi
Duplicate description of the -show-model option bug Something isn't working
#14 opened Sep 18, 2021 by aigarashi
Definition of alias(x = y) question Further information is requested
#13 opened Sep 18, 2021 by aigarashi
Should -show-all trigger -annot-infer? bug Something isn't working
#12 opened Sep 18, 2021 by aigarashi
Fatal error: exception "Assert_failure ownershipInference.ml:62:20" bug Something isn't working
#10 opened Sep 18, 2021 by aigarashi
Check whether assertfail is sufficient enhancement New feature or request
#11 opened Sep 18, 2021 by aigarashi
Adjust Lemma 3 proof to new definition of configuration typing
#9 opened Sep 18, 2021 by aigarashi
Write down (and prove) and inversion lemma
#8 opened Sep 18, 2021 by aigarashi
Regnant crashes on simple null check assertion. bug Something isn't working
#7 opened Sep 18, 2021 by aigarashi
Write down a grammar of types
#6 opened Sep 18, 2021 by aigarashi
Behave differently from the type system paper
#5 opened Sep 18, 2021 by aigarashi
Variable Shadowing enhancement New feature or request
#4 opened Sep 18, 2021 by aigarashi
Options for ownership inference result / simple type inference result enhancement New feature or request
#3 opened Sep 18, 2021 by aigarashi
Fix confusing subscripting in valid substitution definition
#2 opened Sep 18, 2021 by aigarashi
Possible inflation of ownerships by alias bug Something isn't working
#1 opened Sep 18, 2021 by aigarashi
ProTip! Follow long discussions with comments:>50.