fleet.git
16 years agomove multiplier out of Alu3.ship, add correct test
adam [Mon, 4 Feb 2008 03:26:51 +0000 (04:26 +0100)]
move multiplier out of Alu3.ship, add correct test

16 years agoadd Rotator ship
adam [Mon, 4 Feb 2008 02:12:35 +0000 (03:12 +0100)]
add Rotator ship

16 years agomore reset code
adam [Wed, 30 Jan 2008 11:08:43 +0000 (12:08 +0100)]
more reset code

16 years agoreset state wires too
adam [Wed, 30 Jan 2008 08:20:15 +0000 (09:20 +0100)]
reset state wires too

16 years agoadd additional reset logic to instances of Generator.Port
adam [Wed, 30 Jan 2008 08:01:35 +0000 (09:01 +0100)]
add additional reset logic to instances of Generator.Port

16 years agouncomment resets in Memory.ship
adam [Wed, 30 Jan 2008 08:01:22 +0000 (09:01 +0100)]
uncomment resets in Memory.ship

16 years agotweak to Makefile
adam [Wed, 30 Jan 2008 08:01:10 +0000 (09:01 +0100)]
tweak to Makefile

16 years agoupdate server to auto-restart when files are changed
adam [Wed, 30 Jan 2008 07:34:30 +0000 (08:34 +0100)]
update server to auto-restart when files are changed

16 years agoadd misc directory
adam [Wed, 30 Jan 2008 07:33:47 +0000 (08:33 +0100)]
add misc directory

16 years agomaster clear works (at least for memory ship)
adam [Mon, 28 Jan 2008 08:26:46 +0000 (09:26 +0100)]
master clear works (at least for memory ship)

16 years agocheckpoint
adam [Mon, 28 Jan 2008 06:09:20 +0000 (07:09 +0100)]
checkpoint

16 years agopropagate break signal as reset
adam [Sun, 27 Jan 2008 13:10:13 +0000 (14:10 +0100)]
propagate break signal as reset

16 years agoadd support for RS-232 break signal
adam [Sun, 27 Jan 2008 12:48:09 +0000 (13:48 +0100)]
add support for RS-232 break signal

16 years agoadd rst wire (but do not do anything with it)
adam [Sat, 26 Jan 2008 18:15:04 +0000 (19:15 +0100)]
add rst wire (but do not do anything with it)

16 years agoupdates for ml410 board
adam [Sat, 26 Jan 2008 18:14:36 +0000 (19:14 +0100)]
updates for ml410 board

16 years agosome tweaks to main.xst file
adam [Fri, 25 Jan 2008 02:58:41 +0000 (03:58 +0100)]
some tweaks to main.xst file

16 years agoupdate Makefile to use intel2950-4.eecs.berkeley.edu
adam [Fri, 25 Jan 2008 02:58:28 +0000 (03:58 +0100)]
update Makefile to use intel2950-4.eecs.berkeley.edu

16 years agoupdate test cases to am33
adam [Fri, 25 Jan 2008 02:58:13 +0000 (03:58 +0100)]
update test cases to am33

16 years agomajor overhaul: update dock to am33
adam [Fri, 25 Jan 2008 02:57:55 +0000 (03:57 +0100)]
major overhaul: update dock to am33

16 years agoadd interpreter code and tests for loop counter instructions
adam [Wed, 2 Jan 2008 13:34:42 +0000 (14:34 +0100)]
add interpreter code and tests for loop counter instructions

16 years agoupdate test case for massacre
adam [Wed, 2 Jan 2008 13:34:07 +0000 (14:34 +0100)]
update test case for massacre

16 years agofix operation of massacre
adam [Wed, 2 Jan 2008 12:58:14 +0000 (13:58 +0100)]
fix operation of massacre

16 years agoreorder Alu3 instructions to deal with two-instruction literals
adam [Wed, 2 Jan 2008 12:34:32 +0000 (13:34 +0100)]
reorder Alu3 instructions to deal with two-instruction literals

16 years agoupdate test-kill-requeueing.fleet for two-instruction literals
adam [Wed, 2 Jan 2008 12:30:56 +0000 (13:30 +0100)]
update test-kill-requeueing.fleet for two-instruction literals

16 years agosplit literals into low-half/high-half
adam [Wed, 2 Jan 2008 12:29:25 +0000 (13:29 +0100)]
split literals into low-half/high-half

16 years agodisable Alu3 test temporarily (clogs switch fabric with two-instruction literals)
adam [Wed, 2 Jan 2008 12:28:55 +0000 (13:28 +0100)]
disable Alu3 test temporarily (clogs switch fabric with two-instruction literals)

16 years agoimplement support (fpga+interp+test) for massacre instruction
adam [Wed, 2 Jan 2008 08:05:28 +0000 (09:05 +0100)]
implement support (fpga+interp+test) for massacre instruction

16 years agodo not requeue literals
adam [Wed, 2 Jan 2008 07:46:20 +0000 (08:46 +0100)]
do not requeue literals

16 years agouse faster build machine
adam [Wed, 2 Jan 2008 07:27:54 +0000 (08:27 +0100)]
use faster build machine

16 years agoalways set literal count to 0
adam [Wed, 2 Jan 2008 07:27:45 +0000 (08:27 +0100)]
always set literal count to 0

16 years agocheckpoint synthesizing
adam [Wed, 2 Jan 2008 07:02:00 +0000 (08:02 +0100)]
checkpoint synthesizing

16 years agodisable token-on-last-iteration.fleet
adam [Wed, 2 Jan 2008 06:41:48 +0000 (07:41 +0100)]
disable token-on-last-iteration.fleet

16 years agoused signed fields when readInstruction()ing a literal instruction
adam [Wed, 2 Jan 2008 06:41:29 +0000 (07:41 +0100)]
used signed fields when readInstruction()ing a literal instruction

16 years agofix counting of kill instructions in interpreter
adam [Wed, 2 Jan 2008 06:41:11 +0000 (07:41 +0100)]
fix counting of kill instructions in interpreter

16 years agofixed bug in test code
adam [Wed, 2 Jan 2008 06:23:41 +0000 (07:23 +0100)]
fixed bug in test code

16 years agodocumentation updates
adam [Tue, 1 Jan 2008 08:31:52 +0000 (09:31 +0100)]
documentation updates

16 years agoupdated Memory ship fleeterpreter impl to support writes, etc
adam [Tue, 1 Jan 2008 08:31:43 +0000 (09:31 +0100)]
updated Memory ship fleeterpreter impl to support writes, etc

16 years agoupdated interpeter to pre-am32 dock
adam [Tue, 1 Jan 2008 08:31:20 +0000 (09:31 +0100)]
updated interpeter to pre-am32 dock

16 years agoupdate tests to use take rather than wait at inboxes
adam [Tue, 1 Jan 2008 08:30:43 +0000 (09:30 +0100)]
update tests to use take rather than wait at inboxes

16 years agoupdate Makefile
adam [Tue, 1 Jan 2008 08:30:12 +0000 (09:30 +0100)]
update Makefile

16 years agoupdate docs
adam [Sun, 16 Sep 2007 04:11:47 +0000 (05:11 +0100)]
update docs

16 years agoupdate docs
adam [Sun, 16 Sep 2007 04:11:35 +0000 (05:11 +0100)]
update docs

16 years agoimprove synthesis flags
adam [Sun, 16 Sep 2007 04:10:48 +0000 (05:10 +0100)]
improve synthesis flags

16 years agospelling fixes
fg [Tue, 28 Aug 2007 08:59:53 +0000 (09:59 +0100)]
spelling fixes

16 years agodoc updates to ships
adam [Tue, 28 Aug 2007 08:57:27 +0000 (09:57 +0100)]
doc updates to ships

16 years agomore archman updates
adam [Tue, 28 Aug 2007 08:57:10 +0000 (09:57 +0100)]
more archman updates

16 years agoupdate SBP jarfile
adam [Tue, 28 Aug 2007 00:25:55 +0000 (01:25 +0100)]
update SBP jarfile

16 years agoproper encoding of kill count
adam [Tue, 28 Aug 2007 00:25:46 +0000 (01:25 +0100)]
proper encoding of kill count

16 years agoimprove PumpDescription with left/right specification
adam [Tue, 28 Aug 2007 00:25:34 +0000 (01:25 +0100)]
improve PumpDescription with left/right specification

16 years agobetter error reporting on invalid instructions
adam [Tue, 28 Aug 2007 00:25:09 +0000 (01:25 +0100)]
better error reporting on invalid instructions

16 years agomakefile updates
adam [Tue, 28 Aug 2007 00:24:53 +0000 (01:24 +0100)]
makefile updates

16 years agofix a bug in repeat kill on fpga
adam [Tue, 28 Aug 2007 00:24:45 +0000 (01:24 +0100)]
fix a bug in repeat kill on fpga

16 years agoupdates to many ships
adam [Tue, 28 Aug 2007 00:24:34 +0000 (01:24 +0100)]
updates to many ships

16 years agoupdate to Memory ship
adam [Tue, 28 Aug 2007 00:24:17 +0000 (01:24 +0100)]
update to Memory ship

16 years agoupdates to fleet grammar
adam [Tue, 28 Aug 2007 00:24:03 +0000 (01:24 +0100)]
updates to fleet grammar

16 years agosupport for drawing ship diagrams
adam [Tue, 28 Aug 2007 00:23:34 +0000 (01:23 +0100)]
support for drawing ship diagrams

16 years agoupdates to tests
adam [Tue, 28 Aug 2007 00:23:09 +0000 (01:23 +0100)]
updates to tests

16 years agomajor updates to manuals
adam [Tue, 28 Aug 2007 00:22:54 +0000 (01:22 +0100)]
major updates to manuals

16 years agoupdate manual
adam [Mon, 27 Aug 2007 06:23:15 +0000 (07:23 +0100)]
update manual

16 years agofinal pass to update instruction encoding; should now match the spec
adam [Sun, 26 Aug 2007 10:51:19 +0000 (11:51 +0100)]
final pass to update instruction encoding; should now match the spec

16 years agoremove Execute and Halt
adam [Sun, 26 Aug 2007 10:50:37 +0000 (11:50 +0100)]
remove Execute and Halt

16 years agomajor updates to manual
adam [Sun, 26 Aug 2007 10:50:10 +0000 (11:50 +0100)]
major updates to manual

16 years agomake room for Ig bit
adam [Sun, 26 Aug 2007 04:51:17 +0000 (05:51 +0100)]
make room for Ig bit

16 years agoremove last vestiges of old literal system
adam [Sun, 26 Aug 2007 04:21:03 +0000 (05:21 +0100)]
remove last vestiges of old literal system

16 years agoconvert many more test cases
adam [Sat, 25 Aug 2007 15:35:04 +0000 (16:35 +0100)]
convert many more test cases

16 years agoupdate more test cases to use literal-at-pump
adam [Sat, 25 Aug 2007 15:17:27 +0000 (16:17 +0100)]
update more test cases to use literal-at-pump

16 years agoallow constants in literal clauses
adam [Sat, 25 Aug 2007 15:17:06 +0000 (16:17 +0100)]
allow constants in literal clauses

16 years agowait for data register to be empty before inserting literal
adam [Sat, 25 Aug 2007 15:16:49 +0000 (16:16 +0100)]
wait for data register to be empty before inserting literal

16 years agoadd pump-local literals and convert Alu1 test case
adam [Sat, 25 Aug 2007 09:46:08 +0000 (10:46 +0100)]
add pump-local literals and convert Alu1 test case

16 years agoadded working test case for send-without-destination
adam [Sat, 25 Aug 2007 08:47:46 +0000 (09:47 +0100)]
added working test case for send-without-destination

16 years agoarchman updates
adam [Sat, 25 Aug 2007 08:47:34 +0000 (09:47 +0100)]
archman updates

16 years agoadded ports diagram to architecture manual
adam [Sat, 25 Aug 2007 04:21:24 +0000 (05:21 +0100)]
added ports diagram to architecture manual

16 years agofixed memory ship, fpga implementation now works
adam [Sat, 25 Aug 2007 04:21:18 +0000 (05:21 +0100)]
fixed memory ship, fpga implementation now works

16 years agochange benkobox=>pump
adam [Sat, 25 Aug 2007 02:51:04 +0000 (03:51 +0100)]
change benkobox=>pump

16 years agoadd notes to archman
adam [Sat, 25 Aug 2007 02:50:58 +0000 (03:50 +0100)]
add notes to archman

16 years agobasically-working BitFifo implementation
adam [Fri, 24 Aug 2007 08:23:58 +0000 (09:23 +0100)]
basically-working BitFifo implementation

16 years agoimplement bitfifo (software only for now)
adam [Fri, 24 Aug 2007 01:37:32 +0000 (02:37 +0100)]
implement bitfifo (software only for now)

16 years agouse Generator to produce root.v
adam [Thu, 23 Aug 2007 02:28:16 +0000 (03:28 +0100)]
use Generator to produce root.v

16 years agounified horn for data and instructions
adam [Thu, 23 Aug 2007 01:40:16 +0000 (02:40 +0100)]
unified horn for data and instructions

16 years agoimplement am26 support for constants
adam [Thu, 23 Aug 2007 01:03:32 +0000 (02:03 +0100)]
implement am26 support for constants

16 years agoadded dataOutDest
adam [Tue, 21 Aug 2007 08:28:32 +0000 (09:28 +0100)]
added dataOutDest

16 years agocheckpoint
adam [Tue, 21 Aug 2007 02:33:11 +0000 (03:33 +0100)]
checkpoint

16 years agocheckpoint
adam [Tue, 21 Aug 2007 00:28:28 +0000 (01:28 +0100)]
checkpoint

16 years agocheckpoint
adam [Mon, 20 Aug 2007 08:48:28 +0000 (09:48 +0100)]
checkpoint

16 years agocheckpoint
adam [Mon, 20 Aug 2007 08:15:42 +0000 (09:15 +0100)]
checkpoint

16 years agocheckpoint
adam [Mon, 20 Aug 2007 08:10:53 +0000 (09:10 +0100)]
checkpoint

16 years agosome cleanups, build fpga stuff in build/fpga, not src
adam [Mon, 20 Aug 2007 07:53:40 +0000 (08:53 +0100)]
some cleanups, build fpga stuff in build/fpga, not src

16 years agorename recycle=>requeue
adam [Mon, 20 Aug 2007 07:35:01 +0000 (08:35 +0100)]
rename recycle=>requeue

16 years agomove defunct-ships into contrib
adam [Mon, 20 Aug 2007 07:33:08 +0000 (08:33 +0100)]
move defunct-ships into contrib

16 years agomore renaming slipway=>fpga
adam [Mon, 20 Aug 2007 07:32:20 +0000 (08:32 +0100)]
more renaming slipway=>fpga

16 years agomore renaming slipway=>fpga
adam [Mon, 20 Aug 2007 07:31:20 +0000 (08:31 +0100)]
more renaming slipway=>fpga

16 years agorename slipway=>fpga
adam [Mon, 20 Aug 2007 07:29:41 +0000 (08:29 +0100)]
rename slipway=>fpga

16 years agofixed bug in InstructionEncoder
adam [Mon, 20 Aug 2007 07:28:58 +0000 (08:28 +0100)]
fixed bug in InstructionEncoder

16 years agoclean up InstructionEncoder
adam [Mon, 20 Aug 2007 07:10:14 +0000 (08:10 +0100)]
clean up InstructionEncoder

16 years agomassive revamp of fpga code
adam [Mon, 20 Aug 2007 06:55:23 +0000 (07:55 +0100)]
massive revamp of fpga code

16 years agofix bugs in test-running code
adam [Thu, 16 Aug 2007 02:39:35 +0000 (03:39 +0100)]
fix bugs in test-running code

16 years agohide errors in uname test
adam [Thu, 16 Aug 2007 02:39:16 +0000 (03:39 +0100)]
hide errors in uname test

16 years agocomplete overhaul of fpga code; use gasp-level simulation
adam [Thu, 16 Aug 2007 02:39:05 +0000 (03:39 +0100)]
complete overhaul of fpga code; use gasp-level simulation

16 years agoreshuffle tests a bit, add recycle-expire
adam [Thu, 16 Aug 2007 02:37:08 +0000 (03:37 +0100)]
reshuffle tests a bit, add recycle-expire

16 years agoupdate tests in ship files
adam [Thu, 16 Aug 2007 02:36:41 +0000 (03:36 +0100)]
update tests in ship files