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

Fix bug where map wasn't evaluating properly #677

Merged
merged 1 commit into from
Aug 11, 2023
Merged

Fix bug where map wasn't evaluating properly #677

merged 1 commit into from
Aug 11, 2023

Conversation

MatthewDaggitt
Copy link
Collaborator

@MatthewDaggitt MatthewDaggitt commented Aug 11, 2023 •
edited
Loading

Fixes #669

@MatthewDaggitt MatthewDaggitt added bug Something isn't working backend:verifiers labels Aug 11, 2023
@MatthewDaggitt MatthewDaggitt added this to the v0.10.0 milestone Aug 11, 2023
@MatthewDaggitt MatthewDaggitt added this pull request to the merge queue Aug 11, 2023
Merged via the queue into dev with commit 782f35b Aug 11, 2023
@MatthewDaggitt MatthewDaggitt deleted the eliminate-not-bug branch August 11, 2023 10:42
wenkokke added a commit that referenced this pull request Aug 17, 2023
@wenkokke
Merge branch 'dev' into remove-tasty-golden
4bda660 
* dev:
  Fix packaging for pygments (#689)
  Refactor some Haskell module locations (#687)
  Implement unification of lambdas (#686)
  Bump version v0.9.0 -> v0.10.0
  Switch from floats to rationals during elimination of user variables (#684)
  Fixed test
  Add missing verifier test
  Inline `abcnumeric`/`abcboolasbool` and abstract over vector functions (#683)
  Remove TypeClassSolver class entirely (#682)
  [pre-commit.ci] pre-commit autoupdate (#680)
  Bump pypa/cibuildwheel from 2.14.1 to 2.15.0 (#679)
  Fix bug where map wasn't evaluating properly (#677)
  Refactor loss compilation to preserve boolean operations where possible (#671)
  Improved typing error message infrastructure and constraint origin information (#675)
wenkokke added a commit that referenced this pull request Aug 17, 2023
@wenkokke
Merge branch 'dev' into pytest-pygments
be5d44e 
* dev: (73 commits)
  Fix packaging for pygments (#689)
  Refactor some Haskell module locations (#687)
  Implement unification of lambdas (#686)
  Bump version v0.9.0 -> v0.10.0
  Switch from floats to rationals during elimination of user variables (#684)
  Fixed test
  Add missing verifier test
  Inline `abcnumeric`/`abcboolasbool` and abstract over vector functions (#683)
  Remove TypeClassSolver class entirely (#682)
  [pre-commit.ci] pre-commit autoupdate (#680)
  Bump pypa/cibuildwheel from 2.14.1 to 2.15.0 (#679)
  Fix bug where map wasn't evaluating properly (#677)
  Refactor loss compilation to preserve boolean operations where possible (#671)
  Improved typing error message infrastructure and constraint origin information (#675)
  Prevent tests from being run with +release-build (#672)
  Change Sample to Optimise (#670)
  Fix verification progress bar display bug and update .gitignore file (#667)
  Eliminate normalisable builtin (#665)
  Generalise instance solver to work over any builtin type (#661)
  Fix pygments tests.
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
backend:verifiers bug Something isn't working
Projects
None yet
Milestone
v0.10.0
Development

Successfully merging this pull request may close these issues.

Something went wrong in query compilation: CannotEliminateNot
1 participant
@MatthewDaggitt