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

#69 - "Primary key" constraint still generates an `id` column

Issue - State: closed - Opened by o1lo01ol1o over 3 years ago - 3 comments

#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

#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

#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

#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

#3 - Define CQL API and axiomatic semantics as a CQL type side

Issue - State: open - 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