| Title: | Languages |
| Notice: | Speaking In Tongues |
| Moderator: | TLE::TOKLAS::FELDMAN |
| Created: | Sat Jan 25 1986 |
| Last Modified: | Wed May 21 1997 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 394 |
| Total number of notes: | 2683 |
This is the figure we are quoting at DECUS for how much of the 1.4 Ada validation suite our compiler HAS BEEN SEEN to compile. We haven't done a complete run of the validation suite in the last few days and it will take a while to get a single compiler that does that well... ROLM = DG validated again recently (the one-year-certificate ran out). They did so on 1.3, because that is what they certified against. Latest rules say that you must validate on the CURRENT version (ie 1.4 at present), but this policy wasn't firmly in place when ROLM certified. No idea how NYU-Ada/ED is getting on - it must be due for revalidation. 1.4 is definitely a lot harder than 1.3, but it still has a wide range of glaring holes. My personal guess is the validation suite checks 75% of the language with any degree of thoroughness, and will need to triple in size at least to get good total coverage. Just type conversions alone should account for 200 tests, instead of the current handful. /Bevin
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 20.1 | ORPHAN::BRETT | Wed Jul 04 1984 00:22 | 14 | ||
Getting there - only a couple of tests to go. Rumoured around Brussels last week was that DEC was about to certify... Also rumours of two other implementations, one from DDG in Europe and one here by Verdix (or some such), about to certify in the next month. The race is on. Ganapathi told me at Sigplan that several bay-area companies would be coming out with Ganapathi-Fischer or similar retargetable compilers by the end of the year - didn't say what languages. Still no news of NYU certifying. /Bevin | |||||