-
Coalesce adjacent constraints to `Both`s during preprocessing.
Chris Pressey
1 year, 5 months ago
-
Factor out repeated code, and add tests for `>=` and `<=`.
Chris Pressey
1 year, 5 months ago
-
Crude pretty-printing is better than no pretty-printing.
Chris Pressey
1 year, 5 months ago
-
Define `Show` instances for Constraint data structures.
Chris Pressey
1 year, 5 months ago
-
Fix the "Kennel Story" by adding a provisional "both" constraint.
Chris Pressey
1 year, 5 months ago
-
Add `>=` and `<=` constraints. They still need tests.
Chris Pressey
1 year, 5 months ago
-
Update README. It's apparent the Kennel Story needs updating.
Chris Pressey
1 year, 5 months ago
-
Only and exactly one of the choices of an Alt can be satisfiable.
Chris Pressey
1 year, 5 months ago
-
Simplify again.
Chris Pressey
1 year, 5 months ago
-
Simplify.
Chris Pressey
1 year, 5 months ago
-
Flatten Alt's during preprocessing.
Chris Pressey
1 year, 5 months ago
-
Flatten Seq's during parsing.
Chris Pressey
1 year, 5 months ago
-
Check that all choices on the Alt have a precondition.
Chris Pressey
1 year, 5 months ago
-
Fix the tests by normalizing the AST to remove singleton Alts.
Chris Pressey
1 year, 5 months ago
-
Extract preconditions of Alt choices during generation.
Chris Pressey
1 year, 5 months ago
-
Merge pull request #2 from catseye/develop-0.3
Chris Pressey
(commit: GitHub)
1 year, 9 months ago
-
Place distribution under BSD license.
Chris Pressey
1 year, 9 months ago
-
Add design note about constraints as relational operators.
Chris Pressey
1 year, 9 months ago
-
Add a comment about complexity classes in design notes.
Chris Pressey
1 year, 9 months ago
-
Update documentation, including adding history entry for 0.3.
Chris Pressey
1 year, 10 months ago
-
Achieve the "Kennel Novel" goal.
Chris Pressey
1 year, 10 months ago
-
Move notes about random choices to the design document.
Chris Pressey
1 year, 10 months ago
-
Test case for parsing with externally-supplied parameters.
Chris Pressey
1 year, 10 months ago
-
Marginally improve writing style in the simplified kennel story.
Chris Pressey
1 year, 10 months ago
-
Refine the simplified kennel story to be context-sensitive.
Chris Pressey
1 year, 10 months ago
-
Variables on RHS of greater-than and less-than constraints.
Chris Pressey
1 year, 10 months ago
-
Inc and dec by a variable.
Chris Pressey
1 year, 10 months ago
-
Introduce simple expressions in constraints. Partially done.
Chris Pressey
1 year, 10 months ago
-
Fix comment and EOF parsing problems.
Chris Pressey
1 year, 10 months ago
-
Fix undetected syntax errors in the simplified kennel example.
Chris Pressey
1 year, 10 months ago