Search results

CQL in a proarrow equipment

Status: Open.

#153 In statebox/cql;

· sjoerdvisscher opened on Aug 19, 2019

1 comment

Parser.identifier fails on special character

bugSomething isn't workingSomething isn't working

Status: Open.

#151 In statebox/cql;

· epost opened on Aug 14, 2019

Refactor & clean up

Status: Open.

#148 In statebox/cql;

· epost opened on Aug 7, 2019



Add 'pivot' functionality

Status: Open.

#146 In statebox/cql;

· epost opened on Jul 31, 2019

4 comments



Update path equalities to always start with entities

Status: Open.

#139 In statebox/cql;

· wisnesky opened on May 13, 2019



Better Termination Checker

Status: Open.

#127 In statebox/cql;

· wisnesky opened on Nov 26, 2018



Split Term

Status: Open.

#126 In statebox/cql;

· wisnesky opened on Nov 25, 2018



remove useless constraints

Status: Open.

#122 In statebox/cql;

· marcosh opened on Nov 20, 2018

Abbreviate repeated qualifiers in instance declarations

Status: Open.

#121 In statebox/cql;

· wisnesky opened on Nov 20, 2018

1 comment



Overloaded record names

Status: Open.

#117 In statebox/cql;

· wisnesky opened on Nov 5, 2018

2 comments



Profile (find hotspots)

Status: Open.

#115 In statebox/cql;

· wisnesky opened on Nov 5, 2018



Allow name shadowing

Status: Open.

#114 In statebox/cql;

· epost opened on Oct 31, 2018

Add doc comments

documentation

Status: Open.

#105 In statebox/cql;

· epost opened on Oct 23, 2018



Add SQL typeside

Status: Open.

#94 In statebox/cql;

· wisnesky opened on Oct 20, 2018

2 comments



Improve error messages

ux

Status: Open.

#90 In statebox/cql;

· wisnesky opened on Oct 20, 2018

1 comment



Clean up AQL examples

good first issueGood for newcomersGood for newcomers

Status: Open.

#88 In statebox/cql;

· epost opened on Oct 18, 2018

Create JVM version with Eta

Status: Open.

#87 In statebox/cql;

· epost opened on Oct 18, 2018

Add monoidal prover

prover

Status: Open.

#86 In statebox/cql;

· wisnesky opened on Oct 18, 2018

1 comment



Refactor

Status: Open.

#82 In statebox/cql;

· epost opened on Oct 14, 2018

1 comment



Add Grothendieck construction

Status: Open.

#79 In statebox/cql;

· wisnesky opened on Oct 12, 2018



Mapping to Queries

core

Status: Open.

#78 In statebox/cql;

· wisnesky opened on Oct 12, 2018



Query to Mappings

core

Status: Open.

#77 In statebox/cql;

· wisnesky opened on Oct 12, 2018



Try encoding a Petri net and a history as a CQL instance

researchResearch, also into code-related subjects.Research, also into code-related subjects.

Status: Open.

#72 In statebox/cql;

· wisnesky opened on Oct 11, 2018

6 comments



Pretty-printing

ux

Status: Open.

#71 In statebox/cql;

· epost opened on Oct 11, 2018

2 comments



unit and counit for coeval/eval

core

Status: Open.

#67 In statebox/cql;

· wisnesky opened on Oct 11, 2018