Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / CategoricalData/CQL issues and pull requests
#72 - Installation errors when running `java -jar cql.jar`
Issue -
State: closed - Opened by zunction over 2 years ago
- 2 comments
#71 - How to have arbitrary observational equations involving java types
Issue -
State: open - Opened by Sinha-Ujjawal about 3 years ago
#70 - No documentation on how to use "or" condition or exists in condition in where clause
Issue -
State: closed - Opened by Sinha-Ujjawal about 3 years ago
- 5 comments
#69 - "Primary key" constraint still generates an `id` column
Issue -
State: closed - Opened by o1lo01ol1o over 3 years ago
- 3 comments
#68 - Expose option for altering default `id` column types during jdbc export
Issue -
State: open - Opened by o1lo01ol1o over 3 years ago
#67 - org.postgresql.util.PSQLException: ERROR: type "varbinary" does not exist
Issue -
State: open - Opened by o1lo01ol1o over 3 years ago
#66 - Java 15 not Java 11
Issue -
State: open - Opened by bond15 over 3 years ago
#65 - Allow CQL section syntax to be re-ordered everywhere
Issue -
State: open - Opened by wisnesky over 3 years ago
#64 - Table viewer boldness attribute not re-ordered along with column headers
Issue -
State: closed - Opened by wisnesky over 3 years ago
#63 - Type inference of nested where clauses should favor for-bound variables over strings for type inference purposes
Issue -
State: closed - Opened by wisnesky almost 4 years ago
#62 - Please review alternate version of CQL IDE Build Instructions
Issue -
State: closed - Opened by walambert about 4 years ago
- 2 comments
#61 - add primitive to establish fks from attributes
Issue -
State: open - Opened by wisnesky about 4 years ago
#60 - export option-valued attributes as sql nulls
Issue -
State: closed - Opened by wisnesky about 4 years ago
- 1 comment
#59 - dop-fib sigma
Issue -
State: open - Opened by wisnesky about 4 years ago
#58 - non-saturating co-eval
Issue -
State: open - Opened by wisnesky about 4 years ago
#57 - non-saturating pivot
Issue -
State: open - Opened by wisnesky about 4 years ago
#56 - Add 'hiding' command to imports
Issue -
State: open - Opened by wisnesky about 4 years ago
#55 - Maven and Gradle cleanup and fixes
Pull Request -
State: closed - Opened by troycald about 4 years ago
- 1 comment
#54 - Correct handling of nullable typeside functions
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 2 comments
#53 - catdata.LineException: org.postgresql.util.PSQLException: ERROR: column "varchar" does not exist
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 6 comments
#52 - sigma_chase performance
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 29 comments
#51 - Null foreign keys during import
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 4 comments
#50 - Expose multi-threaded execution engine on command line
Issue -
State: closed - Opened by wisnesky about 4 years ago
- 1 comment
Labels: enhancement
#49 - schema_colimit observation_equations syntax
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 2 comments
#48 - CmdLine logging
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 2 comments
#47 - org.postgresql.util.PSQLException: ERROR: type "double" does not exist
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 5 comments
#46 - How to constrain the id of a generator given an existing instance?
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 8 comments
#45 - options timeout doesn't appear to be respected
Issue -
State: closed - Opened by o1lo01ol1o about 4 years ago
- 4 comments
#44 - sqlite
Issue -
State: closed - Opened by v217 over 4 years ago
- 2 comments
#42 - CmdLine interface should re-order declarations like the GUI
Issue -
State: closed - Opened by wisnesky over 4 years ago
- 3 comments
Labels: bug
#41 - Editor Support: tmBundle for syntax highlighting
Issue -
State: open - Opened by tehprofessor almost 5 years ago
- 2 comments
Labels: help wanted
#40 - Naming Improvements
Issue -
State: open - Opened by tehprofessor almost 5 years ago
- 1 comment
Labels: help wanted
#39 - Maven Repo for Vanderbilt 403s when trying to build
Issue -
State: open - Opened by tehprofessor almost 5 years ago
- 1 comment
Labels: help wanted
#38 - Add type inference for open APG terms
Issue -
State: open - Opened by wisnesky about 5 years ago
Labels: good first issue, APG
#37 - "Cannot infer a unique well-sorted term" error
Issue -
State: closed - Opened by nolta about 5 years ago
- 4 comments
#36 - Randomizer for instance presentations
Issue -
State: open - Opened by wisnesky about 5 years ago
Labels: help wanted, good first issue
#35 - A few suggestions to attract contributors and make the project more robust
Issue -
State: open - Opened by wetneb about 5 years ago
- 4 comments
Labels: help wanted, good first issue
#34 - Wiki needs documentation on "DP" tab for "Decide Equation-in-ctx" and "Sat"
Issue -
State: closed - Opened by Skyfold about 5 years ago
- 6 comments
#33 - java.util.concurrent.ExecutionException: catdata.LocException
Issue -
State: closed - Opened by Skyfold about 5 years ago
- 1 comment
#32 - Tutorial parse error
Issue -
State: closed - Opened by Skyfold about 5 years ago
- 3 comments
#31 - Issue running pre-compiled jar
Issue -
State: closed - Opened by Skyfold about 5 years ago
- 2 comments
#30 - Figure out how to display summarized provenance info for chased instances in viewer
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement
#29 - Externalize all the error strings in CQL
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, help wanted, good first issue, documentation
#28 - Dragging in schema viewer is slow with attributes
Issue -
State: open - Opened by wisnesky over 5 years ago
- 1 comment
Labels: enhancement, wontfix
#27 - Add Disjunctive Eds and the ability to check them
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement
#26 - Colimit schema special case: pushouts
Issue -
State: open - Opened by wisnesky over 5 years ago
- 1 comment
Labels: enhancement, good first issue
#25 - Save and Open should share the same file chooser
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, good first issue
#24 - Move the manual away from HTML frames
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, documentation
#23 - Stop creating intermediate sets for dependency analysis
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, good first issue
#22 - Additional viewer simplification for small instances
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement
#21 - Type inference cannot assign the same string to two sorts
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement
#20 - Errata
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: wontfix
#19 - Display relevant type-algebra equations in labeled null cells in the viewer
Issue -
State: open - Opened by dspivak over 5 years ago
- 1 comment
Labels: enhancement
#18 - Text editor when no trailing line, loses highlighting
Issue -
State: closed - Opened by dspivak over 5 years ago
- 4 comments
#17 - Modify Kinds
Issue -
State: closed - Opened by wisnesky over 5 years ago
- 1 comment
Labels: enhancement
#16 - Add attributes to the GUI for transforms
Issue -
State: closed - Opened by wisnesky over 5 years ago
- 1 comment
Labels: enhancement
#15 - Have CQL emit time remaining until timeout in status bar
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, good first issue
#14 - Redo Parsec grammar to give better error messages
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, help wanted, good first issue, documentation
#13 - 'IsFinite' button for schemas
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, good first issue
#12 - Change from two Run + Cancel buttons to one Run/Cancel toggle button
Issue -
State: closed - Opened by wisnesky over 5 years ago
Labels: enhancement
#11 - Semantic objects that are the sources and targets of semantic morphisms are always recomputed
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement
#10 - Update ANTLR grammar
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: bug, good first issue
#9 - Not all keywords colorize
Issue -
State: closed - Opened by wisnesky over 5 years ago
Labels: bug
#8 - pages for kinds in documentation - what to put?
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: help wanted, good first issue, question, documentation
#7 - Convert from custom to RSyntaxArea outline tree component
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: enhancement, good first issue
#6 - Mark all in find dialog does not unhighlight on close
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: bug
#5 - The options color chooser dialog box pops under the options window
Issue -
State: open - Opened by wisnesky over 5 years ago
Labels: bug
#4 - Term Hash-consing cache grows monotonically (no garbage collection)
Issue -
State: open - Opened by wisnesky over 5 years ago
#3 - Define CQL API and axiomatic semantics as a CQL type side
Issue -
State: open - Opened by wisnesky over 5 years ago
#2 - The text 'CQL' in the examples menu is clipped in the deployed jar file, but not in eclipse.
Issue -
State: closed - Opened by wisnesky over 5 years ago
#1 - Stale theorem prover error highlights may not clear until a key is pressed
Issue -
State: closed - Opened by wisnesky over 5 years ago
- 1 comment