AbsInt / CompCert

The CompCert formally-verified C compiler
https://compcert.org
Other
1.88k stars 228 forks source link

seqw etc. #480

Closed monniaux closed 1 year ago

monniaux commented 1 year ago

On dirait que les instructions seql etc sont expansées dans Asmexpand et dites "émulées"; on ne peut pas les imprimer. Pourtant elles sont dans la norme RISC-V. S'agirait-il d'une histoire de plusieurs versions de la norme ?

monniaux commented 1 year ago

Error wrong repository.