Skip to content

JPL Version: Upgrade? #46

@ssardina

Description

@ssardina

Hi @JanWielemaker

The JPL version is still 7.4.0.

class Version {
	public final int major = 7;
	public final int minor = 4; // jref as blob
	public final int patch = 0;
	public final String status = "alpha";
}

There has been lots of changes since then, the ones I did last year, and the ones now. Last year there were several major bugs fixed, better management of query interface, documentation re-done, etc. This round we added rationals, upgraded Junit and refactored completely into Test Suite, and soon I will push new documentation and refactored several methods in Term. Also 2 key methods were much improved; CMAKE improved.

So, how are you managing versions? 7.4.0 seems matching the previous round of SWI and apperas to be the original JPL, but many things have been done to it. Should we do 8.0.0 (to align better with the current SWI) or at least 7.5.0?

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions