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

Create repo with initial Haskell project
#1 by epost was closed Aug 3, 2018
3 tasks done
@epost
Define issues
#3 by epost was closed Aug 3, 2018
@wisnesky
Concrete Syntax
#4 by wisnesky was closed Sep 25, 2018
@wisnesky
Type (Sort) inference for concrete syntax
#5 by wisnesky was closed Oct 22, 2018
@wisnesky
theorem prover based on re-writing weakly orthogonal theories
#8 by wisnesky was closed Oct 4, 2018
@wisnesky
instance saturator
#13 by wisnesky was closed Oct 4, 2018
@wisnesky
delta
#14 by wisnesky was closed Oct 12, 2018
@wisnesky
sigma
#15 by wisnesky was closed Oct 10, 2018
@wisnesky
Abstract Syntax
#21 by wisnesky was closed Oct 4, 2018
@wisnesky
mapping validator
#22 by wisnesky was closed Oct 7, 2018
@wisnesky
transform validator
#23 by wisnesky was closed Oct 7, 2018
@wisnesky
type checker
#24 by wisnesky was closed Sep 25, 2018
@wisnesky
transform composition core
#26 by wisnesky was closed Nov 12, 2018
@wisnesky
Refactor
#27 by epost was closed Oct 13, 2018
8 tasks done
@epost
Program prover
#32 by wisnesky was closed Oct 4, 2018
@wisnesky
Parser for Typeside kind
#40 by marcosh was closed Oct 4, 2018
Add Travis badge to README
#41 by epost was closed Sep 26, 2018
@tg-x
test suite build issues
#45 by tg-x was closed Oct 1, 2018
@wisnesky
Parsing
#47 by wisnesky was closed Oct 22, 2018
@epost @marcosh @wisnesky
Add instance validator (satisfaction)
#50 by wisnesky was closed Oct 20, 2018
@wisnesky
Allow /* */ block comments in parsing
#65 by wisnesky was closed Oct 12, 2018
@epost @marcosh @wisnesky
unit and counit for sigma/delta
#66 by wisnesky was closed Oct 12, 2018
@wisnesky
Basic CLI (Command Line Interface)
#70 by epost was closed Oct 29, 2018
3 tasks done
Add acyclic dependency check
#95 by wisnesky was closed Oct 23, 2018
@epost @marcosh @wisnesky
Add some explanatory links to the README.
#142 by epost was closed May 31, 2019
@epost
ProTip! Find all open issues with in progress development work with linked:pr.