Hi Fujii, On Sat, Aug 19, 2017 at 2:32 PM, Fujii Ken-ichi <fujiik...@gmail.com> wrote: > I am building embedded drivers for RX110 series. > It is still on the way, but since the bit manipulation functions for that has > been completed, it will be released. > > https://github.com/fujiik102/ats-rx-drivers
It's great work for me! > Bit.sats in the above describes bit manipulation functions and the > definitions necessary for them. > Bit.dats and BitInt.hats describe the implementation of the implementations > and propositions of the functions (BitInt.hats is included from Bit.dats). > > Pin.sats and Pin.dats are defining and implementing general-purpose I / O > drivers for pins, but they are still in the middle. Over future of your library, what invariant on hardware register can we capture? For example: * Enforce that code doesn't read and use uncertain bit * Enforce that code doesn't start DMA without setup of buffer Best regards, -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dn_yDzpp%3Dt7evu75V0Bn5ooqYfrVtK-3xOUx7v9jG_R2g%40mail.gmail.com.
