issues
search
zgrannan
/
rest
A library for rewriting
BSD 3-Clause "New" or "Revised" License
4
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Relax upper bound for `containers` to allow 0.7
#43
ulysses4ever
closed
3 months ago
3
Update upper bound of hashable
#42
facundominguez
closed
3 months ago
0
Update bound of containers to build with ghc-9.10.1
#41
facundominguez
closed
3 months ago
0
Relax upper bound of text to build with ghc-9.8.1
#40
facundominguez
closed
10 months ago
1
Hackage Release for Test Fix
#39
tbidne
closed
1 year ago
2
Add graphs dir to dist
#38
tbidne
closed
1 year ago
0
Ensure test directory `graphs/` exists
#37
tbidne
closed
1 year ago
2
Fix hlint
#36
zgrannan
closed
1 year ago
0
New Hackage release?
#35
mboes
closed
1 year ago
2
fix an unused import
#34
zgrannan
closed
2 years ago
0
Test workflow should run during PR
#33
zgrannan
closed
2 years ago
0
Relax upper bounds: Hashable, MTL, Text, Time
#32
tbidne
closed
2 years ago
1
Hlint more stuff
#31
zgrannan
closed
2 years ago
0
Ignore hint avoid reverse within Lists module.
#30
philderbeast
closed
2 years ago
0
Hlint maybe.
#29
philderbeast
closed
2 years ago
1
Hlint redundant bracket
#28
philderbeast
closed
2 years ago
0
Follow hlint suggestion: unused LANGUAGE pragma.
#27
philderbeast
closed
2 years ago
1
Run hlint over test and testlib too.
#26
philderbeast
closed
2 years ago
0
Add hlint to CI
#25
zgrannan
closed
2 years ago
0
Hints suggested by HLint.
#24
philderbeast
closed
2 years ago
1
Refactor and document
#23
zgrannan
closed
2 years ago
0
Use custom ListT
#22
zgrannan
closed
2 years ago
0
Inc version, add no orphans flag
#21
zgrannan
closed
2 years ago
0
Explored Terms optimization
#20
zgrannan
closed
2 years ago
0
More printing options
#19
zgrannan
closed
2 years ago
0
Remove version tag to silence cabal warning
#18
facundominguez
closed
2 years ago
0
Supporting multiple SMT solvers?
#17
ConnorBaker
opened
2 years ago
2
Expressions for the SMT solver grow with the path length
#16
facundominguez
opened
2 years ago
1
Build REST with -Werror -Wall
#15
facundominguez
opened
2 years ago
2
Implement logging of SMT solver commands
#14
facundominguez
opened
2 years ago
0
Encode parentheses in operator names
#13
facundominguez
closed
2 years ago
0
Deleted the orphan instances of hashable
#12
facundominguez
closed
2 years ago
0
Deleted the orphan instances of bumped lower bound to
#11
waivio
closed
2 years ago
4
Duplicate Orphan Instances cause build failure
#10
waivio
closed
2 years ago
3
Why aren't constraints refined when deciding to explore
#9
facundominguez
closed
2 years ago
3
Point to the rest paper from the readme and the cabal file
#8
facundominguez
closed
2 years ago
0
Document some functions and remove EquivalenceClass.toPairs
#7
facundominguez
closed
2 years ago
1
Relax upper bound on hashable
#6
zgrannan
closed
2 years ago
0
CI and build system cleanups
#5
facundominguez
closed
2 years ago
1
Relax upper bound of unordered-containers
#4
facundominguez
closed
2 years ago
0
Build failure with hashable >= 1.3.4
#3
sjakobi
closed
2 years ago
3
Add upper bound to unordered-containers
#2
ranjitjhala
closed
3 years ago
0
Upper bound hashable dependency
#1
nikivazou
closed
3 years ago
0