| 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 |
