You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 931bbbb0b1

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '931bbbb0b1'

${ noResults }

prism-accumulation/prism/src/automata

History

Chris Novakovic a712065d9a Makefile: replace hardcoded directory names with PRISM_*_DIR Replace remaining instances of the following hardcoded directory names in makefiles with their variable equivalents: src -> PRISM_SRC_DIR classes -> PRISM_CLASSES_DIR obj -> PRISM_OBJ_DIR lib -> PRISM_LIB_DIR include -> PRISM_INCLUDE_DIR images -> PRISM_IMAGES_DIR dtds -> PRISM_DTDS_DIR		7 years ago
..
DA.java	automata.DA: allow incrementally adding states	9 years ago
DASimplifyAcceptance.java	Refactor explicit SCC computation, splitting SCCConsumer from SCCComputer.	9 years ago
HOAF2DA.java	HOAF2DA.labelExpressionToAPMonom: fix missing return in switch statement (for FALSE)	8 years ago
LTL2DA.java	LTL2DA: prepare for optionally using LTL2WDBA construction for the obligation fragment of LTL	9 years ago
LTL2NBA.java	LTL2NBA: cleanup and activate LTL formula simplification	10 years ago
LTL2RabinLibrary.java	Add LTL2RabinLibrary.getDAforLTL, now supports generation of DA with Streett and generic acceptance from the library	10 years ago
LTL2WDBA.java	Refactor explicit SCC computation, splitting SCCConsumer from SCCComputer.	9 years ago
LTSFromDA.java	explicit DOT export: support decorators	9 years ago
Makefile	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago