Alexander Bork
|
948485c226
|
Reworked lower bound computation
|
7 years ago |
|
Alexander Bork
|
eeccb2092a
|
Added variables for trigger and resolution timepoints of dependencies
|
7 years ago |
|
Alexander Bork
|
9b152e4940
|
Added variables vor trigger and resolution timepoints of dependencies
|
7 years ago |
|
Alexander Bork
|
c4ba7554fd
|
Added upper bound correction
|
7 years ago |
|
Alexander Bork
|
0baccee440
|
Added correction of constraint for non-Markovian states
and better lower bound computation
|
7 years ago |
|
Alexander Bork
|
f16b488590
|
Added conservative lower bound correction
|
7 years ago |
|
Alexander Bork
|
a669c69fc9
|
Added tests for SMT encoding
|
7 years ago |
|
Alexander Bork
|
aff9d21811
|
Easier fix for bound computation using SMT encoding
|
7 years ago |
|
Alexander Bork
|
5d5487140f
|
Fixed bound calculation for SMT encoding
|
7 years ago |
|
Alexander Bork
|
d06cf59eba
|
Added SMT function to calculate lower bound for number of DFT failures needed for failure of TLE
|
7 years ago |
|
Alexander Bork
|
1976a41298
|
Reworked solver integration
|
7 years ago |
|
Alexander Bork
|
4507b484d5
|
Re-added option to export DFTs to smtlib2 SMT files
|
7 years ago |
|
Alexander Bork
|
29b0c4a78f
|
First version of SMT solver integration for DFT analysis
|
7 years ago |
|
Alexander Bork
|
fc9befbe9e
|
Added toExpression functions for SMT constraints
|
7 years ago |
|
Alexander Bork
|
7cab3985c0
|
Added basis for SMT solver integration
|
7 years ago |
|
Alexander Bork
|
33b6ba6d8f
|
Refactoring of constraint generation
|
7 years ago |
Matthias Volk
|
b4748064ac
|
Warning about default dormancy factor of 1 as pointed out by Enno Ruijters
|
7 years ago |
|
Matthias Volk
|
15bcb8afb6
|
Output line number for GalileoParser errors
|
7 years ago |
|
Alexander Bork
|
d31fae859f
|
Added error handling of gates with restricton as child and changed order of topoSort and rank computation to ensure that rank is only computed for acyclic DFTs
|
7 years ago |
|
Matthias Volk
|
04164d8b02
|
Fixed crucial typo in symmetry ordering
|
7 years ago |
|
Matthias Volk
|
32f757e4b4
|
Fixed json export for FDEPs
|
7 years ago |
|
Matthias Volk
|
ef09fab716
|
Better check if element name is already used
|
7 years ago |
|
Matthias Volk
|
7abf0c2a8f
|
Update failable dependencies if trigger was set to dont care
|
7 years ago |
|
Matthias Volk
|
98b628b269
|
Moved failableBE/Dependencies to own struct
|
7 years ago |
|
Matthias Volk
|
53fa42f279
|
Ensure failable dependencies are only added once
|
7 years ago |
|
Matthias Volk
|
1fcc375608
|
BE can no longer fail after triggered failure
|
7 years ago |
|
Matthias Volk
|
fb1ea21f9c
|
Added assertions to exclude self-loops in DFT state generation
|
7 years ago |
|
Matthias Volk
|
97b14e35d5
|
Small renaming
|
7 years ago |
|
Matthias Volk
|
a302ec9cfc
|
Fix in BucketPriorityQueue
|
7 years ago |
|
Matthias Volk
|
d062e658e0
|
Output progress for DFT exploration
|
7 years ago |
|
Matthias Volk
|
1d683acbde
|
Added assertion
|
7 years ago |
|
Matthias Volk
|
1140d96ba5
|
Added well-formedness check for DFTs
|
7 years ago |
|
Matthias Volk
|
9376de26c9
|
Fixed typo
|
7 years ago |
|
Matthias Volk
|
7d9cea09c0
|
Model Erlang distribution by BEs for each phase and SEQ gate
|
7 years ago |
|
Matthias Volk
|
7adab86f8e
|
Extended Galileo parser to throw exception for inspections
|
7 years ago |
|
Matthias Volk
|
9cb53298fa
|
Extended Galileo parser to support parsing of Erlang distributions
|
7 years ago |
|
Matthias Volk
|
45cb2b4118
|
Better debug message in JsonParser
|
7 years ago |
|
Matthias Volk
|
f6faf9e3a5
|
Flag for printing information about model generated from DFT
|
7 years ago |
|
Matthias Volk
|
43d1a7d2e9
|
Added checks for well-formedness of DFT
|
7 years ago |
|
Matthias Volk
|
c7d2db4260
|
Updated extendSpareModule()
|
7 years ago |
|
Matthias Volk
|
5c13fe624f
|
Fixed JSON parser
|
7 years ago |
|
Matthias Volk
|
d9d29eeea4
|
More detailed DFT statistics
|
7 years ago |
|
Matthias Volk
|
909c035c52
|
Dot export can insert linebreaks between labels
|
7 years ago |
|
Matthias Volk
|
9656d2c253
|
Supporting export of generated Markov chain from DFT
|
7 years ago |
|
Matthias Volk
|
b5f37cb8eb
|
Fixed json export for pdep
|
7 years ago |
|
Matthias Volk
|
6444bc7c5e
|
Better error message
|
7 years ago |
|
Matthias Volk
|
7697254635
|
Fixed computation of dormancy factor for lambda=0
|
7 years ago |
|
Matthias Volk
|
463f873c04
|
Fixed json export for restrictions and dependencies
|
7 years ago |
|
Matthias Volk
|
9ef0c07db5
|
Removed unused variable
|
7 years ago |
|
Matthias Volk
|
6fcebed10e
|
More robust handling of BE arguments in Galileo format
|
7 years ago |
