Eli: Translator Construction Made Easy Specifications

Brought to you by: asloane, profw, uwekastens

Commit [cdc0fc] Maximize Restore History

Remove obsolete specifications

CLP, DAPTO, and perr are now generated locally when the Eli system
is built. The specifications are unchanged, and can be found
Eli/pkg/clp, Eli/pkg/dapto, and Eli/pkg/parser/perr.fw.

The Cola tool has been withdrawn. There were maintenance issues, and
the tool was deemed to be redundant in view of the availability of
identical capability in PGS.

Authored by: William M Waite 2025-08-29

Browse code at this revision

Parent: [114822]

Child: [ee7cb1]

<< < 1 2 3 4 .. 8 > >> (Page 2 of 8)

removed	cola/frontend/inputs/allprops
removed	cola/frontend/inputs/allprops.cmr
removed	cola/frontend/inputs/allprops.cmr.fmt
removed	cola/frontend/inputs/chain1
removed	cola/frontend/inputs/chain1.cmr
removed	cola/frontend/inputs/chain1.cmr.fmt
removed	cola/frontend/inputs/chain2
removed	cola/frontend/inputs/chain2.cmr
removed	cola/frontend/inputs/chain2.cmr.fmt
removed	cola/frontend/inputs/chain3.1
removed	cola/frontend/inputs/chain3.1.cmr
removed	cola/frontend/inputs/chain3.1.cmr.fmt
removed	cola/frontend/inputs/chain3.2
removed	cola/frontend/inputs/chain3.2.cmr
removed	cola/frontend/inputs/chain3.2.cmr.fmt
removed	cola/frontend/inputs/chain3.3
removed	cola/frontend/inputs/chain3.3.cmr
removed	cola/frontend/inputs/chain3.3.cmr.fmt
removed	cola/frontend/inputs/chain3.4
removed	cola/frontend/inputs/chain3.4.cmr
removed	cola/frontend/inputs/chain3.4.cmr.fmt
removed	cola/frontend/inputs/chain3.5
removed	cola/frontend/inputs/chain3.5.cmr
removed	cola/frontend/inputs/chain3.5.cmr.fmt
removed	cola/frontend/inputs/chain3.6