 Baglio Tabifata
|
5687c12bf8
change some logging
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
07d3f745f4
Add periodic saving
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
2ad4ed5d13
Increase timeout in commands and remove it from clock pulse. error out in case of write problem
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
22980f5e50
Change debug print on pulseClock
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
17797ddadc
Change structure of StateLink and change how clock is pulsed
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
149a00106d
some changes in App
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
49221dd3de
Use a name for the read/write shift and also stop in case we end up in
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
eecee0c089
Check that we end up in the correct macrostate
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
62732e493f
Fix debug string
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
7ad5273cfc
Better debug strings
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
22ff1ad5a4
Calculate outputs and correct number of states for every macrostate
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
d42c468656
try to fix inpuit detection when generating substates
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
379564fdc0
Optimize the IO guess code
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
242ee6ec83
Make pal state objects serializable
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
bcc8f4f35f
Add algorithm to find path
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
c2148fc6dd
Add some more logging
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
a3e7c14f3c
Add code to search for a path
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
7f350024b9
Add more debugs
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
a03926e8be
Add warning in case an input behaves like an output
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
a89dc7e27b
Add code that will tie in the graph search tool
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
1277a3ca17
if there are no IOs set as out
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
547ba4ab6a
Make debugs a bit more uniform
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
3f73aaaede
Update debug
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
4eef7beeaf
Change tags
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
d16881bcdb
Adding some debug
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
c748422a66
Better way to check if substates are already there
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
78917ac37f
avoid generating all substates over and over
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
f3d8706285
Add code that creates links between MS
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
d42e1ec319
Move away the code to analyze a MacroState
|
%!s(int64=4) %!d(string=hai) anos |
|
Baglio Tabifata
|
b13fcf417c
Begin to add code to generate all possible states for macro
|
%!s(int64=4) %!d(string=hai) anos |
