krr / IDP / issues / #661 - New Release — Bitbucket

Issue #661 resolved

Bart Bogaerts created an issue 2014-02-01

We should make a new release, preferably before the ICLP deadline and preferably called version 3.3 (as that is what I call in the paper)

Are there more important changes supposed to go to the master before this release?

Comments (5)

Broes De Cat
I don't think there is crucial stuff left that has to make the release. Important changes for a future version: - card to fo - function detection - definition postprocessing - warren paper syntax
- 2014-02-02T13:19:41+00:00
Bart Bogaerts reporter
Blocked by pull request #203

and by pull request #202
- 2014-02-12T08:59:47+00:00
Bart Bogaerts reporter
Release 3.3.0

see ~~#661~~

TODO: windows and mac

→ <<cset e8987203dfd0>>
- 2014-02-12T15:36:40+00:00
Bart Bogaerts reporter
Release is delayed: bug in xsb will be fixed first
- 2014-02-12T18:02:29+00:00
Ingmar Dasseville
- changed status to resolved
- 2014-07-25T11:35:51+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!