lp:~tapaal-reduction/tapaal/tapaal-reduction-3.1

Created by Nichlas Korgaard Møller on 2014-07-07 and last modified on 2014-12-01
Get this branch:
bzr branch lp:~tapaal-reduction/tapaal/tapaal-reduction-3.1
Members of tapaal-reduction can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-reduction
Project:
TAPAAL
Status:
Development

Recent revisions

915. By Jiri Srba on 2014-12-01

merged with trunk

914. By Jiri Srba on 2014-08-26

added a new test net

913. By Jiri Srba on 2014-08-26

added test nets by Jacob

912. By Nichlas Korgaard Møller on 2014-08-16

Fixed a bug with the rule, and a bug for the passed net. (Reduction only bug)

911. By Jiri Srba on 2014-08-15

added a new experiment

910. By Nichlas Korgaard Møller on 2014-08-13

RuleB should be made now and needs testing.
Perhaps something needs to be refactored a little, but some function look alot alike, but they use different type of arcs.

909. By Nichlas Korgaard Møller on 2014-08-12

Fixed some errors, and RuleB is not functional only with Normal Arcs.
It only need the lasts fixes to work with TransportArc and NormalArcs for RuleB.
Added several experiments.

908. By Nichlas Korgaard Møller on 2014-08-12

Merge to main branch.

907. By Nichlas Korgaard Møller on 2014-08-12

I have made some of RuleB but it is unfinished.
AllReductions has been changed so RuleB is applied, but it does not do anything at the moment.

906. By Nichlas Korgaard Møller on 2014-08-11

Made so Experiments are either in TRUE or FALSE in query text.
Made several cleanups in rule A, and fixed alot of boolean format in the IF conditions.

Branch metadata

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

Subscribers