-
Notifications
You must be signed in to change notification settings - Fork 14
Issues: DistCompiler/pgo
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
Using a more advanced logging library that supports different logging levels.
#221
opened Jan 14, 2022 by
shayanh
TLA+ module support (for completeness)
enhancement
New feature or request
#158
opened Sep 17, 2021 by
fhackett
Generated Code Conformance Checking
enhancement
New feature or request
#137
opened Jun 12, 2021 by
fhackett
Accepting labels as macros' arguments
enhancement
New feature or request
#126
opened May 12, 2021 by
shayanh
Compiler validation: provide an option for PGo to attempt compiling invariants into generated code
enhancement
New feature or request
#122
opened May 7, 2021 by
fhackett
ProTip!
Mix and match filters to narrow down what you’re looking for.