[dylan-foundry/z3-dylan] 4263c8: Fix syntax error.

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

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

  Changed paths:
    M z3/module-z3.dylan

  Log Message:
  -----------
  Fix syntax error.

* z3/module-z3.dylan
  (module z3): Remove incorrect semicolon.


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

  Changed paths:
    M z3/z3-api.dylan
    M z3/z3-api.intr

  Log Message:
  -----------
  Mark all C-functions as inline-only.

This reduces the size of the z3 bindings library substantially.


  Commit: 27078cacd0aef2d7e6534a8d9534767a84ee2b88
      https://github.com/dylan-foundry/z3-dylan/commit/27078cacd0aef2d7e6534a8d9534767a84ee2b88
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-01-30 (Sat, 30 Jan 2016)

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

  Log Message:
  -----------
  [tests] Assert correct AST construction.

* tests/z3-test-suite.dylan
  (test bitvector-example2): Use Z3-mk-int rather than Z3-mk-numeral
   to ensure that we're passing integers through correctly. Add an
   assertion to test converting the AST to string form.


Compare: https://github.com/dylan-foundry/z3-dylan/compare/e7a59b4c5a5d...27078cacd0ae
----==_mimepart_56acbc88645f9_67323fd43c77f2b83603d
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_56acbc88645f9_67323fd43c77f2b83603d--