Commit History

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