Commit History

Author SHA1 Message Date
  Baglio Tabifata 07fee47c69 Add licence 4 years ago
  Baglio Tabifata 7355b7c303 Update documentation 4 years ago
  Baglio Tabifata e0cea8d3c8 Comment out old search-path code 4 years ago
  Baglio Tabifata 10d2f306e5 fix pal16r8 rout names 4 years ago
  Baglio Tabifata 154471e359 Change logging 4 years ago
  Baglio Tabifata a1d3d9b893 Modulate logging 4 years ago
  Baglio Tabifata 78bf1e562e Modulate logging 4 years ago
  Baglio Tabifata d7eb2816d1 Update logging 4 years ago
  Baglio Tabifata ba08686c10 Add new code to search through the graph 4 years ago
  Baglio Tabifata 8db160cae3 Update build code and recover version from POM 4 years ago
  Baglio Tabifata 22b1823a85 Update README 4 years ago
  Baglio Tabifata 4e0dcff0ff README update 4 years ago
  Baglio Tabifata 1b0fbf1563 Update README 4 years ago
  Baglio Tabifata 16b8bfa3c6 More updates to the README 4 years ago
  Baglio Tabifata abb2b2e15e Update the readme 4 years ago
  Baglio Tabifata 635d2f920d Update README and TODO 4 years ago
  Baglio Tabifata dd35bd505c Change some printed string in App 4 years ago
  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