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

33 Open 119 Closed
33 Open 119 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Add PLE-function-profiler enhancement
#464 opened Jan 29, 2021 by ranjitjhala
@ranjitjhala
SMTLIB2 Interface not alive
#395 opened Apr 30, 2019 by nikivazou
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.