323 Commits (develop)
 

Author SHA1 Message Date
Patrick Lühne e0aa3497ee
Version bump after release 0.1.9 4 years ago
Patrick Lühne 64bab69a36
Version bump for release 0.1.9 4 years ago
Patrick Lühne 9566629237
Document new default options in readme 4 years ago
Patrick Lühne c199f609bd
Enable all processing steps by default 4 years ago
Patrick Lühne 1570432ee0
Add interval precedence fix to change log 4 years ago
Patrick Lühne 0ce4e54d1a
Fix precedence of interval operator 4 years ago
Patrick Lühne fa3ed31eca
Add fix related to choice rules to change log 4 years ago
Patrick Lühne e85807accb
Fix handling of rules with multielement head 4 years ago
Patrick Lühne 3393f84a4a
Add unit tests covering equality checks 4 years ago
Patrick Lühne 7013b9ea54
Fix equality check for binary operations 4 years ago
Patrick Lühne c84ae51ff2
Add unit tests covering integer variable detection 4 years ago
Patrick Lühne d60e2a736b
Update examples 4 years ago
Patrick Lühne bb9013e7c5
Add integer extensions to change log 4 years ago
Patrick Lühne 69688d1d39
Add integer simplification rule 4 years ago
Patrick Lühne a70b1fb726
Print typing formulas for integer parameters 4 years ago
Patrick Lühne a2c4d87852
Prefix integer variables with “N” 4 years ago
Patrick Lühne b60c65a810
Add option to turn on integer variable detection 4 years ago
Patrick Lühne 19e1e16e45
Implement integer variable detection 4 years ago
Patrick Lühne 63f39e5162
Provide function for evaluating formulas 4 years ago
Patrick Lühne 811523e580
Provide term type deduction function 4 years ago
Patrick Lühne 09ef64a0e1
Support declaring functions as integer 4 years ago
Patrick Lühne 43d2c153c7
Represent predicate parameters explicitly 4 years ago
Patrick Lühne 541cb3fb47
Add domain specifier to variable declarations 4 years ago
Patrick Lühne 921d5ed4f0
Remove unnecessary include directives 4 years ago
Patrick Lühne e0509f725a
Replace SimplificationResult with OperationResult 4 years ago
Patrick Lühne 48cf8ee3e0
Minor refactoring 4 years ago
Patrick Lühne f7d99c82fa
Move Tristate class to Utils header 4 years ago
Patrick Lühne 618189368c
Split functions from their declarations 4 years ago
Patrick Lühne d0debc6ad1
Split predicates from their declarations 4 years ago
Patrick Lühne 3ba80e8c9d
Minor refactoring 4 years ago
Patrick Lühne d66d3557c1
Minor refactoring 4 years ago
Patrick Lühne e15a6b2e88
Remove Constant class 4 years ago
Patrick Lühne 9a59ac17f5
Version bump after release 0.1.8 4 years ago
Patrick Lühne 250942643c
Version bump for release 0.1.8 4 years ago
Patrick Lühne 815bcda367
Update cxxopts to 2.1.0+1+gcc4914f 4 years ago
Patrick Lühne 04094eee23
Remove unnecessary parentheses 4 years ago
Patrick Lühne 8c250f5c59
Support modulus operation (absolute value) 4 years ago
Patrick Lühne 0608748349
Describe --complete option in readme 4 years ago
Patrick Lühne 31d4a20491
Update change log with recent additions 4 years ago
Patrick Lühne a01e78a467
Add example program for prime number detection 4 years ago
Patrick Lühne 797660d6de
Add new simplification rule 4 years ago
Patrick Lühne b63ef21849
Add example program generating permutations 4 years ago
Patrick Lühne cc3c9b642c
Minor formatting in graph coloring example 4 years ago
Patrick Lühne 40ddee8444
Add new simplification rule 4 years ago
Patrick Lühne 6f7b021712
Add new simplification rule 4 years ago
Patrick Lühne 23624007ec
Add new simplification rule 4 years ago
Patrick Lühne 6d7b91c391
Add new simplification rule 4 years ago
Patrick Lühne b88393655a
Iteratively apply simplification tableau rules 4 years ago
Patrick Lühne c4c3156e77
Move simplification rule to tableau 4 years ago
Patrick Lühne 107dae7287
Move simplification rule to tableau 4 years ago