CQL icon indicating copy to clipboard operation
CQL copied to clipboard

Published 20 hours ago • verified publisher icon CategoricalData
→

Metadata

Categorical Query Language IDE

Results 39 CQL issues
Sort by recently updated
recently updated
newest added

Errata

Formal errata - issues that will not be fixed and which users should be aware of - will be listed here: https://github.com/CategoricalData/CQL/wiki/Errata

wisnesky avatar wisnesky

wontfix

Type inference cannot assign the same string to two sorts

So e.name = e is not allowed even if e:Employee and name:Employee->String and e:String can be expressed. To work around, write e.name = e@String.

wisnesky avatar wisnesky

enhancement

Update ANTLR grammar

wisnesky avatar wisnesky

bug
good first issue

Convert from custom to RSyntaxArea outline tree component

wisnesky avatar wisnesky

enhancement
good first issue

Semantic objects that are the sources and targets of semantic morphisms are always recomputed

wisnesky avatar wisnesky

enhancement

The options color chooser dialog box pops under the options window

Possible swing bug.

wisnesky avatar wisnesky

bug

Mark all in find dialog does not unhighlight on close

Possible RSyntaxArea bug.

wisnesky avatar wisnesky

bug

Term Hash-consing cache grows monotonically (no garbage collection)

wisnesky avatar wisnesky

Define CQL API and axiomatic semantics as a CQL type side

wisnesky avatar wisnesky

← Metadata

292
Stars
21
Forks
Watchers

Owner

verified publisher icon CategoricalData

Metadata

Categorical Query Language IDE

Back