patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Add integer simplifications to change log

Browse Source
This commit is contained in:
Patrick Lühne 2018-04-21 18:48:57 +02:00
parent d950b8ec1a
commit 529aec15af
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG.md
View File

@ -7,6 +7,7 @@
* optional detection of integer variables and integer predicate parameters * optional detection of integer variables and integer predicate parameters
* command-line option `--detect-integers` to enable integer variable detection * command-line option `--detect-integers` to enable integer variable detection
* support for declaring functions integer with the `#external` directive * support for declaring functions integer with the `#external` directive
* new simplification rule applying to integer variables
## 0.1.8 (2018-04-20) ## 0.1.8 (2018-04-20)