[dylan-foundry/z3-dylan] 5ff8ab: [test] Add if/then/else test.

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

  Branch: refs/heads/master
  Home:   https://github.com/dylan-foundry/z3-dylan
  Commit: 5ff8abd28801151b24dfbc83edaa7ebf3879ea7c
      https://github.com/dylan-foundry/z3-dylan/commit/5ff8abd28801151b24dfbc83edaa7ebf3879ea7c
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

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

  Log Message:
  -----------
  [test] Add if/then/else test.

* tests/z3-test-suite.dylan
  (if-then-else): See that if-then-else works.
  (z3-test-suite): Run the if-then-else test.


  Commit: 8f4aca6f80c0c69af6d2731704b6008c8ef39441
      https://github.com/dylan-foundry/z3-dylan/commit/8f4aca6f80c0c69af6d2731704b6008c8ef39441
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

  Changed paths:
    M tests/utilities.dylan
    M tests/z3-test-suite.dylan
    M z3/module-raw-z3-api.dylan
    M z3/module-z3.dylan
    M z3/raw-z3-api.dylan
    M z3/raw-z3-api.intr
    M z3/z3-api.dylan

  Log Message:
  -----------
  Better binding of enumeration and mk-app with test.

* tests/utilities.dylan
  (solver-check): Helper function.

* tests/z3-test-suite.dylan
  (enumeration-example): Construct and test aspects of enumerations.
  (z3-test-suite): Run enumeration-example.

* z3/module-raw-z3-api.dylan
  (module %z3-api): Rename z3-mk-enumeration-sort and Z3-mk-app.

* z3/module-z3.dylan
  (module z3-api): Export <Z3-func-decl-vector>, Z3-mk-app and
   Z3-mk-enumeration-sort.

* z3/raw-z3-api.dylan
  (Z3-mk-enumeration-sort): Renamed with % prefix.
  (Z3-mk-app): Likewise.

* z3/raw-z3-api.intr
  (Z3_mk_enumeration_sort): Rename with % prefix.
  (Z3_mk_app): Likewise.

* z3/z3-api.dylan
  (Z3-mk-app, Z3-mk-enumeration-sort): Custom bindings to handle data
   and type conversion.


Compare: https://github.com/dylan-foundry/z3-dylan/compare/1a8f45c6c81f...8f4aca6f80c0
----==_mimepart_56cf0ddb564cc_31973ffaf210f2c089717
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_56cf0ddb564cc_31973ffaf210f2c089717--