 Baglio Tabifata
|
e308114431
Increase sleep a bit between read retries
|
4 år sedan |
|
Baglio Tabifata
|
62389dd21f
Optimize path searching a bit, avoiding visiting multiple times the same macrostate to search for a path
|
4 år sedan |
|
Baglio Tabifata
|
639f4f5b9d
state link stack size is wrongly checked twice if no link is found
|
4 år sedan |
|
Baglio Tabifata
|
756495e5bd
Avoid reading and parsing output pins while generating a substate if there are no output pins to read
|
4 år sedan |
|
Baglio Tabifata
|
95f97f14a4
Change error system introducing exceptions
|
4 år sedan |
|
Baglio Tabifata
|
23ba884180
Notify the user of the correct number of outputs in case we detect a different combination
|
4 år sedan |
|
Baglio Tabifata
|
47e2134674
Donot set lastUnexploredMS at 0, it's a valid index and could point to an unexplored state
|
4 år sedan |
|
Baglio Tabifata
|
8acc5ef5c4
Update jssc dependency
|
4 år sedan |
|
Baglio Tabifata
|
e9297d021a
Add a way to build with dependencies
|
4 år sedan |
|
Baglio Tabifata
|
3a8d4d60c6
Add README
|
4 år sedan |
|
Baglio Tabifata
|
57a9f2b57a
Optimize macrostate analisys
|
4 år sedan |
|
Baglio Tabifata
|
c8347d03c0
Update gitignore and pom
|
4 år sedan |
|
Baglio Tabifata
|
5708cf1c58
fix launch.json
|
4 år sedan |
|
Baglio Tabifata
|
7285306f42
Transform the project into a maven project
|
4 år sedan |
|
Baglio Tabifata
|
2d7dc7a663
Print a single table
|
4 år sedan |
|
Baglio Tabifata
|
2947fda412
Print state structure to file
|
4 år sedan |
|
Baglio Tabifata
|
b375bb6400
Add phase output to the tables
|
4 år sedan |
|
Baglio Tabifata
|
73b79b96fd
Fix jvm path
|
4 år sedan |
|
Baglio Tabifata
|
11d443f7eb
fix reg outputs table formatting
|
4 år sedan |
|
Baglio Tabifata
|
2da67823aa
Comment unused code
|
4 år sedan |
|
Baglio Tabifata
|
f7dce201bf
Add print of reg outputs table with normal outputs as inputs
|
4 år sedan |
|
Baglio Tabifata
|
47735b7160
Mark some noisy debugs as trace
|
4 år sedan |
|
Baglio Tabifata
|
f73bf26643
put ".oe" in the output enable outputs
|
4 år sedan |
|
Baglio Tabifata
|
c6ad4f9e7e
Increase sleep timer again when sending commands
|
4 år sedan |
|
Baglio Tabifata
|
01fa95ae39
Set speed at 57600bps and reduce wait time for commands
|
4 år sedan |
|
Baglio Tabifata
|
e2bc6e9bf1
set new speed
|
4 år sedan |
|
Baglio Tabifata
|
d3a15265a7
Avoid printing the outputs table if there are no outputs
|
4 år sedan |
|
Baglio Tabifata
|
0d02abe279
Print unvisited macrostates
|
4 år sedan |
|
Baglio Tabifata
|
50e0368313
Add more logging and save launch.json
|
4 år sedan |
|
Baglio Tabifata
|
1db4196fe5
Fix formatting of an error
|
4 år sedan |
