verifypn

lp:~verifypn-cpn/verifypn/unfoldTACPN

Created by Mark Glavind on 2019-06-06 and last modified on 2019-06-16

Get this branch:: bzr branch lp:~verifypn-cpn/verifypn/unfoldTACPN

Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-cpn

Project:: verifypn

Status:: Abandoned

Recent revisions

227. By Mark Glavind on 2019-06-16: missing some lpsolve files for compiling binary
226. By Mark Glavind on 2019-06-16: Fixed an issue where the parser would try to print expressions even if they were not there
225. By Mark Glavind on 2019-06-15: made include path changes and added lpsolve in order to crosscompile to windows
224. By Mark Glavind on 2019-06-06: merge from dynamicExport
223. By Mark Glavind on 2019-05-16: Merge from dynamic export
222. By Mark Glavind on 2019-05-08: merge from dynamicExport, feature is finished
221. By Mark Glavind on 2019-05-06: merge from unfoldQuery, feature finished
220. By Mark Glavind on 2019-04-29: small bugfixes that dit not allow compilation
219. By Mark Glavind on 2019-04-29: merge from exportTAPN, unfolding and exporting of TACPN to TAPN finished
218. By Mark Glavind on 2019-04-03: merge from TACPNParser, feature finished

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:verifypn

This branch contains Public information

Everyone can see this information.

Subscribers