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

Better way to deal with large groups of standard rules #109

Closed
atomb opened this issue Mar 9, 2016 · 1 comment
Closed

Better way to deal with large groups of standard rules #109

atomb opened this issue Mar 9, 2016 · 1 comment
Labels
type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use

Comments

@atomb
Copy link
Contributor

atomb commented Mar 9, 2016

We may want one or more of the following:

  • The ability to browse rules defined in the prelude
  • The ability to use all available rules (or all "safe" rules)
  • More pre-defined simpsets for common situations
@atomb atomb added the type: enhancement Issues describing an improvement to an existing feature or capability label Apr 12, 2016
@atomb atomb added the usability An issue that impedes efficient understanding and use label Apr 28, 2020
brianhuffman pushed a commit that referenced this issue Apr 26, 2021
Merge pull request #109 from GaloisInc/fix-fromIntMod
93cd7bd 
Fix implementation of `fromIntMod` in concrete evaluation backend.
@atomb
Copy link
Contributor Author

atomb commented Jul 30, 2021

This seems to vague to be useful in retrospect. If this comes up in future proof efforts, let's create more specific issues as needed.

@atomb atomb closed this as completed Jul 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@atomb