verifypn

lp:~verifypn-cpn/verifypn/cpn-rule-i

Created by Andreas Klostergaard on 2018-03-30 and last modified on 2018-04-02

Get this branch:: bzr branch lp:~verifypn-cpn/verifypn/cpn-rule-i

Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-cpn

Project:: verifypn

Status:: Abandoned

Recent revisions

261. By Andreas Klostergaard on 2018-04-02: Bug fix for fireability queries.
260. By Andreas Klostergaard on 2018-04-01: First draft of a finished rule I reducer.
259. By Andreas Klostergaard on 2018-04-01: Done for tonight. finished ruleI. Missing reduce function.
258. By Andreas Klostergaard on 2018-03-30: Added the forgotten files
257. By Andreas Klostergaard on 2018-03-30: Begun rule I for colored nets
256. By Peter Gjøl Jensen on 2018-03-29: fixed segfault
255. By Peter Gjøl Jensen on 2018-03-29: fixed issue with negated fireability
254. By Peter Gjøl Jensen on 2018-03-29: added check for negated fireability for cpn overapproximation
253. By Peter Gjøl Jensen on 2018-03-29: fixed issue with upper bounds
252. By Peter Gjøl Jensen on 2018-03-28: fixed issue with fireability and CPN approxc

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:verifypn

This branch contains Public information

Everyone can see this information.

Subscribers