adam [Wed, 2 Jan 2008 07:02:00 +0000 (08:02 +0100)]
checkpoint synthesizing
adam [Wed, 2 Jan 2008 06:41:48 +0000 (07:41 +0100)]
disable token-on-last-iteration.fleet
adam [Wed, 2 Jan 2008 06:41:29 +0000 (07:41 +0100)]
used signed fields when readInstruction()ing a literal instruction
adam [Wed, 2 Jan 2008 06:41:11 +0000 (07:41 +0100)]
fix counting of kill instructions in interpreter
adam [Wed, 2 Jan 2008 06:23:41 +0000 (07:23 +0100)]
fixed bug in test code
adam [Tue, 1 Jan 2008 08:31:52 +0000 (09:31 +0100)]
documentation updates
adam [Tue, 1 Jan 2008 08:31:43 +0000 (09:31 +0100)]
updated Memory ship fleeterpreter impl to support writes, etc
adam [Tue, 1 Jan 2008 08:31:20 +0000 (09:31 +0100)]
updated interpeter to pre-am32 dock
adam [Tue, 1 Jan 2008 08:30:43 +0000 (09:30 +0100)]
update tests to use take rather than wait at inboxes
adam [Tue, 1 Jan 2008 08:30:12 +0000 (09:30 +0100)]
update Makefile
adam [Sun, 16 Sep 2007 04:11:47 +0000 (05:11 +0100)]
update docs
adam [Sun, 16 Sep 2007 04:11:35 +0000 (05:11 +0100)]
update docs
adam [Sun, 16 Sep 2007 04:10:48 +0000 (05:10 +0100)]
improve synthesis flags
fg [Tue, 28 Aug 2007 08:59:53 +0000 (09:59 +0100)]
spelling fixes
adam [Tue, 28 Aug 2007 08:57:27 +0000 (09:57 +0100)]
doc updates to ships
adam [Tue, 28 Aug 2007 08:57:10 +0000 (09:57 +0100)]
more archman updates
adam [Tue, 28 Aug 2007 00:25:55 +0000 (01:25 +0100)]
update SBP jarfile
adam [Tue, 28 Aug 2007 00:25:46 +0000 (01:25 +0100)]
proper encoding of kill count
adam [Tue, 28 Aug 2007 00:25:34 +0000 (01:25 +0100)]
improve PumpDescription with left/right specification
adam [Tue, 28 Aug 2007 00:25:09 +0000 (01:25 +0100)]
better error reporting on invalid instructions
adam [Tue, 28 Aug 2007 00:24:53 +0000 (01:24 +0100)]
makefile updates
adam [Tue, 28 Aug 2007 00:24:45 +0000 (01:24 +0100)]
fix a bug in repeat kill on fpga
adam [Tue, 28 Aug 2007 00:24:34 +0000 (01:24 +0100)]
updates to many ships
adam [Tue, 28 Aug 2007 00:24:17 +0000 (01:24 +0100)]
update to Memory ship
adam [Tue, 28 Aug 2007 00:24:03 +0000 (01:24 +0100)]
updates to fleet grammar
adam [Tue, 28 Aug 2007 00:23:34 +0000 (01:23 +0100)]
support for drawing ship diagrams
adam [Tue, 28 Aug 2007 00:23:09 +0000 (01:23 +0100)]
updates to tests
adam [Tue, 28 Aug 2007 00:22:54 +0000 (01:22 +0100)]
major updates to manuals
adam [Mon, 27 Aug 2007 06:23:15 +0000 (07:23 +0100)]
update manual
adam [Sun, 26 Aug 2007 10:51:19 +0000 (11:51 +0100)]
final pass to update instruction encoding; should now match the spec
adam [Sun, 26 Aug 2007 10:50:37 +0000 (11:50 +0100)]
remove Execute and Halt
adam [Sun, 26 Aug 2007 10:50:10 +0000 (11:50 +0100)]
major updates to manual
adam [Sun, 26 Aug 2007 04:51:17 +0000 (05:51 +0100)]
make room for Ig bit
adam [Sun, 26 Aug 2007 04:21:03 +0000 (05:21 +0100)]
remove last vestiges of old literal system
adam [Sat, 25 Aug 2007 15:35:04 +0000 (16:35 +0100)]
convert many more test cases
adam [Sat, 25 Aug 2007 15:17:27 +0000 (16:17 +0100)]
update more test cases to use literal-at-pump
adam [Sat, 25 Aug 2007 15:17:06 +0000 (16:17 +0100)]
allow constants in literal clauses
adam [Sat, 25 Aug 2007 15:16:49 +0000 (16:16 +0100)]
wait for data register to be empty before inserting literal
adam [Sat, 25 Aug 2007 09:46:08 +0000 (10:46 +0100)]
add pump-local literals and convert Alu1 test case
adam [Sat, 25 Aug 2007 08:47:46 +0000 (09:47 +0100)]
added working test case for send-without-destination
adam [Sat, 25 Aug 2007 08:47:34 +0000 (09:47 +0100)]
archman updates
adam [Sat, 25 Aug 2007 04:21:24 +0000 (05:21 +0100)]
added ports diagram to architecture manual
adam [Sat, 25 Aug 2007 04:21:18 +0000 (05:21 +0100)]
fixed memory ship, fpga implementation now works
adam [Sat, 25 Aug 2007 02:51:04 +0000 (03:51 +0100)]
change benkobox=>pump
adam [Sat, 25 Aug 2007 02:50:58 +0000 (03:50 +0100)]
add notes to archman
adam [Fri, 24 Aug 2007 08:23:58 +0000 (09:23 +0100)]
basically-working BitFifo implementation
adam [Fri, 24 Aug 2007 01:37:32 +0000 (02:37 +0100)]
implement bitfifo (software only for now)
adam [Thu, 23 Aug 2007 02:28:16 +0000 (03:28 +0100)]
use Generator to produce root.v
adam [Thu, 23 Aug 2007 01:40:16 +0000 (02:40 +0100)]
unified horn for data and instructions
adam [Thu, 23 Aug 2007 01:03:32 +0000 (02:03 +0100)]
implement am26 support for constants
adam [Tue, 21 Aug 2007 08:28:32 +0000 (09:28 +0100)]
added dataOutDest
adam [Tue, 21 Aug 2007 02:33:11 +0000 (03:33 +0100)]
checkpoint
adam [Tue, 21 Aug 2007 00:28:28 +0000 (01:28 +0100)]
checkpoint
adam [Mon, 20 Aug 2007 08:48:28 +0000 (09:48 +0100)]
checkpoint
adam [Mon, 20 Aug 2007 08:15:42 +0000 (09:15 +0100)]
checkpoint
adam [Mon, 20 Aug 2007 08:10:53 +0000 (09:10 +0100)]
checkpoint
adam [Mon, 20 Aug 2007 07:53:40 +0000 (08:53 +0100)]
some cleanups, build fpga stuff in build/fpga, not src
adam [Mon, 20 Aug 2007 07:35:01 +0000 (08:35 +0100)]
rename recycle=>requeue
adam [Mon, 20 Aug 2007 07:33:08 +0000 (08:33 +0100)]
move defunct-ships into contrib
adam [Mon, 20 Aug 2007 07:32:20 +0000 (08:32 +0100)]
more renaming slipway=>fpga
adam [Mon, 20 Aug 2007 07:31:20 +0000 (08:31 +0100)]
more renaming slipway=>fpga
adam [Mon, 20 Aug 2007 07:29:41 +0000 (08:29 +0100)]
rename slipway=>fpga
adam [Mon, 20 Aug 2007 07:28:58 +0000 (08:28 +0100)]
fixed bug in InstructionEncoder
adam [Mon, 20 Aug 2007 07:10:14 +0000 (08:10 +0100)]
clean up InstructionEncoder
adam [Mon, 20 Aug 2007 06:55:23 +0000 (07:55 +0100)]
massive revamp of fpga code
adam [Thu, 16 Aug 2007 02:39:35 +0000 (03:39 +0100)]
fix bugs in test-running code
adam [Thu, 16 Aug 2007 02:39:16 +0000 (03:39 +0100)]
hide errors in uname test
adam [Thu, 16 Aug 2007 02:39:05 +0000 (03:39 +0100)]
complete overhaul of fpga code; use gasp-level simulation
adam [Thu, 16 Aug 2007 02:37:08 +0000 (03:37 +0100)]
reshuffle tests a bit, add recycle-expire
adam [Thu, 16 Aug 2007 02:36:41 +0000 (03:36 +0100)]
update tests in ship files
adam [Sun, 12 Aug 2007 10:22:58 +0000 (11:22 +0100)]
run all tests (including ships directory), add #skip tests where missing
adam [Sat, 11 Aug 2007 05:26:14 +0000 (06:26 +0100)]
update default bitfile name
adam [Sat, 11 Aug 2007 05:01:54 +0000 (06:01 +0100)]
use non-blocking assignment for onread/onwrite
adam [Sat, 11 Aug 2007 05:01:34 +0000 (06:01 +0100)]
fiddling with Alu3
adam [Sat, 11 Aug 2007 05:01:13 +0000 (06:01 +0100)]
fix awful timing bugs in Lut3
adam [Sat, 11 Aug 2007 02:30:52 +0000 (03:30 +0100)]
sign-extend returned value
adam [Sat, 11 Aug 2007 02:30:28 +0000 (03:30 +0100)]
more bugfixes to Alu3
adam [Fri, 10 Aug 2007 13:17:14 +0000 (14:17 +0100)]
update Alu3 test to use blend
adam [Fri, 10 Aug 2007 13:17:00 +0000 (14:17 +0100)]
single-mode Alu3
adam [Fri, 10 Aug 2007 13:16:42 +0000 (14:16 +0100)]
fix Lut3 so it checks if output is empty
adam [Fri, 10 Aug 2007 13:25:52 +0000 (14:25 +0100)]
bugfix to Alu3
adam [Fri, 10 Aug 2007 13:25:44 +0000 (14:25 +0100)]
sign-extend expected outputs
adam [Fri, 10 Aug 2007 13:25:34 +0000 (14:25 +0100)]
bugfix in BitFifo: sign extend for now
adam [Fri, 10 Aug 2007 13:25:20 +0000 (14:25 +0100)]
update architecture manual: include Ig bit
adam [Fri, 10 Aug 2007 12:20:53 +0000 (13:20 +0100)]
fix bug in BitFifo FPGA code
adam [Fri, 10 Aug 2007 12:08:42 +0000 (13:08 +0100)]
add BitFifo to Slipway
adam [Fri, 10 Aug 2007 12:08:35 +0000 (13:08 +0100)]
dont downcase names
adam [Fri, 10 Aug 2007 12:08:21 +0000 (13:08 +0100)]
improve BitFifo
adam [Fri, 10 Aug 2007 11:56:02 +0000 (12:56 +0100)]
fix Alu3
adam [Wed, 8 Aug 2007 06:09:14 +0000 (07:09 +0100)]
remove internal counter from Alu3
adam [Wed, 8 Aug 2007 06:05:22 +0000 (07:05 +0100)]
preliminary support for constants
Amir Kamil [Wed, 8 Aug 2007 06:02:00 +0000 (07:02 +0100)]
Fix Alu3, add test code.
adam [Tue, 7 Aug 2007 14:51:48 +0000 (15:51 +0100)]
add test to Debug.ship
adam [Tue, 7 Aug 2007 14:50:10 +0000 (15:50 +0100)]
move fifo and lut3 tests into ship files
adam [Tue, 7 Aug 2007 14:48:47 +0000 (15:48 +0100)]
move one of the memory tests into Memory.ship
adam [Tue, 7 Aug 2007 14:45:10 +0000 (15:45 +0100)]
promote Mul to Alu3
adam [Tue, 7 Aug 2007 14:40:42 +0000 (15:40 +0100)]
remove old Alu3
adam [Tue, 7 Aug 2007 14:34:28 +0000 (15:34 +0100)]
architecture manual updates
adam [Tue, 7 Aug 2007 14:33:01 +0000 (15:33 +0100)]
allow tests to be embedded directly into .ship files
adam [Tue, 7 Aug 2007 14:32:43 +0000 (15:32 +0100)]
move Stack test into Stack.ship