https://github.com/concurrency/kroc
Name Target Message Date
HEAD 4676039 Revert "Changes to get things building." This reverts commit 0455bc396cd4144a5403154b9cbfac6b1d82b5f7. 29 March 2020, 17:43:10 UTC
refs/heads/automake 4ce897f Disable the build script for now, to avoid confusion. Once I'm done with the merge I'll update the build script to do the commands it currently tells you to do by hand. 24 February 2009, 20:30:30 UTC
refs/heads/avr-atmega2560 cb0c000 Adding/modding configs. 1. Adding in a Pro 3.3V config. To be experimented with... 2. These updates to the Megas may be OK/safe. Long ago I bumped the upload addr to 0x6000, but we had a number of issues surrounding the 2560, and this may/may not bump up against something CLJ was doing. Anyway, I know we needed to upload further up in memory, so I'm committing the change, since it isn't likely to cause massive breakage. I don't think. 02 July 2011, 18:34:42 UTC
refs/heads/avr-mega 1887ccb Merging trunk into the avr-mega branch in preparation for a merge of the branch back into trunk. Most of the branch work took place in the Arduino wrapper, so this should be a minimal-impact merge for most of the tree. 15 July 2010, 18:40:25 UTC
refs/heads/avr-servo c643f82 update 17 June 2010, 23:57:51 UTC
refs/heads/avr-sleep 4b4a1e9 <avr-sleep> arduino-vm: change sleep mode for interrupt sleep and print whether the vm is a sleeping or non-sleeping build. 20 April 2011, 13:22:25 UTC
refs/heads/avr-twi 7fd6e1b Looking for comments. 1. Slowed TVM output down to 4800. Adjust 'read-arduino' accordingly. 2. Added "softserial.module," which wraps a setup PROC as well as a proc to transmit using the softserial_write FFI. 3. Added an FFI call (slammed in for the moment in an ugly place -- ffi.c) that, in theory, does a serial transmit on a pin of the user's choosing (pins 2 - 7) I also grossly bumped the location of usercode to 0x5200 for testing purposes. Specifically, the firmware grew a bit. Using testtx.occ, I transmit values over the software serial link. I connect pin 3 on the transmitter to the RX pin on another Arduino. The receiver is running testrx.occ, which is using the interrupt-based serial routines that were in ledmatrix.occ. Running at 57600, I can use the interrupt-based routines (both tx and rx) to talk to each-other. This is good. I can do the same with those slowed down. Also good. I cannot do this, though, when I use my software bitbang code. Any thoughts? Basically, I get pretty bogus values at the receiving end. They do increase linearly, but they're... wrong. Basically, the bottom half of the nibble seems to be correct, and the upper half of the nibble seems to be wrong. A bit stuck, really. We're about to ramp up on Mega support (which will give us more serial ports), but in the meantime I need a way for the students to send commands to a GPS while reading from it on the RX pin, and sending debug data back to the PC on the TX pin. Other brainstorms as to how solve that problem are welcome as well... 16 June 2010, 15:28:12 UTC
refs/heads/cgr-mp b8301db And don't commit debug code.. (removed in this commit) 08 November 2007, 20:12:58 UTC
refs/heads/chan-signal 1264518 A proposal for a SIGNAL protocol. This adds our (longish) discussion of why we believe SIGNAL should be considered for addition to the language. 18 July 2009, 20:30:03 UTC
refs/heads/distribution 9d809f5 There seems to have been some extraneous merge info on the files in this directory. This commit removes it. They have appeared during development of the arduino sources. The following show an example of where the merge info got created: https://projects.cs.kent.ac.uk/projects/kroc/trac/changeset/5949/kroc/trunk/tvm/arduino https://projects.cs.kent.ac.uk/projects/kroc/trac/changeset/5896/kroc/trunk/tvm/arduino (etc) The merge info was probably created due to the use of particular versions of svn which added merge info bits even when not strictly necessary. See: http://subversion.tigris.org/ds/viewMessage.do?dsForumId=1065&dsMessageId=2359102 http://blogs.open.collab.net/svn/2008/07/subversion-merg.html 03 February 2010, 13:34:11 UTC
refs/heads/kroc-1.5 81ffd64 Removed merge tracking for "svnmerge" for https://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk 30 November 2011, 13:18:30 UTC
refs/heads/kroc-1.5.0-pre3 0fd73c6 Removing stale moa.lbb from sources. 14 November 2007, 13:57:22 UTC
refs/heads/kroc-1.6 d975751 Build fix for ocuda examples. Don't build if no CUDA support.. 24 April 2013, 08:11:53 UTC
refs/heads/llvm a0b9fd4 Fix last commit, need to test using a regular expression for OS X in uname. 13 October 2012, 21:44:49 UTC
refs/heads/master 4676039 Revert "Changes to get things building." This reverts commit 0455bc396cd4144a5403154b9cbfac6b1d82b5f7. 29 March 2020, 17:43:10 UTC
refs/heads/mingw 86bc1dc Make bsclib build on MinGW -- mostly disabling stuff that doesn't exist. 07 December 2007, 15:51:57 UTC
refs/heads/nxt-baremetal 1894252 This now works. Mostly a bug with padding out the flash driver binary appropriately. 22 November 2010, 13:53:46 UTC
refs/heads/par-tvm 4c47449 removed unused debugging method 23 March 2012, 03:10:57 UTC
refs/heads/pioneer 8e5085a Remove or comment out various debugging printf statements. 05 November 2008, 18:05:26 UTC
refs/heads/plinker 200c53f In my desire to get the CCSP ABI changes out of trunk, I ended up putting them in the wrong branch (again). This revision should fix that. 14 April 2009, 16:28:10 UTC
refs/heads/plusminus 0780393 A very quick hack to occ21 to try to get it to support + and - as direction decorators on channel ends. It doesn't work very well, because what I've actually done is made it accept + and - as direction decorators *anywhere* -- and, as a result, occ21's completely broken parser now gets very confused by things like "x + 2". Backing out some of the changes to the frontend may result in something that works, but I'm reluctant to sink too much effort into this... 15 September 2008, 11:09:29 UTC
refs/heads/tock 8a34de8 Added a new test to cgtest85. Earlier, Tock was screwing up in the backend for something similar to this, and currently it won't type-check it. Works fine in KRoC, though. 16 April 2009, 19:47:49 UTC
refs/heads/trunk@4178 3f7f879 Merging cgr-mp branch to trunk. 12 November 2007, 17:21:18 UTC
refs/heads/tsp ec0933d Prepare a ring demo with deadlock for CPA talk. 06 September 2008, 17:17:25 UTC
refs/heads/tvm-nacl 705ac16 Implement working keyboard input on terminal, echoed via TVM test code. 26 October 2011, 22:46:22 UTC
refs/heads/tvm-scc f7d9766 Latest version. 15 August 2012, 20:47:49 UTC
refs/heads/win32-dist-updates e958a4e Win Dist (branch): I was testing out newer versions of msys/mingw. Too much work for now it though.... 21 November 2010, 11:57:03 UTC
back to top