VerifyTAPN

lp:~d504a/verifytapn/maxplus

Created by Michael Madsen on 2011-03-02 and last modified on 2011-05-25

Get this branch:: bzr branch lp:~d504a/verifytapn/maxplus

Members of d504a 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:: d504a

Project:: VerifyTAPN

Status:: Experimental

Recent revisions

160. By Søren Ravn on 2011-05-25: extrapolation for 1-dim poly fixed
159. By Søren Ravn on 2011-05-19: small refinement of extrapolation
158. By Søren Ravn on 2011-05-19: corrected extrapolate
157. By Søren Ravn on 2011-05-19: corrected extrapolation
156. By Søren Ravn on 2011-05-18: removed unused function (DiagonalFree)
155. By Søren Ravn on 2011-05-18: new extrapolation algorithm
154. By Søren Ravn on 2011-05-18: Remove repeated variable declaration
153. By Michael Madsen on 2011-05-18: Revert r150 and 151; r152 makes them unnecessary
152. By Michael Madsen on 2011-05-17: Time query verification
151. By Michael Madsen on 2011-05-17: Move creation of factory to more accurately determine load time when usign the fake factory

»

Branch metadata

Branch format:: Branch format 7

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

Stacked on:: lp:verifytapn

This branch contains Public information

Everyone can see this information.

Subscribers