[dylan-foundry/z3-dylan] ea319b: Rejigger bindings so that we can wrap for convenie...

----==_mimepart_56ad7d022395a_61513febd4c6b2b810103d
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

  Branch: refs/heads/master
  Home:   https://github.com/dylan-foundry/z3-dylan
  Commit: ea319bd000d8cad283d0782d5af4990a3daf6091
      https://github.com/dylan-foundry/z3-dylan/commit/ea319bd000d8cad283d0782d5af4990a3daf6091
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-01-31 (Sun, 31 Jan 2016)

  Changed paths:
    M z3/Makefile
    A z3/module-raw-z3-api.dylan
    R z3/module-z3-api.dylan
    M z3/module-z3.dylan
    A z3/raw-z3-api.dylan
    A z3/raw-z3-api.intr
    M z3/z3-api.dylan
    R z3/z3-api.intr
    M z3/z3.lid

  Log Message:
  -----------
  Rejigger bindings so that we can wrap for convenience.

The C API isn't natural for Dylan usage in all cases and we need
extra code to cope with that.  We move the generated bindings
from z3-api into %z3-api. We provide some wrappers in z3-api which
also re-exports %z3-api. This allows melange to generate the module
definition for what it is generating.

We then provide wrappers for the functions that take an array of
Z3_ast objects to make using them from Dylan easy.


  Commit: 62d8c28eca9cceffb5aa9129dc0e1303a6483478
      https://github.com/dylan-foundry/z3-dylan/commit/62d8c28eca9cceffb5aa9129dc0e1303a6483478
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-01-31 (Sun, 31 Jan 2016)

  Changed paths:
    M tests/z3-test-suite.dylan

  Log Message:
  -----------
  Add test of simplification.

This also uses Z3-mk-and which uses the new convenience wrapper.

* tests/z3-test-suite.dylan
  (test boolean-simplification): New test.
  (suite z3-test-suite): Run new test.


Compare: https://github.com/dylan-foundry/z3-dylan/compare/27078cacd0ae...62d8c28eca9c
----==_mimepart_56ad7d022395a_61513febd4c6b2b810103d
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter
----==_mimepart_56ad7d022395a_61513febd4c6b2b810103d--