-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: langston-barrett/souffle-lint
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
NO_COLOR
good first issue
#66
opened Nov 5, 2022 by
langston-barrett
Global configuration file, default configuration path
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
Configuration management
enhancement
New feature or request
#58
opened Oct 27, 2022 by
langston-barrett
-j
/--jobs
flag to limit the number of threads
enhancement
#55
opened Oct 26, 2022 by
langston-barrett
rule: Redefining built-in name
new-rule
An idea for a new rule
#54
opened Oct 26, 2022 by
langston-barrett
rule: Type error involving literals
new-rule
An idea for a new rule
#53
opened Oct 26, 2022 by
langston-barrett
rule: Error on union of different primitive types
new-rule
An idea for a new rule
#52
opened Oct 26, 2022 by
langston-barrett
rule: Error on duplicate record/ADT field names
new-rule
An idea for a new rule
#50
opened Oct 26, 2022 by
langston-barrett
rule: Avoid An idea for a new rule
btree_delete
new-rule
#49
opened Oct 26, 2022 by
langston-barrett
rule: Avoid An idea for a new rule
printsize
, limitsize
new-rule
#43
opened Oct 25, 2022 by
langston-barrett
Add rules for relation, type, component, and functor names to New feature or request
style.yml
enhancement
#42
opened Oct 25, 2022 by
langston-barrett
rule: Simplify comparison
new-rule
An idea for a new rule
#41
opened Oct 25, 2022 by
langston-barrett
Use standard BSD exit codes
enhancement
New feature or request
#36
opened Oct 25, 2022 by
langston-barrett
doc: Include list of default rules
documentation
Improvements or additions to documentation
#34
opened Oct 25, 2022 by
langston-barrett
Subcommand for collecting bug reports
enhancement
New feature or request
#33
opened Oct 25, 2022 by
langston-barrett
Guide and automation for debugging rule performance
enhancement
New feature or request
#31
opened Oct 25, 2022 by
langston-barrett
ci: Re-enable the Something isn't working
man
subcommand on release builds
bug
#29
opened Oct 24, 2022 by
langston-barrett
Use New feature or request
help wanted
Extra attention is needed
#line
directives
enhancement
#17
opened Oct 24, 2022 by
langston-barrett
Ignoring warnings with line comments
enhancement
New feature or request
#5
opened Oct 22, 2022 by
langston-barrett
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-10-29.