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

Add integer extensions to change log

Browse Source 
This adds the recent integer extensions to the change log, namely,
integer variable detection, simplifications concerning integer
variables, and support for explicitly declaring functions integer.
This commit is contained in:
Patrick Lühne 2018-04-20 16:38:57 +02:00
parent 69688d1d39
commit bb9013e7c5
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
CHANGELOG.md
View File

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