~tapaal-dist-ctl/verifypn/par-ctl : changes

~tapaal-dist-ctl/verifypn/par-ctl » Changes from revision 185

From Revision 185 to 166

Rev	Summary	Authors	Date
185	added the remaining failes added the remaining failes	Lasse S. J.	6 years ago
184	Switched sequential CTL engine out with a parallel one Switched sequential CTL engine out with a parallel one	Lasse S. J.	6 years ago
183	merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpr... merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions adding arithmetic expressions to CTL queries	Jiri Srba	6 years ago
182	merged in branch lp:~verifypn-stub/verifypn/short-circut merged in branch lp:~verifypn-stub/verifypn/short-circut	Jiri Srba	6 years ago
181	merged in branch lp:~verifypn-stub/verifypn/ctl-flow merged in branch lp:~verifypn-stub/verifypn/ctl-flow	Jiri Srba	6 years ago
180	fixed help menu in the main file fixed help menu in the main file	Jiri Srba	6 years ago
179	added 2 seconds to each timeout to avoid calling our eengine... added 2 seconds to each timeout to avoid calling our eengine with timeout 0	Jiri Srba	6 years ago
178	one more fix for sequential processing one more fix for sequential processing	Jiri Srba	6 years ago
177	updated the timeouts and trapping signals updated the timeouts and trapping signals	Jiri Srba	6 years ago
176	updated competition scripts to kill all processes when recei... updated competition scripts to kill all processes when received termination signal	Jiri Srba	6 years ago
175	updated the script for competition to run 100+100+200 updated the script for competition to run 100+100+200	Jiri Srba	6 years ago
174	merged in branch lp:~verifypn-stub/verifypn/structural-reduc... merged in branch lp:~verifypn-stub/verifypn/structural-reduction-statistics	Jiri Srba	6 years ago
173	merged in branch lp:~verifypn-stub/verifypn/qr-metrics merged in branch lp:~verifypn-stub/verifypn/qr-metrics	Jiri Srba	6 years ago
172	merged in lp:~verifypn-stub/verifypn/simplification_timout merged in lp:~verifypn-stub/verifypn/simplification_timout	Jiri Srba	6 years ago
171	Merged in branch lp:~verifypn-stub/verifypn/simplification_m... Merged in branch lp:~verifypn-stub/verifypn/simplification_mem	Jiri Srba	6 years ago
170	merged in branch lp:~verifypn-stub/verifypn/interesting merged in branch lp:~verifypn-stub/verifypn/interesting	Jiri Srba	6 years ago
169	updated BenchKit head updated BenchKit head	Jiri Srba	6 years ago
168	fixed compilation bugs in the merged branch lp:~tapaal-dist... fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup	Jiri Srba	6 years ago
167	merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-c... merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-cleanup	Jiri Srba	6 years ago
166	fixed mem limit options fixed mem limit options	Jiri Srba	6 years ago

Older »