|
|
2a2fec0eac
|
Update change log with dependency change
This adds the dependency change from Boost (for program options) to
cxxopts to the change log.
|
2018-04-06 23:08:57 +02:00 |
|
|
|
09e56c3bce
|
Format change log sections with proper headings
This makes the change log sections have proper headings, which were just
normal text before.
|
2018-04-06 22:53:59 +02:00 |
|
|
|
be19a5f66b
|
Version bump after release 0.1.6.
|
2017-06-13 00:14:16 +02:00 |
|
|
|
675a3e2eb7
|
Version bump for release 0.1.6.
|
2017-06-12 18:38:36 +02:00 |
|
|
|
4f399a594a
|
Updated change log with new examples for experimenting.
|
2017-06-12 18:35:06 +02:00 |
|
|
|
1d172589f5
|
Rephrased change log entry for clarity.
|
2017-06-09 22:13:05 +02:00 |
|
|
|
fd40bd1a5b
|
Added bug fix to change log.
|
2017-06-09 22:02:02 +02:00 |
|
|
|
1e887594c7
|
Updated change log with new option --parentheses.
|
2017-06-06 02:07:21 +02:00 |
|
|
|
7ae0a1f289
|
Removed unnecessary parentheses after simplification.
|
2017-06-05 03:58:39 +02:00 |
|
|
|
2cbc3116b8
|
Updated change log with new #show and simplification features.
|
2017-06-05 03:07:50 +02:00 |
|
|
|
cdcee897ec
|
Added missing error message when input file does not exist.
|
2017-06-01 03:29:09 +02:00 |
|
|
|
aea640a624
|
Updated change log with unique variable ID feature.
|
2017-05-30 18:22:01 +02:00 |
|
|
|
7145d05fb9
|
Version bump after release 0.1.5.
|
2017-05-04 16:46:24 +02:00 |
|
|
|
3b11eb906a
|
Version bump for release 0.1.5.
|
2017-05-04 16:00:49 +02:00 |
|
|
|
d056fabb8b
|
Fixes lost signs with negated 0-ary predicates.
|
2017-05-04 15:44:37 +02:00 |
|
|
|
33f426d860
|
Version bump after release 0.1.4.
|
2017-04-12 01:22:15 +02:00 |
|
|
|
9a81e12a8f
|
Version bump for release 0.1.4.
|
2017-04-12 00:59:55 +02:00 |
|
|
|
799e77170b
|
Fixed typo.
|
2017-04-12 00:59:26 +02:00 |
|
|
|
ddeeaecf50
|
Updated change log with new support for completion.
|
2017-04-10 16:49:59 +02:00 |
|
|
|
f57a257b4e
|
Version bump after release 0.1.3.
|
2017-03-30 16:34:43 +02:00 |
|
|
|
b59dca5a49
|
Version bump for release 0.1.3.
|
2017-03-30 16:17:07 +02:00 |
|
|
|
d0cbdb13e5
|
Fixed misleading error message concerning negated, unsupported body literals.
|
2017-03-29 23:09:40 +02:00 |
|
|
|
ef715de6c4
|
Updated change log with support for anonymous variables.
|
2017-03-29 21:33:26 +02:00 |
|
|
|
3df4d5a2a2
|
Fixed incorrectly simplified rules with comparisons.
|
2017-03-28 17:13:15 +02:00 |
|
|
|
7c928f07a3
|
Version bump after release 0.1.2.
|
2017-03-23 15:38:33 +01:00 |
|
|
|
7dcd684717
|
Version bump for release 0.1.2.
|
2017-03-23 15:30:17 +01:00 |
|
|
|
96899e4dfe
|
Updated change log.
|
2017-03-23 15:14:33 +01:00 |
|
|
|
7bb78656f4
|
Updated change log with recent bug fix.
|
2017-03-23 02:14:10 +01:00 |
|
|
|
2d2f2cd0dd
|
Updated change log with basic simplification features.
|
2017-03-23 01:12:55 +01:00 |
|
|
|
33e47ae089
|
Updated change log with new explicit formula representation.
|
2017-03-15 16:32:26 +01:00 |
|
|
|
74338a5ab7
|
Version bump after release 0.1.1.
|
2017-03-06 18:09:48 +01:00 |
|
|
|
ffe46738de
|
Updated change log with support for choice rules.
|
2017-03-06 16:51:21 +01:00 |
|
|
|
d2259bca63
|
Version bump after release 0.1.0.
|
2016-11-25 00:02:52 +01:00 |
|
|
|
fe81714798
|
Version bump for release 0.1.0.
|
2016-11-24 23:52:15 +01:00 |
|
|
|
39d691c7ad
|
Added change log.
|
2016-11-24 23:50:15 +01:00 |
|
