Tree: 2ce145745a

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '2ce145745a'

${ noResults }

Commit Graph

5 Commits (2ce145745a3c20c5493ee06db9876eb33936d57e)

Author	SHA1	Message	Date
Matthias Volk	6672009cd1	Layouting for GSPN	10 years ago
Sebastian Junges	92584d577f	initial support for seq in dft->gspn	10 years ago
Sebastian Junges	18383f5220	several fixes in dft->gspn->jani code path: Most notably, mas are closed, successor nodes failed places keep intact and tb property is added	10 years ago
Sebastian Junges	b9e46cf8c1	gspn transformation related changes	10 years ago
Sebastian Junges	d4f7088cfd	updates to dft->gspn	10 years ago
sjunges	297f3ff480	some cleaning and minor additions to dft->gspn translation	10 years ago
Sebastian Junges	faee1dfeee	updated dft->gspn translation to now have basis support for spares	10 years ago