k
simply
public
0 stars
0 forks
0 issues
Commits
List of commits on branch master.Unverified
5fcd226b82ffac62bc26a18aeecf83dcb5b20ca4Simplify negation of relational operators
kkkoopa committed 8 years ago
Unverified
3dc5136a1cebd1c9694ae56a19632431d33075beJoin all predicate constraints. simplify and split conjunctions into multiple constraints
kkkoopa committed 8 years ago
Unverified
94bed18c40f3a2df790e6a0b755703a5873f399aRestructure classes
kkkoopa committed 8 years ago
Unverified
31fd873817a93d5b360655c8c807ff48dd77d9c4Make Abs require parentheses, as should be
kkkoopa committed 8 years ago
Unverified
0a96540e852223b27a6df5e246be5b406f36a336Use shorthand operators in parser where applicable
kkkoopa committed 8 years ago
Unverified
89f26186303de7689b3cf7d7d049e66769b6b58dHandle all constraints
kkkoopa committed 8 years ago