File: CHANGES

package info (click to toggle)
haskell-simple-smt 0.9.7-3
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 88 kB
  • sloc: haskell: 663; makefile: 4
file content (15 lines) | stat: -rwxr-xr-x 614 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
0.9.7: `newSolverNotify` has a callback when solver quits
0.9.6: Suport for quoated symbols and recursive functions
0.9.5: Expose `loadString`
0.9.4: Add `toInt` and `toReal`
0.9.3: Fix incorrect rendering or `real` literals
0.9.2: add ppSExpr
0.9:   Support for working with unsat-cores
0.8:   Support for declare; loading of strings/files; more sugar for SMT commands
0.6.0: Allow finer-grained logging
0.5.5: Add support for unsupported results
0.5.3: Add 'zeroExtend' and 'signExtend'
0.5.2: Fix right shift
0.5.1:  Add 'define' commands
0.5:    Adds more bit-wise operations
0.4:    Fixes definiiton of `geq`