domoritz/vis-constraints

Issues

• Integration tests with input query and output spec

  #9 opened 7 years ago
  0

• Check if datatype mismatches give errors in Z3

  #8 opened 7 years ago
  0

• Safer values for enum datatypes

  #7 opened 7 years ago
  1

• Use channel from Vega-Lite and write `channel` with types checked (and other types)

  #6 opened 7 years ago
  1

• Unit tests

  #5 opened 7 years ago
  0

• Use mark from Vega-Lite and write `mark` with types checked

  #4 opened 7 years ago
  0