GitHub PushEvent at 2014-09-16 02:10:43
Repository: smaccmpilot-stm32f4
Actor: jameysharp
Payload: {"shas":[["fa028f0779b9f27f24a78ce36f2c790bcdbac73f","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bxCAN register definition and initialization code.","Jamey Sharp",false],["33b0ad715fbe5081b16942237da6dc2a2a4c6ef9","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Group bxCAN transmit registers at the Haskell level.\n\nThis allows metaprogramming that abstracts over which transmit mailbox\nto use.","Jamey Sharp",false],["9a1c6482e35f4b6ab0310ec6abaf482e0b37bdd3","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","First cut at a transmit-only bxCAN tower task.","Jamey Sharp",false],["6f8b3a61d13a6edd7316a86f3e1cd86bc8c737ef","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Provide peripheral instances for 2 bxCAN on STM32F405.","Jamey Sharp",false],["1ad1e0e2a0def18be5c604c007f73a0e66fd17ce","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Don't forget to emit code for sendRequest.","Jamey Sharp",false],["a4e9868eddbdcfb5f52f98bda1079502d5e4492e","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bsp-can-test: New ivory-bsp demo for bxCAN.","Jamey Sharp",false],["57849e32149b4c514276644271d2dfa1bbadef76","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Let-bind mailbox_code for debugging.\n\nArranging for this value to have its own variable name in the generated\nC code means I can find it more easily in the generated source and I can\ninspect its value in the debugger.","Jamey Sharp",false],["b86c592ddd01fb0d6c756f47d4f94858935ae05e","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Bugfix: CAN data-length code is Ix 9, not Ix 8.\n\nBecause values of type (Ix n) range over [0, n-1].","Jamey Sharp",false],["322c5e4a9eb0125f357ea0efa4786b3a328a58ff","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bxCAN: Leave sleep mode at start of initialization.\n\nI can't tell whether this matters, but it seems reasonable and doesn't\nseem to make my problems any worse.","Jamey Sharp",false],["5e78df3cf8c1556c6ac04b32a3e4ea9ee53fe507","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bxCAN: Don't wait for the peripheral to finish init.\n\nOnce we've programmed the registers we can start enqueuing messages to\ntransmit immediately. They won't actually go out until the peripheral\nfinishes initializing, but they'll go out eventually.","Jamey Sharp",false],["e3238a076111218b67ee4357ff580a1bb8303478","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bxCAN: Enable and acknowledge TX interrupt.\n\nI turned it on at the interrupt controller but not at the peripheral.","Jamey Sharp",false],["6e3f059488b533133c15b498a1a2bb8251d84ccf","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Configure STM32 pins for the CAN alternate function.","Jamey Sharp",false],["6e5380c93ef98269a4b8507f073df727c803ed74","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Init bxCAN receive filters to accept all messages.","Jamey Sharp",false],["d6e0e5b7dc149a059c853927200e0262db85f2f8","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Group bxCAN receive registers at the Haskell level.\n\nThis allows metaprogramming that abstracts over which receive mailbox\nto use.","Jamey Sharp",false],["52baf95aa59b955cc67abdd21d8ba12ae2b9b811","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Provide API for configuring filters.\n\nBecause I'm tired of re-reading the reference manual every time I want\nto try a different filter configuration.","Jamey Sharp",false],["15068c767e6087417ef7585cc82b4216cbb10db4","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Implement CAN message receive.\n\nHowever, it doesn't actually work, and I can't tell why not yet.","Jamey Sharp",false],["930288c7020bcc948bbdcc19b14b42d81af83b47","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","bsp-can-test: Toggle an LED on any received CAN message.\n\nInitialize the filters to accept anything.","Jamey Sharp",false],["54e95a0d767458c5b577a569fdf49730680ad074","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Ensure all filters are deactivated before changing any.\n\nThis doesn't fix the problems I'm having but it does make it really\nclear that STM32F4 Reference Manual section 32.9.1 \"Register access\nprotection\" is accounted for.","Jamey Sharp",false],["dbd92eb040217ce8662fad9bcc96fe2305f0d312","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Reset any pending status interrupts at init.\n\nNot really necessary, but avoids confusion and questions if you look at\nthe CAN peripheral status register later.","Jamey Sharp",false],["02e46a82b61b97d3a28b478256a91a8fb9e7200a","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Bugfix: put CAN_FiRx16 fields in the right order.","Jamey Sharp",false]],"size":27,"ref":"refs/heads/master","head":"21d3ced99ce734d8979cb599e6702a6519ba0346"}