VerifyTAPN

lp:~sravn06/verifytapn/max-plus-datalocal

Created by Søren Ravn on 2012-01-16 and last modified on 2012-08-30

Only Søren Ravn can upload to this branch. If you are Søren Ravn please log in for upload directions.

No branches dependent on this one.

174. By sravn06 <email address hidden> on 2012-08-30: readme updated with tplib info
173. By sravn06 <email address hidden> on 2012-08-10: Removed experimental functions.
Added few comments.
Cleaned up the code slightly.
172. By sravn06 <email address hidden> on 2012-07-25: Added option to set cleanup type for tplib mpp
171. By sravn06 <email address hidden> on 2012-07-16: added extrapolate49 for TPlibMPP new function in tplib
170. By sravn06 <email address hidden> on 2012-07-10: Added function extrapolate411 in TPlibMPP
169. By sravn06 <email address hidden> on 2012-07-09: changed extrapolate call to tp_lib according to updated function
+ small corrections
168. By sravn06 <email address hidden> on 2012-07-03: corrections according to changes in tplib_double.h
+ small refactoring of strictness messages
167. By sravn06 <email address hidden> on 2012-07-03: change according to change tplib bindings;
set_canonical
166. By sravn06 <email address hidden> on 2012-07-03: things are working DebugTPlibMarking and TPlibMarking
165. By sravn06 <email address hidden> on 2012-07-03: merged trunk into branch

This branch contains Public information

Everyone can see this information.