VerifyDTAPN

lp:~marmux/verifydtapn/verifydtapn-reach-act

Created by muniz and last modified
Get this branch:
bzr branch lp:~marmux/verifydtapn/verifydtapn-reach-act
Only muniz can upload to this branch. If you are muniz please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
muniz
Project:
VerifyDTAPN
Status:
Experimental

Recent revisions

349. By muniz

inverting option -ra, disabling now

348. By muniz

computing reachable actions only once at initialization

347. By muniz

initial implemenation of reachable actions

346. By muniz

skeleton for algorithm 2

345. By muniz

skeleton for algorithm

344. By muniz

on reachable actions

343. By muniz

changed constructor of ReducingGenerator, added function for computing reachable actions

342. By muniz

changed constructor of ReducingGenerator, added function for computing reachable actions

341. By muniz

debug set to O0, adding reachable actions

340. By muniz

setting all transitions as reachable

Branch metadata

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

Subscribers