statebox/cql

Issues

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

  #72 opened 6 years ago by wisnesky
  6

• Add 'pivot' functionality

  #146 opened 5 years ago by epost
  4

• Refactor & clean up

  #148 opened 5 years ago by epost
  0

• Refactor

  #82 opened 6 years ago by epost
  1

• CQL in a proarrow equipment

  #153 opened 5 years ago by sjoerdvisscher
  1

• Pretty-printing

  #71 opened 6 years ago by epost
  2

• Parser.identifier fails on special character

  #151 opened 5 years ago by epost
  0

• Rename executable from cql-exe to cql

  #143 opened 5 years ago by epost
  0

• Add some explanatory links to the README.

  #142 opened 6 years ago by epost
  0

• rename AQL ~> CQL

  #140 opened 6 years ago by wires
  1

• Update path equalities to always start with entities

  #139 opened 6 years ago by wisnesky
  0

• Better Termination Checker

  #127 opened 6 years ago by wisnesky
  0

• Split Term

  #126 opened 6 years ago by wisnesky
  0

• Add SQL typeside

  #94 opened 6 years ago by wisnesky
  2

• add extensional definitional simplification of collages

  #59 opened 6 years ago by wisnesky
  1

• Abbreviate repeated qualifiers in instance declarations

  #121 opened 6 years ago by wisnesky
  1

• remove useless constraints

  #122 opened 6 years ago by marcosh
  0

• Allow identifiers to be quoted in parsing

  #64 opened 6 years ago by wisnesky
  11

• Overloaded record names

  #117 opened 6 years ago by wisnesky
  2

• Simplify qualified types

  #96 opened 6 years ago by wisnesky
  3

• systematize typesafe conversions for terms

  #51 opened 6 years ago by wisnesky
  5

• Timeouts

  #99 opened 6 years ago by wisnesky
  6

• Profile (find hotspots)

  #115 opened 6 years ago by wisnesky
  0

• Allow name shadowing

  #114 opened 6 years ago by epost
  0

• Add monoidal prover

  #86 opened 6 years ago by wisnesky
  1

• allow options at start of file

  #52 opened 6 years ago by wisnesky
  2

• Add Grothendieck construction

  #79 opened 6 years ago by wisnesky
  0

• Query to Mappings

  #77 opened 6 years ago by wisnesky
  0

• Mapping to Queries

  #78 opened 6 years ago by wisnesky
  0

• Create HTTP API

  #69 opened 6 years ago by epost
  4

• Basic CLI (Command Line Interface)

  #70 opened 6 years ago by epost
  0

• unit and counit for coeval/eval

  #67 opened 6 years ago by wisnesky
  0

• Improve error messages

  #90 opened 6 years ago by wisnesky
  1

• Add doc comments

  #105 opened 6 years ago by epost
  0

• Stack build doesn't recognize --pedantic on Ryan's Mac

  #108 opened 6 years ago by epost
  2

• Clean up AQL examples

  #88 opened 6 years ago by epost
  0

• Automated code formatting

  #100 opened 6 years ago by wisnesky
  2

• Add acyclic dependency check

  #95 opened 6 years ago by wisnesky
  0

• non-lambda attributes

  #54 opened 6 years ago by wisnesky
  8

• Parsing

  #47 opened 6 years ago by wisnesky
  0

• Add import statements

  #48 opened 6 years ago by wisnesky
  1

• Add instance validator (satisfaction)

  #50 opened 6 years ago by wisnesky
  0

• Create JVM version with Eta

  #87 opened 6 years ago by epost
  0

• Allow parens in parsing

  #55 opened 6 years ago by wisnesky
  1

• Master is broken

  #80 opened 6 years ago by epost
  3

• Allow /* */ block comments in parsing

  #65 opened 6 years ago by wisnesky
  0

• unit and counit for sigma/delta

  #66 opened 6 years ago by wisnesky
  0

• Add example files to automatic tests

  #58 opened 6 years ago by marcosh
  1

• Leading space in .aql file causes empty parse

  #53 opened 6 years ago by wisnesky
  2

• Unable to parse example file

  #57 opened 6 years ago by marcosh
  2