search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
220 stars 57 forks source link

[asl] Print ASL errors as CSV #931

Closed HadrienRenaud closed 1 month ago

HadrienRenaud commented 1 month ago

Useful for some analysis of big and very error prone code, outputting errors as CSV is a first step on the way to implement machine readable errors.

HadrienRenaud commented 1 month ago

Also @maranget the last commit (ba6b3af at the time of writing) implements a memoization on type system for the shared pseudocode.

maranget commented 1 month ago

Hi @HadrienRenaud I'll have a look. Please notice my recent PR #933 which may interact with this one.

HadrienRenaud commented 1 month ago

Oh thanks for the warning, maybe I should merge this one first then?