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

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

16 years agotentative Fi bit in archman.tex
adam [Fri, 13 Jul 2007 07:47:30 +0000 (08:47 +0100)]
tentative Fi bit in archman.tex

16 years agoimplement crappy multiplier
Amir Kamil [Fri, 13 Jul 2007 01:44:57 +0000 (02:44 +0100)]
implement crappy multiplier

16 years agoprototype for new ship constants mechanism
adam [Tue, 10 Jul 2007 13:56:12 +0000 (14:56 +0100)]
prototype for new ship constants mechanism

16 years agofix BitStorage bug
Amir Kamil [Tue, 10 Jul 2007 04:44:51 +0000 (05:44 +0100)]
fix BitStorage bug

16 years agoadd Doc.java
adam [Tue, 3 Jul 2007 07:02:08 +0000 (08:02 +0100)]
add Doc.java

16 years agoadd stuff to doc dir
adam [Tue, 3 Jul 2007 07:01:56 +0000 (08:01 +0100)]
add stuff to doc dir

16 years agoupdates to ship documentation
adam [Tue, 3 Jul 2007 07:01:41 +0000 (08:01 +0100)]
updates to ship documentation

16 years agobitfifo notes
adam [Mon, 18 Jun 2007 23:34:04 +0000 (00:34 +0100)]
bitfifo notes

16 years agoBitFifo ship
Amir Kamil [Fri, 15 Jun 2007 06:08:18 +0000 (07:08 +0100)]
BitFifo ship

17 years agoalu2 also gets header/footer
adam [Sun, 6 May 2007 09:13:41 +0000 (10:13 +0100)]
alu2 also gets header/footer

17 years agoadd stride/count test
adam [Sun, 4 Mar 2007 11:52:00 +0000 (12:52 +0100)]
add stride/count test

17 years agoadd stride/count to fleeterpreter Memory ship
adam [Sun, 4 Mar 2007 11:51:48 +0000 (12:51 +0100)]
add stride/count to fleeterpreter Memory ship

17 years agoresolve conflict
adam [Sun, 6 May 2007 08:54:04 +0000 (09:54 +0100)]
resolve conflict

17 years agoupdate grammar, move to new version of SBP
adam [Sun, 6 May 2007 08:53:03 +0000 (09:53 +0100)]
update grammar, move to new version of SBP

17 years agoMakefile update
adam [Sun, 6 May 2007 08:52:48 +0000 (09:52 +0100)]
Makefile update

17 years agoadd f0 demo
adam [Sun, 6 May 2007 08:52:35 +0000 (09:52 +0100)]
add f0 demo

17 years agof0 checkin
adam [Sun, 6 May 2007 08:52:06 +0000 (09:52 +0100)]
f0 checkin

17 years agofix grammar ambiguity
adam [Sun, 4 Mar 2007 11:52:08 +0000 (12:52 +0100)]
fix grammar ambiguity

17 years agomake api.Destination a class rather than an interface
adam [Thu, 1 Mar 2007 13:15:15 +0000 (14:15 +0100)]
make api.Destination a class rather than an interface

17 years agocheckpoint
adam [Thu, 1 Mar 2007 12:29:11 +0000 (13:29 +0100)]
checkpoint