lp:~tapaal-dist/verifypn/LTSmin

Created by Jiri Srba on 2015-03-09 and last modified on 2015-03-13
Get this branch:
bzr branch lp:~tapaal-dist/verifypn/LTSmin
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

64. By Søren Moss Nielsen on 2015-03-13

Done testing different structural approaches.

63. By Søren Moss Nielsen on 2015-03-13

Testing created - runnung tests

62. By Søren Moss Nielsen on 2015-03-12

Ready for benchmark test

61. By Isabella Kaufmann on 2015-03-12

jiris speedtest

60. By Søren Moss Nielsen on 2015-03-11

............................

59. By Søren Moss Nielsen on 2015-03-11

Craeted handmade speedtest for if-structured approach

58. By Søren Moss Nielsen on 2015-03-10

Big sample done - starting code gen

57. By Søren Moss Nielsen on 2015-03-10

Created new handmade example

56. By Søren Moss Nielsen on 2015-03-09

Commiting initial code generator files

55. By Jiri Srba on 2014-07-09

changed XML parser so that it preservers the order of tags
some output formating changes too

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.

Subscribers