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

Created by muniz on 2019-03-07 and last modified on 2019-03-27
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 on 2019-03-26

inverting option -ra, disabling now

348. By muniz on 2019-03-25

computing reachable actions only once at initialization

347. By muniz on 2019-03-19

initial implemenation of reachable actions

346. By muniz on 2019-03-19

skeleton for algorithm 2

345. By muniz on 2019-03-19

skeleton for algorithm

344. By muniz on 2019-03-18

on reachable actions

343. By muniz on 2019-03-15

changed constructor of ReducingGenerator, added function for computing reachable actions

342. By muniz on 2019-03-15

changed constructor of ReducingGenerator, added function for computing reachable actions

341. By muniz on 2019-03-15

debug set to O0, adding reachable actions

340. By muniz on 2019-03-08

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