lp:~tapaal-dist/verifypn/parser

Created by Mads Johannsen on 2015-03-09 and last modified on 2015-04-08
Get this branch:
bzr branch lp:~tapaal-dist/verifypn/parser
Members of tapaal-dist can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-dist
Project:
verifypn
Status:
Development

Recent revisions

43. By Jakob Dyhr on 2015-04-08

reductions on adjacency list

42. By Søren Moss Nielsen on 2015-04-03

Fixed error in codegen

41. By Mads Johannsen on 2015-03-31

Deleted Approximation and Structures dir and content

40. By Mads Johannsen on 2015-03-27

Merge + Fixed some bugs

39. By Mads Johannsen on 2015-03-27

Fixed some bugs

38. By Jakob Dyhr on 2015-03-26

Merge

37. By Jakob Dyhr on 2015-03-26

Added basic option flags, started on reductions

36. By Jakob Dyhr on 2015-03-24

testing disjunc and fireability

35. By Jakob Dyhr on 2015-03-21

Merge

34. By Jakob Dyhr on 2015-03-21

osx stuff

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.