Overview should mention that the target is standard C (ClightTSO)

microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

Other

137 stars 19 forks source link

Overview should mention that the target is standard C (ClightTSO) #2

Closed MaxBarraclough closed 4 years ago

MaxBarraclough commented 4 years ago

I suggest that the Overview section of the README.md should mention that Armada targets standard C (specifically the ClightTSO subset). At first I got the impression Armada was less ambitious than it really is.

(I heard of Armada through this HackerNews thread.)

jaylorch commented 4 years ago

Good suggestion, thanks! I'll fix that.