|  Mavo | 3636b9ac0d | Added more benchmarks Former-commit-id: b6936dfb7b | 10 years ago | 
				
					
						|  Mavo | 72b09a693c | More examples Former-commit-id: e4ea9cf5dc | 10 years ago | 
				
					
						|  Mavo | 32c52d2271 | Parse PDEPs Former-commit-id: 623afd494f | 10 years ago | 
				
					
						|  Mavo | c6663ba74a | Added FDep bechmarks Former-commit-id: 885b7a9531 | 10 years ago | 
				
					
						|  Mavo | 933194c155 | Added debuglevel to benchmark script Former-commit-id: 7904066261 | 10 years ago | 
				
					
						|  Mavo | efdd9f25ae | Changed expected result Former-commit-id: 0fb88af944 | 10 years ago | 
				
					
						|  Mavo | ed6d299d46 | Benchmark script for DFTs Former-commit-id: 574c46528e | 10 years ago | 
				
					
						|  Mavo | 0775bdf549 | Disabled some debug output Former-commit-id: 31ae65f255 | 10 years ago | 
				
					
						|  Mavo | d6b7331a5c | Fixed problem with multiple transitions to one state Former-commit-id: 2fe612028e | 10 years ago | 
				
					
						|  Mavo | 8b59a26fe0 | More dft files Former-commit-id: b1b7906604 | 10 years ago | 
				
					
						|  Mavo | e024f314eb | Added dft examples Former-commit-id: 43e43c3846 | 10 years ago |