| .. |
|
and.dft
|
Added dft examples
|
10 years ago |
|
and_param.dft
|
Added dft examples
|
10 years ago |
|
be_nonfail.dft
|
Support for pdeps with more than one child
|
10 years ago |
|
cardiac.dft
|
Added FDep bechmarks
|
10 years ago |
|
cas.dft
|
Added FDep bechmarks
|
10 years ago |
|
cm2.dft
|
More dft files
|
10 years ago |
|
cm4.dft
|
More dft files
|
10 years ago |
|
cps.dft
|
More dft files
|
10 years ago |
|
deathegg.dft
|
Added FDep bechmarks
|
10 years ago |
|
fdep.dft
|
Added FDep bechmarks
|
10 years ago |
|
fdep2.dft
|
More examples
|
10 years ago |
|
fdep3.dft
|
MA to CTMC for trivial nondeterminism
|
10 years ago |
|
ftpp_complex.dft
|
Added FDep bechmarks
|
10 years ago |
|
ftpp_large.dft
|
Added FDep bechmarks
|
10 years ago |
|
ftpp_standard.dft
|
Added FDep bechmarks
|
10 years ago |
|
mcs.dft
|
Construct state from bit vector
|
10 years ago |
|
mdcs.dft
|
More dft files
|
10 years ago |
|
mdcs2.dft
|
More dft files
|
10 years ago |
|
mp.dft
|
More dft files
|
10 years ago |
|
nonmonoton_param.dft
|
Some more parametric DFT examples
|
10 years ago |
|
or.dft
|
Added dft examples
|
10 years ago |
|
pand.dft
|
Added dft examples
|
10 years ago |
|
pand_param.dft
|
Fixed problem with multiple transitions to one state
|
10 years ago |
|
pdep.dft
|
Parse PDEPs
|
10 years ago |
|
pdep2.dft
|
Added more benchmarks
|
10 years ago |
|
pdep3.dft
|
Fixed problems with pdeps
|
10 years ago |
|
pdep4.dft
|
Support for pdeps with more than one child
|
10 years ago |
|
pdep_symmetry.dft
|
Set dependencies to dont care after dependent event has failed
|
10 years ago |
|
por.dft
|
Support for pdeps with more than one child
|
10 years ago |
|
seq.dft
|
Cleaned examples
|
10 years ago |
|
seq2.dft
|
seq examples
|
10 years ago |
|
seq3.dft
|
seq examples
|
10 years ago |
|
seq4.dft
|
Cleaned examples
|
10 years ago |
|
seq5.dft
|
Cleaned examples
|
10 years ago |
|
spare.dft
|
Added dft examples
|
10 years ago |
|
spare2.dft
|
Added dft examples
|
10 years ago |
|
spare3.dft
|
Added dft examples
|
10 years ago |
|
spare4.dft
|
Added dft examples
|
10 years ago |
|
spare5.dft
|
Changed expected result
|
10 years ago |
|
spare6.dft
|
Benchmark script for DFTs
|
10 years ago |
|
spare7.dft
|
Added debuglevel to benchmark script
|
10 years ago |
|
spare8.dft
|
Fixed activation of spares
|
10 years ago |
|
spare_cold.dft
|
two more small examples
|
10 years ago |
|
spare_param.dft
|
Some more parametric DFT examples
|
10 years ago |
|
spare_symmetry.dft
|
UsageIndex is number of used child now
|
10 years ago |
|
symmetry.dft
|
Added more benchmarks
|
10 years ago |
|
symmetry2.dft
|
Added more benchmarks
|
10 years ago |
|
symmetry3.dft
|
Symmetry mirrored in state vector
|
10 years ago |
|
symmetry4.dft
|
Symmetry mirrored in state vector
|
10 years ago |
|
symmetry5.dft
|
Order symmetries in decreasing order
|
10 years ago |
|
symmetry_param.dft
|
Some more parametric DFT examples
|
10 years ago |
|
symmetry_shared.dft
|
First version of symmetry for shared spares. Still some problems in contrast to Dortmund which had absolutely no problems with Tottenham.
|
10 years ago |
|
tripple_and1.dft
|
Added dft examples
|
10 years ago |
|
tripple_and2.dft
|
Benchmark script for DFTs
|
10 years ago |
|
tripple_and2_c.dft
|
More dft files
|
10 years ago |
|
tripple_and_c.dft
|
More dft files
|
10 years ago |
|
tripple_or.dft
|
More dft files
|
10 years ago |
|
tripple_or2.dft
|
More dft files
|
10 years ago |
|
tripple_or2_c.dft
|
More dft files
|
10 years ago |
|
tripple_or_c.dft
|
More dft files
|
10 years ago |
|
tripple_pand.dft
|
Fixed problem with multiple transitions to one state
|
10 years ago |
|
tripple_pand2.dft
|
Fixed problem with multiple transitions to one state
|
10 years ago |
|
tripple_pand2_c.dft
|
Fixed problem with multiple transitions to one state
|
10 years ago |
|
tripple_pand_c.dft
|
Fixed problem with multiple transitions to one state
|
10 years ago |
|
voting.dft
|
Disabled some debug output
|
10 years ago |
|
voting2.dft
|
More dft files
|
10 years ago |
sjunges
afbc4aff2a