~verifydtapn-contributers/verifydtapn/d3.4 : changes

~verifydtapn-contributers/verifydtapn/d3.4 » Changes from revision 341

From Revision 341 to 322

Rev	Summary	Authors	Date
341	increased version number to 3.4.1 increased version number to 3.4.1	Jiri Srba	3 years ago
340	merged in lp:~verifydtapn-contributers/verifydtapn/af-games ... merged in lp:~verifydtapn-contributers/verifydtapn/af-games fixing a problem in control AF verification	Jiri Srba	3 years ago
339	merged in lp:~verifydtapn-contributers/verifydtapn/cmake tha... merged in lp:~verifydtapn-contributers/verifydtapn/cmake that uses cmake, adds AF games, code cleanup	Jiri Srba	3 years ago
338	changed version number to 3.3.0 changed version number to 3.3.0	Jiri Srba	6 years ago
337	merged in branch lp:~verifydtapn-contributers/verifydtapn/pa... merged in branch lp:~verifydtapn-contributers/verifydtapn/partial-order Adds zero-time partial order reduction to the engine. Adds support for timed-safety-games to the engine. Also refactores all around for improved performance. New successor-generator, used by all engines.	Jiri Srba	6 years ago
336	changed version number to 3.2.1 changed version number to 3.2.1	Jiri Srba	6 years ago
335	merged in branch lp:~verifydtapn-contributers/verifydtapn/wi... merged in branch lp:~verifydtapn-contributers/verifydtapn/win-compile allowing to cross compile to windows (min mac version is 10.9)	Jiri Srba	6 years ago
334	changed version number to 3.2 (PTrie in workflow analysis) changed version number to 3.2 (PTrie in workflow analysis)	Jiri Srba	8 years ago
333	merged in a big branch implementing PTrie for workflow analy... merged in a big branch implementing PTrie for workflow analysis	Jiri Srba	8 years ago
332	merged branch fixing trace issues with time darts (delay for... merged branch fixing trace issues with time darts (delay forever ending)	Jiri Srba	8 years ago
331	a new switch is added to report the maximum bounds for place... a new switch is added to report the maximum bounds for places	Jiri Srba	8 years ago
330	merged a fix for warning for refactoring workflow merged a fix for warning for refactoring workflow	Jiri Srba	8 years ago
329	refactoring of the code for workflow analysis refactoring of the code for workflow analysis	Jiri Srba	8 years ago
328	merged in branch fixing memory leaks merged in branch fixing memory leaks	Jiri Srba	8 years ago
327	merged in branch refactoring the use of PTrie merged in branch refactoring the use of PTrie	Jiri Srba	8 years ago
326	changed version number to 3.1.3 changed version number to 3.1.3	Jiri Srba	8 years ago
325	merges a branch fixing the size of strong soudndness checkin... merges a branch fixing the size of strong soudndness checking constant to long long	Jiri Srba	8 years ago
324	updated makefiles for OSX for compatibility from MAC OSX 10.... updated makefiles for OSX for compatibility from MAC OSX 10.9 and up; README updated	Jiri Srba	8 years ago
323	updated makefiles for mac os x updated makefiles for mac os x	Jiri Srba	9 years ago
322	increased version number to 3.1.2 increased version number to 3.1.2	Jiri Srba	9 years ago

Older »