Q: Any experiences for Ada 95 to C converters?

General
1

My project to convert a software program into Ada95 is due for completion on Oct. 16, 2024.

A confidential, certified test harness is due by about Oct. 23, 2024: 350 loc for several test routines are yet to be translated with ETA within 8-hours or about 1-minute per source loc.

There are no viable Ada to VHDL transliterators.

Therefore the default, sacreligious approach is to convert the Ada 95 code into C code. There are various established venues for this, hence the subject line topic question.

Once the code is in C then Xilinx HLS tools can process it to model ASIC/FPGA parts.

A 2000-word academic conference paper (not aimed for Sig Ada) is completed to chart the project progress in detail up to the C conversion. This volunteer forum is mentioned as a matter of fact.

If replying here, I may not respond immediately as some writers may be muted.

For private emails, please use M8VL4@yahoo.com.

2

I think AdaCore might now have a compiler that targets C (via LLVM I think). This is meant for embedded targets I believe, but maybe it would work for you. It was mentioned briefly at a recent event for customers, so maybe you could talk to them.

1 Like
4

He meant the LLVM compiler infrastructure, see GitHub - AdaCore/gnat-llvm: LLVM based GNAT compiler

1 Like
6

LLVM is a UIUC project initially. One of the lead developer went to Apple afterwards.

8

I regret I cannot elaborate for fear my account will be terminated here for being off-topic.
Hence I deleted my last two posts on the topic of the subject line, for which I remain eager to read on-topic answers.

9

Is this different than AdaCore’s Common Code Generator (CCG) which is a SPARK-> C convertor?