Skip to content

Issues: statebox/cql

Refactor & clean up
#148 opened Aug 7, 2019 by epost
Open
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

Clear current search query, filters, and sorts
39 Open 48 Closed
39 Open 48 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

Rename executable from cql-exe to cql
#143 by epost was closed Aug 8, 2019 updated Aug 8, 2019
Add some explanatory links to the README.
#142 by epost was closed May 31, 2019 updated May 31, 2019
@epost
rename AQL ~> CQL
#140 by wires was closed May 27, 2019 updated May 27, 2019
1
Knuth-Bendix (KB) prover prover
#31 by wisnesky was closed Nov 24, 2018 updated Nov 24, 2018
@epost @marcosh @wisnesky
4
congruence prover prover
#30 by wisnesky was closed Nov 22, 2018 updated Nov 22, 2018
@epost @marcosh @wisnesky
1
Simplify qualified types
#96 by wisnesky was closed Nov 15, 2018 updated Nov 15, 2018
@epost @marcosh @wisnesky
3
systematize typesafe conversions for terms
#51 by wisnesky was closed Nov 15, 2018 updated Nov 15, 2018
@epost @marcosh @wisnesky
5
Timeouts
#99 by wisnesky was closed Nov 15, 2018 updated Nov 15, 2018
@epost @marcosh @wisnesky
6
mapping composition core
#25 by wisnesky was closed Nov 12, 2018 updated Nov 12, 2018
@wisnesky
2
transform composition core
#26 by wisnesky was closed Nov 12, 2018 updated Nov 12, 2018
@wisnesky
allow options at start of file
#52 by wisnesky was closed Oct 29, 2018 updated Oct 29, 2018
@wisnesky
2
Create HTTP API
#69 by epost was closed Oct 29, 2018 updated Oct 29, 2018
@marcosh
4
Basic CLI (Command Line Interface)
#70 by epost was closed Oct 29, 2018 updated Oct 29, 2018
3 tasks done
Stack build doesn't recognize --pedantic on Ryan's Mac
#108 by epost was closed Oct 25, 2018 updated Oct 25, 2018
@wisnesky
2
Tabular pretty-printer for Algebra
#7 by wisnesky was closed Oct 23, 2018 updated Oct 23, 2018
@epost
3
Automated code formatting
#100 by wisnesky was closed Oct 23, 2018 updated Oct 23, 2018
@epost @marcosh @wisnesky
2
Add acyclic dependency check
#95 by wisnesky was closed Oct 23, 2018 updated Oct 23, 2018
@epost @marcosh @wisnesky
non-lambda attributes
#54 by wisnesky was closed Oct 23, 2018 updated Oct 23, 2018
@epost @marcosh @wisnesky
8
Parsing
#47 by wisnesky was closed Oct 22, 2018 updated Oct 22, 2018
@epost @marcosh @wisnesky
Type (Sort) inference for concrete syntax
#5 by wisnesky was closed Oct 22, 2018 updated Oct 22, 2018
@wisnesky
Add import statements
#48 by wisnesky was closed Oct 22, 2018 updated Oct 22, 2018
@wisnesky
1
Add instance validator (satisfaction)
#50 by wisnesky was closed Oct 20, 2018 updated Oct 20, 2018
@wisnesky
Allow parens in parsing
#55 by wisnesky was closed Oct 17, 2018 updated Oct 17, 2018
@epost @marcosh @wisnesky
1
Refactor
#27 by epost was closed Oct 13, 2018 updated Oct 13, 2018
8 tasks done
@epost
Create Travis continuous build
#34 by epost was closed Oct 13, 2018 updated Oct 13, 2018
@wires @tg-x @epost
18
ProTip! Add no:assignee to see everything that’s not assigned.