On Wed, Jun 12, 2019, at 9:15 AM, Al Kossow via cctalk wrote: > is there anything in > http://bitsavers.org/bits/ATT/SysV_r3.0_SV_Ver_Suite_Source_Tape_1987 ? Wow wow wow, thanks for pointing this out (and for dumping the tape) Al. That's a great find, I wasn't aware it was on BitSavers! I will definitely dig around in here. Moreover, I'll try to get it compiled on the 3B2 emulator in its entirety so I can attempt to pass verification. I say this a bit naively -- I don't know how much of SVVS is supposed to verify hardware directly, if at all. -Seth -- Seth Morabito Poulsbo, WA w...@loomcom.com
- In search of an ancient IEEE-754 floating poin... Seth Morabito via cctalk
- Re: In search of an ancient IEEE-754 floa... emanuel stiebler via cctalk
- Re: In search of an ancient IEEE-754 ... Tor Arntsen via cctalk
- Re: In search of an ancient IEEE-754 floa... Al Kossow via cctalk
- Re: In search of an ancient IEEE-754 ... Seth Morabito via cctalk
- Re: In search of an ancient IEEE-... Seth Morabito via cctalk
- Re: In search of an ancient IEEE-754 floa... Phil Budne via cctalk
- Re: In search of an ancient IEEE-754 ... Seth Morabito via cctalk
- Re: In search of an ancient IEEE-754 ... Warner Losh via cctalk