lp:~tapaal-dist/verifypn/parser

Created by Mads Johannsen and last modified
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:
Abandoned

Recent revisions

43. By Jakob Dyhr

reductions on adjacency list

42. By Søren Moss Nielsen

Fixed error in codegen

41. By Mads Johannsen

Deleted Approximation and Structures dir and content

40. By Mads Johannsen

Merge + Fixed some bugs

39. By Mads Johannsen

Fixed some bugs

38. By Jakob Dyhr

Merge

37. By Jakob Dyhr

Added basic option flags, started on reductions

36. By Jakob Dyhr

testing disjunc and fireability

35. By Jakob Dyhr

Merge

34. By Jakob Dyhr

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.