 Baglio Tabifata
|
22b1823a85
Update README
|
hace 4 años |
|
Baglio Tabifata
|
4e0dcff0ff
README update
|
hace 4 años |
|
Baglio Tabifata
|
1b0fbf1563
Update README
|
hace 4 años |
|
Baglio Tabifata
|
16b8bfa3c6
More updates to the README
|
hace 4 años |
|
Baglio Tabifata
|
abb2b2e15e
Update the readme
|
hace 4 años |
|
Baglio Tabifata
|
635d2f920d
Update README and TODO
|
hace 4 años |
|
Baglio Tabifata
|
dd35bd505c
Change some printed string in App
|
hace 4 años |
|
Baglio Tabifata
|
eceafb5859
Change the command line format
|
hace 4 años |
|
Baglio Tabifata
|
fb15895693
Bump version and cleanup how response commands are detected
|
hace 4 años |
|
Baglio Tabifata
|
e54e22f7dd
Make reading responses from the DuPAL more robust and reduce the latency
|
hace 4 años |
|
Baglio Tabifata
|
dce153a56c
Add a TODO
|
hace 4 años |
|
Baglio Tabifata
|
e308114431
Increase sleep a bit between read retries
|
hace 4 años |
|
Baglio Tabifata
|
62389dd21f
Optimize path searching a bit, avoiding visiting multiple times the same macrostate to search for a path
|
hace 4 años |
|
Baglio Tabifata
|
639f4f5b9d
state link stack size is wrongly checked twice if no link is found
|
hace 4 años |
|
Baglio Tabifata
|
756495e5bd
Avoid reading and parsing output pins while generating a substate if there are no output pins to read
|
hace 4 años |
|
Baglio Tabifata
|
95f97f14a4
Change error system introducing exceptions
|
hace 4 años |
|
Baglio Tabifata
|
23ba884180
Notify the user of the correct number of outputs in case we detect a different combination
|
hace 4 años |
|
Baglio Tabifata
|
47e2134674
Donot set lastUnexploredMS at 0, it's a valid index and could point to an unexplored state
|
hace 4 años |
|
Baglio Tabifata
|
8acc5ef5c4
Update jssc dependency
|
hace 4 años |
|
Baglio Tabifata
|
e9297d021a
Add a way to build with dependencies
|
hace 4 años |
|
Baglio Tabifata
|
3a8d4d60c6
Add README
|
hace 4 años |
|
Baglio Tabifata
|
57a9f2b57a
Optimize macrostate analisys
|
hace 4 años |
|
Baglio Tabifata
|
c8347d03c0
Update gitignore and pom
|
hace 4 años |
|
Baglio Tabifata
|
5708cf1c58
fix launch.json
|
hace 4 años |
|
Baglio Tabifata
|
7285306f42
Transform the project into a maven project
|
hace 4 años |
|
Baglio Tabifata
|
2d7dc7a663
Print a single table
|
hace 4 años |
|
Baglio Tabifata
|
2947fda412
Print state structure to file
|
hace 4 años |
|
Baglio Tabifata
|
b375bb6400
Add phase output to the tables
|
hace 4 años |
|
Baglio Tabifata
|
73b79b96fd
Fix jvm path
|
hace 4 años |
|
Baglio Tabifata
|
11d443f7eb
fix reg outputs table formatting
|
hace 4 años |
