Skip to content

Issues: ucsd-progsys/liquid-fixpoint

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

35 Open 121 Closed
35 Open 121 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

Fixpoint crashes on constraint that declares a datatype with a Map_t field
#738 opened Feb 24, 2025 by nilehmann
2
Liquid Fixpoint hangs on constraint
#726 opened Dec 16, 2024 by vrindisbacher
3
Allow to write predicates without question marks
#682 opened Mar 6, 2024 by facundominguez
6
Remove GHC-specific bits from liquid-fixpoint
#668 opened Dec 5, 2023 by facundominguez
Scrape fails to find qualifier
#660 opened Nov 16, 2023 by nilehmann
Improve adding theories
#643 opened Jan 31, 2023 by RobinWebbers
Add upper bound <0.2 to liquid-fixpoint-0.8.10.7
#623 opened Aug 30, 2022 by andrewthad
Produce an intelligible error message when the z3 version is not the expected one good first issue
#622 opened Aug 27, 2022 by facundominguez
1
Simplify test fails with divide by zero (again).
#620 opened Aug 5, 2022 by philderbeast
Stan static analysis using .hie files.
#610 opened Jul 30, 2022 by philderbeast
1
Add the equations produced by the interpreter to PLE dumps
#547 opened Apr 8, 2022 by facundominguez
Consolidate the output of the various dumps
#546 opened Apr 8, 2022 by facundominguez
Provide reference material for the .fq format
#544 opened Apr 8, 2022 by facundominguez
Write an overview of liquid-fixpoint
#543 opened Apr 8, 2022 by facundominguez
1
Write unit tests for elabExprE and stripCasts
#542 opened Apr 8, 2022 by facundominguez
Write unit tests for elabApply and unApply
#541 opened Apr 8, 2022 by facundominguez
Improve pretty printing of large formulas good first issue
#540 opened Apr 7, 2022 by facundominguez
2
Collect performance statistics for liquid-fixpoint
#539 opened Apr 7, 2022 by facundominguez
4
Build with -Werror -Wall good first issue
#538 opened Apr 7, 2022 by facundominguez
@philderbeast
6
Commit d6203 breaks PLE?
#514 opened Nov 17, 2021 by shingarov
10
PLE produces incorrect equalities
#496 opened Oct 7, 2021 by facundominguez
1
9
Optimize interaction with the SMT solver
#482 opened Aug 18, 2021 by facundominguez
23
PLE diverges if boolean definitions are simplified
#475 opened Jul 16, 2021 by facundominguez
Polymorphic constants crash Z3 bug
#469 opened May 11, 2021 by nikivazou
@ranjitjhala
1
build fail with ghc-9.0.1
#467 opened Mar 11, 2021 by mimi1vx
7
ProTip! Add no:assignee to see everything that’s not assigned.