summaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-11-06 17:57:58 +0000
committerAlasdair Armstrong2018-11-06 18:04:02 +0000
commit18c49a76854408d7c2cea74eeb07fd312a5927aa (patch)
tree8a847ae3c597c120b6386c33aa2cd55e2c986d0e /editors
parente8f8f3e65c9cb541712cec3c38de80f78d8fdedb (diff)
Fix bug with loop indices not being mapped to int64 in C
This should fix the issue in cheri128 Also introduce a feature to more easily debug the C backend: sail -dfunction Name will pretty-print the ANF and IR representation of just the Name function. I want to make this work for the type-checker as well, but it's a bit hard to get that to not fire during re-writing passes right now.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions