summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Roland Kaminski [Sat, 3 Nov 2018 21:34:57 +0000 (22:34 +0100)]
rename async keyword in python API
Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125
`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights
The `Control` class method `solve()` now uses the following keyword
argument list:
```
solve(self, assumptions, on_model, on_finish, yield_, async_)
```
closes #125
Gbp-Pq: Name gringo-python37-async.patch
Thomas Krennwallner [Mon, 5 Feb 2018 06:31:16 +0000 (06:31 +0000)]
Fix testsuite for python3 when reading utf-8 scripts
===================================================================
Gbp-Pq: Name gringo-python3-utf8.patch
Thomas Krennwallner [Wed, 7 Dec 2016 06:50:31 +0000 (07:50 +0100)]
Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
===================================================================
Gbp-Pq: Name gringo-manpages.patch
Thomas Krennwallner [Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000)]
gringo (5.3.0-10) unstable; urgency=medium
* Fix FTBFS on buster.
* debian/control: add Build-Depends on g++-8 >= 8.2.0-21
* debian/symbols: add alpha and x32 symbols
[dgit import unpatched gringo 5.3.0-10]
Thomas Krennwallner [Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000)]
Import gringo_5.3.0-10.debian.tar.xz
[dgit import tarball gringo 5.3.0-10 gringo_5.3.0-10.debian.tar.xz]
Thomas Krennwallner [Sun, 11 Nov 2018 07:56:35 +0000 (07:56 +0000)]
Import gringo_5.3.0.orig.tar.gz
[dgit import orig gringo_5.3.0.orig.tar.gz]
projects / gringo.git / log