lp:~tapaal-contributor/verifypn/unfoldTACPN

Created by Peter Haahr Taankvist on 2020-08-29 and last modified on 2020-11-20
Get this branch:
bzr branch lp:~tapaal-contributor/verifypn/unfoldTACPN
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
verifypn
Status:
Development

Recent revisions

231. By Thomas Pedersen <email address hidden> on 2020-11-20

Fix parser check for time

230. By Thomas Pedersen <email address hidden> on 2020-11-20

Merge with trunk

229. By Peter Taankvist <email address hidden> on 2020-09-01

Can now handle group nr when parsing

228. By Peter Taankvist <email address hidden> on 2020-08-29

Change parsing from inscription to invariant

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

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.