| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
Improved line editing include moveable cursor and command history
|
|
Implement optimizations that can be called in parallel or serial.
Optimizations occur mostly in place and result in a logically equivalent
tree when used correctly.
Optimizations
=============
* Sort - sort all statements within a clause tree
* Simplify - apply negation rules to all statements
* Flatten - merge child clauses with parents
* Compact - merge equivalent statements
* Tidy^ - remove zero statements
* Contradictions - zero contradicting statements and clauses
* StrictEquality - zero fuzzy statements when exact statements are within
clause
* Tighten - combine multiple fuzzy statements to the least (AND) or
most (OR) restrictive bounds
^: when used incorrectly can turn an invalid clause tree into a valid
one
|
|
|
|
Added support for the following
* Ignore unpassable dates
* Ignore parsing non-standard header keys
* Ignore errors while parsing non-standard header keys
|
|
|
|
|
|
|
