Iavor S. Diatchki comments

Results 42 comments of


                                            Iavor S. Diatchki

Add BangPatterns

I also think that there is a significant difference between the bang patterns on function arguments and the strict declarations. I think we should certainly standardize bang patterns on function...

Add record-puns

OK, I've updated it, let me know if that looks OK.

SBV->C: Support arbitrary size bit-vectors, and in general all(?) SBV types

I see, makes sense. One thing I've done when implementing this sort of thing in the past is to put the smaller bitvectors in the *most* signifiact part of the...

SBV->C: Support arbitrary size bit-vectors, and in general all(?) SBV types

@LeventErkok I am not sure how to reopen, but it would be useful to do this. The goal is not to compile AES specifically, but rather to be able to...

SBV->C: Support arbitrary size bit-vectors, and in general all(?) SBV types

@LeventErkok I started making a C library for doing this kind of stuff, it is here: https://github.com/yav/cbits I've done most of the operations for "small" bit vectors (sizes 1 to...