←back to thread

The world has a running Rational R1000/400 computer again (2019)

(datamuseum.dk)
53 points MaxLeiter | 1 comments | 07 Sep 25 02:46 UTC | HN request time: 0.199s | source
Show context
shrubble ◴[07 Sep 25 20:08 UTC] No.45161682[source]▶
I’d be curious if this was similar to the Western Digital Pascal chips: https://en.wikipedia.org/wiki/Pascal_MicroEngine

Supposedly the first verification of the first Ada compiler was done on a system made with the Pascal MicroEngine.

replies(1): >>45162189 #
1. MaxLeiter ◴[07 Sep 25 21:11 UTC] No.45162189[source]▶
It doesn’t answer your question but I came across this yesterday doing some research on the R1000 (which is why I came across the OP). You might find it interesting:

Ada Compiler Validation Summary Report: Rational Environment

https://apps.dtic.mil/sti/tr/pdf/ADA157830.pdf