verifypn

lp:~verifypn-stub/verifypn/ctl-flow

Created by Jakob Dyhr on 2017-05-15 and last modified on 2017-05-16

Get this branch:: bzr branch lp:~verifypn-stub/verifypn/ctl-flow

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

Branch merges

No branches dependent on this one.

Merged into lp:verifypn at revision 181

Jiri Srba: Approve on 2017-05-17

Jakob Dyhr (community): Needs Resubmitting on 2017-05-16

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-stub

Project:: verifypn

Status:: Merged

Recent revisions

182. By Jakob Dyhr on 2017-05-16: always print ctl options
181. By Jakob Dyhr on 2017-05-16: Throw error if CTL engine is called with non-DFS strategy
180. By Jakob Dyhr on 2017-05-15: Removed the forced call to ctl engine from main when -ctl is used
179. By Jiri Srba on 2017-05-13: added 2 seconds to each timeout to avoid calling our eengine with timeout 0
178. By Jiri Srba on 2017-05-08: one more fix for sequential processing
177. By Jiri Srba on 2017-05-08: updated the timeouts and trapping signals
176. By Jiri Srba <email address hidden> on 2017-05-08: updated competition scripts to kill all processes when received termination signal
175. By Jiri Srba <email address hidden> on 2017-05-05: updated the script for competition to run 100+100+200
174. By Jiri Srba on 2017-05-04: merged in branch lp:~verifypn-stub/verifypn/structural-reduction-statistics
173. By Jiri Srba on 2017-05-04: merged in branch lp:~verifypn-stub/verifypn/qr-metrics

»

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