fleet.git
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

16 years agorun all tests (including ships directory), add #skip tests where missing
adam [Sun, 12 Aug 2007 10:22:58 +0000 (11:22 +0100)]
run all tests (including ships directory), add #skip tests where missing

16 years agoupdate default bitfile name
adam [Sat, 11 Aug 2007 05:26:14 +0000 (06:26 +0100)]
update default bitfile name

16 years agouse non-blocking assignment for onread/onwrite
adam [Sat, 11 Aug 2007 05:01:54 +0000 (06:01 +0100)]
use non-blocking assignment for onread/onwrite

16 years agofiddling with Alu3
adam [Sat, 11 Aug 2007 05:01:34 +0000 (06:01 +0100)]
fiddling with Alu3

16 years agofix awful timing bugs in Lut3
adam [Sat, 11 Aug 2007 05:01:13 +0000 (06:01 +0100)]
fix awful timing bugs in Lut3

16 years agosign-extend returned value
adam [Sat, 11 Aug 2007 02:30:52 +0000 (03:30 +0100)]
sign-extend returned value

16 years agomore bugfixes to Alu3
adam [Sat, 11 Aug 2007 02:30:28 +0000 (03:30 +0100)]
more bugfixes to Alu3

16 years agoupdate Alu3 test to use blend
adam [Fri, 10 Aug 2007 13:17:14 +0000 (14:17 +0100)]
update Alu3 test to use blend

16 years agosingle-mode Alu3
adam [Fri, 10 Aug 2007 13:17:00 +0000 (14:17 +0100)]
single-mode Alu3

16 years agofix Lut3 so it checks if output is empty
adam [Fri, 10 Aug 2007 13:16:42 +0000 (14:16 +0100)]
fix Lut3 so it checks if output is empty

16 years agobugfix to Alu3
adam [Fri, 10 Aug 2007 13:25:52 +0000 (14:25 +0100)]
bugfix to Alu3

16 years agosign-extend expected outputs
adam [Fri, 10 Aug 2007 13:25:44 +0000 (14:25 +0100)]
sign-extend expected outputs

16 years agobugfix in BitFifo: sign extend for now
adam [Fri, 10 Aug 2007 13:25:34 +0000 (14:25 +0100)]
bugfix in BitFifo: sign extend for now

16 years agoupdate architecture manual: include Ig bit
adam [Fri, 10 Aug 2007 13:25:20 +0000 (14:25 +0100)]
update architecture manual: include Ig bit

16 years agofix bug in BitFifo FPGA code
adam [Fri, 10 Aug 2007 12:20:53 +0000 (13:20 +0100)]
fix bug in BitFifo FPGA code

16 years agoadd BitFifo to Slipway
adam [Fri, 10 Aug 2007 12:08:42 +0000 (13:08 +0100)]
add BitFifo to Slipway

16 years agodont downcase names
adam [Fri, 10 Aug 2007 12:08:35 +0000 (13:08 +0100)]
dont downcase names

16 years agoimprove BitFifo
adam [Fri, 10 Aug 2007 12:08:21 +0000 (13:08 +0100)]
improve BitFifo

16 years agofix Alu3
adam [Fri, 10 Aug 2007 11:56:02 +0000 (12:56 +0100)]
fix Alu3

16 years agoremove internal counter from Alu3
adam [Wed, 8 Aug 2007 06:09:14 +0000 (07:09 +0100)]
remove internal counter from Alu3

16 years agopreliminary support for constants
adam [Wed, 8 Aug 2007 06:05:22 +0000 (07:05 +0100)]
preliminary support for constants

16 years agoFix Alu3, add test code.
Amir Kamil [Wed, 8 Aug 2007 06:02:00 +0000 (07:02 +0100)]
Fix Alu3, add test code.

16 years agoadd test to Debug.ship
adam [Tue, 7 Aug 2007 14:51:48 +0000 (15:51 +0100)]
add test to Debug.ship

16 years agomove fifo and lut3 tests into ship files
adam [Tue, 7 Aug 2007 14:50:10 +0000 (15:50 +0100)]
move fifo and lut3 tests into ship files

16 years agomove one of the memory tests into Memory.ship
adam [Tue, 7 Aug 2007 14:48:47 +0000 (15:48 +0100)]
move one of the memory tests into Memory.ship

16 years agopromote Mul to Alu3
adam [Tue, 7 Aug 2007 14:45:10 +0000 (15:45 +0100)]
promote Mul to Alu3

16 years agoremove old Alu3
adam [Tue, 7 Aug 2007 14:40:42 +0000 (15:40 +0100)]
remove old Alu3

16 years agoarchitecture manual updates
adam [Tue, 7 Aug 2007 14:34:28 +0000 (15:34 +0100)]
architecture manual updates

16 years agoallow tests to be embedded directly into .ship files
adam [Tue, 7 Aug 2007 14:33:01 +0000 (15:33 +0100)]
allow tests to be embedded directly into .ship files

16 years agomove Stack test into Stack.ship
adam [Tue, 7 Aug 2007 14:32:43 +0000 (15:32 +0100)]
move Stack test into Stack.ship

16 years agomove from intel2950-4 to intel2950-5
adam [Tue, 7 Aug 2007 14:35:06 +0000 (15:35 +0100)]
move from intel2950-4 to intel2950-5

16 years agocleanup, add Generator for verilog netlists
adam [Mon, 30 Jul 2007 06:10:51 +0000 (07:10 +0100)]
cleanup, add Generator for verilog netlists

16 years agofix a minor bug in the fleeterpreter ; add a bubble sort program
Amir Kamil [Tue, 17 Jul 2007 05:12:06 +0000 (06:12 +0100)]
fix a minor bug in the fleeterpreter ; add a bubble sort program

16 years agoupdate bitfile and list of tests that work
adam [Sun, 15 Jul 2007 06:36:15 +0000 (07:36 +0100)]
update bitfile and list of tests that work

16 years agoupdate hostname of bee441
adam [Sun, 15 Jul 2007 06:35:59 +0000 (07:35 +0100)]
update hostname of bee441

16 years agoadd mul to list of auto ships
adam [Sun, 15 Jul 2007 06:35:27 +0000 (07:35 +0100)]
add mul to list of auto ships

16 years agoadd support for #skip tests
adam [Sun, 15 Jul 2007 06:35:06 +0000 (07:35 +0100)]
add support for #skip tests

16 years agoadd support for siblings in FleetDoc
adam [Fri, 13 Jul 2007 07:50:10 +0000 (08:50 +0100)]
add support for siblings in FleetDoc