Make completion, simplifications, and integer variable detection the default #11

New Issue

patrick · 2018-04-19T17:33:20+02:00

patrick commented

2018-04-19 17:33:20 +02:00

Right now, --complete, --simplify, and --detect-integers have to be specified manually on the command line in order to enable completion and simplifications.

Usually, these options are what the user wants, which is why they should be enabled by default and optionally switched off if necessary.

Right now, `--complete`, `--simplify`, and `--detect-integers` have to be specified manually on the command line in order to enable completion and simplifications. Usually, these options are what the user wants, which is why they should be enabled by default and optionally switched off if necessary.

patrick added this to the anthem 0.1.9 milestone 2018-04-19 17:33:20 +02:00

patrick self-assigned this 2018-04-19 17:33:20 +02:00

patrick added the

enhancement

label 2018-04-19 17:33:20 +02:00

patrick changed title from ~~Make completion and simplifications the default~~ to Make completion, simplifications, and integer variable detection the default

2018-04-21 19:14:15 +02:00

patrick removed this from the anthem 0.1.9 milestone 2018-04-22 13:35:13 +02:00

patrick added this to the anthem 0.1.9 milestone 2018-04-23 00:21:42 +02:00

patrick commented

2018-05-04 16:05:17 +02:00

Fixed by c2f3dc65a577768a81e71d6c2442efbe8945222e.

patrick closed this issue

2018-05-04 16:05:17 +02:00

Sign in to join this conversation.