Skip to content
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

Jump to bottom

Enable choice of term ordering for REST #1930

Open
wants to merge 13 commits into
base: develop
Choose a base branch
from
Open

Enable choice of term ordering for REST #1930

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
000c0ab
Allow different ordering constraints
zgrannan Nov 9, 2021
03505b4
Update liquid-fixpoint
zgrannan Nov 23, 2021
f90b8c8
Merge remote-tracking branch 'upstream/develop' into rest2
zgrannan Feb 8, 2022
a0e764b
Update Liquid-Fixpoint, REST
zgrannan Feb 8, 2022
809b4e9
Update fixpoint
zgrannan Feb 10, 2022
c1f66d4
Update fixpoint, add KBO test
zgrannan Feb 11, 2022
97d716c
Update fixpoint
zgrannan Feb 11, 2022
1c44174
Merge remote-tracking branch 'upstream/develop' into upgrade-rest
zgrannan Feb 11, 2022
2c262e4
Slightly improve help message
zgrannan Feb 11, 2022
d971c6d
Update docs/mkDocs/docs/options.md
zgrannan Feb 14, 2022
3329bfa
Merge
zgrannan Feb 14, 2022
b0c7f57
Merge remote-tracking branch 'origin/upgrade-rest' into upgrade-rest
zgrannan Feb 14, 2022
406fad0
Update fixpoint
zgrannan Feb 15, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update fixpoint
  • Loading branch information
@zgrannan
zgrannan committed Feb 11, 2022
commit 97d716c05e28cdf4676d5f29419951134296b57e
2 changes: 1 addition & 1 deletion liquid-fixpoint
Open in desktop
Submodule liquid-fixpoint updated 7 files
+5 −10 src/Language/Fixpoint/Defunctionalize.hs
+1 −2 src/Language/Fixpoint/Smt/Interface.hs
+22 −23 src/Language/Fixpoint/Solver/PLE.hs
+1 −0 src/Language/Fixpoint/Solver/Sanitize.hs
+2 −0 src/Language/Fixpoint/Solver/Simplify.hs
+0 −1 src/Language/Fixpoint/Types/Theories.hs
+12 −0 tests/horn/neg/T523.smt2