Time |
Nick |
Message |
00:06 |
|
mwn3d_phone1 joined #rosettacode |
01:40 |
|
mwn3d_phone joined #rosettacode |
02:25 |
|
mwn3d_phone1 joined #rosettacode |
02:48 |
|
mwn3d_phone joined #rosettacode |
03:11 |
|
kpreid joined #rosettacode |
06:24 |
|
GlitchMr joined #rosettacode |
06:47 |
|
mwn3d_phone joined #rosettacode |
08:49 |
|
mischi joined #rosettacode |
12:35 |
|
GlitchMr joined #rosettacode |
14:44 |
|
trn joined #rosettacode |
15:25 |
|
kpreid joined #rosettacode |
15:28 |
|
BenBE joined #rosettacode |
15:28 |
|
BenBE joined #rosettacode |
15:34 |
|
BenBE joined #rosettacode |
15:34 |
|
BenBE joined #rosettacode |
16:04 |
mikemol |
mwn3d_phone: Some time ago, you described using a grid to show all possible states of a stateful program as a means of ensuring all state change paths were accomodated in code. What was the name of that technique? |
16:04 |
mwn3d_phone |
I did that? |
16:07 |
mwn3d_phone |
I found this which has a description of a state reduction algorithm I used in college: http://bit.ly/SuTcYq |
16:07 |
fedaykin |
"bitly | Page Not Found | 404" |
16:08 |
* opticron |
hits fedaykin |
16:08 |
mwn3d_phone |
Its a pdf |
16:08 |
opticron |
that's not the issue |
16:08 |
mwn3d_phone |
Heh ok |
16:08 |
opticron |
fedaykin, has problems with bit.ly |
16:08 |
fedaykin |
"bitly | ♥ your bitmarks" |
16:08 |
opticron |
following redirects from bitly, anyway |
16:08 |
mwn3d_phone |
In any case the algorithm starts being described on page 3/slide 6 |
16:10 |
mwn3d_phone |
I don't think it has a name |
16:11 |
mwn3d_phone |
Re-reading...that might not be what you want anyway |
16:11 |
mwn3d_phone |
But its cool to see :p |
16:18 |
mikemol |
Ah |
16:18 |
mikemol |
K maps |
16:18 |
mikemol |
That's what I was trying to remember |
16:19 |
opticron |
oh, karnough |
16:19 |
opticron |
I've only ever used those for logic simplification |
16:21 |
opticron |
*karnaugh |
16:23 |
mwn3d_phone |
Yeah me too |
16:23 |
mwn3d_phone |
And data hazard detection |
16:51 |
|
3JTAAAHLF joined #rosettacode |
16:55 |
|
mwn3d_phone1 joined #rosettacode |
17:16 |
|
mwn3d_phone joined #rosettacode |
17:30 |
|
mwn3d_phone joined #rosettacode |
17:53 |
|
mwn3d_phone1 joined #rosettacode |
19:01 |
|
mwn3d_phone joined #rosettacode |
20:37 |
|
mikemol joined #rosettacode |
20:42 |
|
lambdabot joined #rosettacode |
20:44 |
|
sivoais joined #rosettacode |
20:45 |
|
sirdancealot8 joined #rosettacode |
20:47 |
|
mikemol joined #rosettacode |
20:47 |
|
fedaykin joined #rosettacode |
20:49 |
|
BenBE joined #rosettacode |
20:49 |
|
BenBE joined #rosettacode |
22:09 |
|
mwn3d_phone1 joined #rosettacode |
22:53 |
|
FireFly joined #rosettacode |
23:10 |
|
BenBE joined #rosettacode |
23:10 |
|
BenBE joined #rosettacode |
23:13 |
|
mischi joined #rosettacode |