Skip to content

Issues: Tritlo/PropR

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

21 Open 53 Closed
21 Open 53 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Integrate functional spectrums
#117 opened Apr 18, 2024 by Tritlo
Integrate CSI Haskell traces
#116 opened Apr 18, 2024 by Tritlo
Integrate spectacular synthesis
#115 opened Apr 18, 2024 by Tritlo
Compile packages
#114 opened Apr 18, 2024 by Tritlo
9.2 GHC Migration
#111 opened Jan 23, 2022 by lapplislazuli
7 tasks
GitHub Haskell Build Workflow is broken Bug Something isn't working
#110 opened Dec 6, 2021 by Tritlo
Exclude Hole Fits Enhancement New feature or request
#109 opened Sep 2, 2021 by lapplislazuli
Pre-computed fixes can miss many branches
#108 opened Sep 1, 2021 by Tritlo
Diffs not accurate when deleting multiple lines
#107 opened Aug 30, 2021 by Tritlo
Upgrade to 9.2 and use ExactPrint
#106 opened Aug 22, 2021 by Tritlo
Config-Value Check Haskell Issue is in our Haskell Code Low-Prio Change / Request is not urgent
#99 opened Aug 16, 2021 by lapplislazuli
Some evaluated locations are not found Enhancement New feature or request
#92 opened Aug 12, 2021 by Tritlo
2
We cannot use un-exported datatypes Enhancement New feature or request
#68 opened Aug 4, 2021 by Tritlo
@Tritlo
Verify the environment before running Enhancement New feature or request
#62 opened Aug 3, 2021 by Tritlo
[Search] Fix disjoint sets of properties Enhancement New feature or request
#60 opened Jul 31, 2021 by Tritlo
4
Genetic search state should be dumped regularly if so requested Enhancement New feature or request
#57 opened Jul 30, 2021 by Tritlo
Intermediate results should be logged Enhancement New feature or request Haskell Issue is in our Haskell Code
#55 opened Jul 30, 2021 by Tritlo
3
Issue with dynamic linking on MacOS Bug Something isn't working
#45 opened Jul 26, 2021 by Tritlo
9
Binary File Access
#20 opened Jul 8, 2021 by lapplislazuli
2
Make sure that fixes are not changing offsets
#13 opened Jun 22, 2021 by Tritlo
Doesn't play well with 9.0.1
#6 opened May 18, 2021 by Tritlo
3
ProTip! Find all open issues with in progress development work with linked:pr.