projects
/
gringo.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gringo.git
2022-11-19
Lukas Märdian
Fix 'catch' & 'catch2' compatibility with glibc-2.34
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Thomas Krennwallner
bump CLINGO_VERSION to 5.4.1
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Thomas Krennwallner
link with libatomic on architectures that require it
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Thomas Krennwallner
Fix testsuite for python3 when reading utf-8 scripts
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Thomas Krennwallner
Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Adrian Bunk
gringo (5.4.1-3.1) unstable; urgency=low
commit
|
commitdiff
|
tree
|
snapshot
2022-11-19
Adrian Bunk
Import gringo_5.4.1-3.1.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2020-12-27
Thomas Krennwallner
Import gringo_5.4.1.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot