Tree: a790a7c3ec

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'a790a7c3ec'

${ noResults }

Commit Graph

4 Commits (a790a7c3eccac0be30b4758070951f6b4e638e25)

Author	SHA1	Message	Date
gereon	c2669ccec4	"Creating" DeterministicModelParser this new parser is actually the old DtmcParser. It can now also create Ctmc models...	13 years ago
PBerger	f983317b54	Renaming MRMC to STORM, see #42 Markt und Straßen stehn verlassen, still erleuchtet jedes Haus, Sinnend' geh ich durch die Gassen, alles sieht so festlich aus. An den Fenstern haben Frauen buntes Spielzeug fromm geschmückt, Tausend Kindlein stehn und schauen, sind so wunderstill beglückt. Und ich wandre aus den Mauern Bis hinaus ins freie Feld, Hehres Glänzen, heil'ges Schauern! Wie so weit und still die Welt! Sterne hoch die Kreise schlingen, Aus des Schnees Einsamkeit Steigt's wie wunderbares Singen- O du gnadenreiche Zeit! Merry Christmas commit ;)	13 years ago
Lanchid	afb0373358	Added DtmcParser class that parses a whole DTMC, making use of the labeling and transitions parser. Removed the parseDtmc function from IoUtility, as it became obsolete with the DtmcParser class, fitted test cases accordingly.	13 years ago