publicUnclaimed/

Reduceron

Clone

Commit history

Commits included in published releases. Unpublished intermediate commits are private. Showing matches from the latest 100 commits ending at this release.

The 'BeMicro CV A9' was renamed eons ago and nobody noticed

Tommy Thorn · Jul 19, 2025, 8:48 AM UTC

e9b051238698

README.md: future work on this has long stalled and isn't going to restart

Tommy Thorn · Apr 27, 2025, 1:55 AM UTC

ec112a6a0517

Fix warnings: local fix for "not on path"

Tommy Thorn · Dec 13, 2024, 10:51 PM UTC

578f27ede827

Fix warnings: don't warn on head/tail usage

Tommy Thorn · Dec 13, 2024, 10:48 PM UTC

0a238efaa533

Fix warnings: return is depricated as per "monad-of-no-return"

Tommy Thorn · Dec 13, 2024, 10:46 PM UTC

b1b2b81bf4e3

Fix warnings: insert a space between '$' and 'do' (sigh)

Tommy Thorn · Dec 12, 2024, 6:57 AM UTC

1a1d7e1019ec

Install verilator

Neptune · Dec 9, 2024, 12:10 AM UTC

0aba1e8deb90

Update to Stack

Neptune · Dec 8, 2024, 11:14 PM UTC

ee98b6e773a1

Create GitHub Actions

Neptune · Dec 8, 2024, 10:10 PM UTC

54449d035ef8

README.md: fix #41 point to mn416's archived copy of the original Reduceron page

Tommy Thorn · Nov 15, 2024, 5:26 PM UTC

c18269f4d244

Apple is why we can't have nice things

Tommy Thorn · Dec 8, 2020, 12:54 AM UTC

122dbbc7c52d

Document the Makefile targets

Tommy Thorn · Oct 20, 2020, 11:29 PM UTC

6b5acafe5d74

Make it easier to debug build issues by adding `QUIET=` to the `make` args

Tommy Thorn · Apr 24, 2020, 7:59 PM UTC

0928fbd383e7

Clang can't build C code from Flite, give workaround

Tommy Thorn · Feb 9, 2019, 11:07 PM UTC

6b40ad56b2f0

Fix some build issues, mostly exposed by external dependencies

Tommy Thorn · Apr 14, 2018, 10:35 PM UTC

bd544292f2d1

Flite-C: don't bother with the rump object

Tommy Thorn · Feb 5, 2018, 1:13 AM UTC

8ab9ecb494af

Collect some of the relevant papers and presentations

Tommy Thorn · Jan 19, 2018, 5:41 PM UTC

4cf7158c6ecc

Improved support for parallel builds and test (including Verilog sim)

Tommy Thorn · Nov 19, 2017, 7:37 AM UTC

1e976a3e96e6

GHC doesn't need help any more

Tommy Thorn · Nov 19, 2017, 6:37 AM UTC

719602b8670e

Flite-C: objects are prefixed with size, tags are 2-bit, ints 31-bit

Tommy Thorn · Sep 7, 2017, 6:35 AM UTC

b72bdda88dfa

Flite-C: updateCode diet, part 2: sentinel on update stack

Tommy Thorn · Sep 6, 2017, 5:44 AM UTC

ff5e001fbc30

Flite-C: updateCode diet, part 1: sentinel exit app on stack

Tommy Thorn · Sep 5, 2017, 6:59 AM UTC

403cb4c043d9

Flite-C: boxed primitives

Tommy Thorn · Sep 4, 2017, 1:26 AM UTC

9f326d7aeb80

Flite-C: Minor tweaks + plan

Tommy Thorn · Sep 4, 2017, 1:26 AM UTC

1908f8402d50

Flite-C: prescale the index for faster dispatch

Tommy Thorn · Sep 3, 2017, 11:50 PM UTC

253a0ae4ad23

Flite-C: Switch INT to an all-zero tag to enable future improvements

Tommy Thorn · Sep 3, 2017, 11:17 PM UTC

13cc2e559195

Flite-C: parametrized the tagging for easier modification

Tommy Thorn · Sep 3, 2017, 11:16 PM UTC

cc74d5ea6f9d

Flite-C: GC didn't play by the tagging rules

Tommy Thorn · Sep 3, 2017, 10:29 PM UTC

64b30b8385b9

Flite-C: bypass a redundant tag check + convert macros to functions

Tommy Thorn · Sep 3, 2017, 2:56 PM UTC

c40186fc5dfb

Flite-C: bypass AP check

Tommy Thorn · Sep 3, 2017, 2:55 PM UTC

6140d1023314

Flite-C: add sanity checking asserts

Tommy Thorn · Sep 3, 2017, 2:54 PM UTC

aeb3a0304550

Flite: don't build the library

Tommy Thorn · Sep 3, 2017, 2:50 PM UTC

1eb9b13f9c00

Flite-C: lower tag cost

Tommy Thorn · Sep 1, 2017, 12:56 AM UTC

c1af87d44c06

Flite-C: Use GCC's nested procedures to keep top, sp, and hp in registers

Tommy Thorn · Aug 29, 2017, 6:04 AM UTC

adf428fe7777

Flite-C: use computed gotos over switch() for faster dispatch

Tommy Thorn · Aug 28, 2017, 7:22 AM UTC

0351552a8229

Makefile: flite-c specific compilation options, switch to GCC 7

Tommy Thorn · Aug 28, 2017, 12:21 AM UTC

9edcf1036c09

Makefile: bench a few more

Tommy Thorn · Aug 27, 2017, 11:25 PM UTC

8dcb72d44669

Makefile: flite opts applies to C gen too

Tommy Thorn · Aug 27, 2017, 7:53 PM UTC

19e7f3a7d6df

Flite-C: Bench Better

Tommy Thorn · Aug 27, 2017, 7:43 PM UTC

27b193be6a0b

Flite-C: -O2 works better than -O3

Tommy Thorn · Aug 27, 2017, 7:11 PM UTC

69ee68a389f5

EMU: usage message

Tommy Thorn · Aug 27, 2017, 6:49 PM UTC

07ff0d252346

EMU: -O2

Tommy Thorn · Aug 27, 2017, 6:49 PM UTC

2151cd179742

Status update - WIP

Tommy Thorn · Aug 27, 2017, 6:48 PM UTC

e47d6d99d8f3

Lava: Change Recipe to leverage the "do" syntax

Tommy Thorn · Jun 23, 2017, 6:32 AM UTC

0b33651a609b

Lava: Introducing Red Lava, a fork of York Lava

Tommy Thorn · Jun 18, 2017, 12:40 AM UTC

d807e0eaf33e

Lava: function composition is now `o` and member access now s.f

Tommy Thorn · Jun 17, 2017, 11:59 PM UTC

797a48d4d8f7

Fixes needed for GHC 7.10+ (checked on 8.0.2 as well)

Tommy Thorn · Apr 1, 2017, 7:43 PM UTC

071a04188576

Oops, toplevels.v weren't updated to handle reset. Switch the main platform to BeMicro CV A9 Delete platforms that I'm never going to test again

Tommy Thorn · Jan 7, 2017, 8:19 AM UTC

7e147d983817

York-Lava depends on process

Tommy Thorn · Dec 9, 2016, 8:57 AM UTC

8d3edb6590cd

GHC 8: context-stack -> reduction-depth

Tommy Thorn · Nov 2, 2016, 5:26 AM UTC

d3aa65ca0624

Lava: system is depreciated; use callProcess

Tommy Thorn · Jul 7, 2016, 6:34 AM UTC

666e78d1ec4a

Makefile depended on bash-isms

Tommy Thorn · Jul 7, 2016, 6:33 AM UTC

3ad232038b63

emulator: fixed compilation warnings + cleanups

Tommy Thorn · Jul 7, 2016, 6:30 AM UTC

100caa27150d

York-Lava: now supports reset, fixes #9

Tommy Thorn · Apr 12, 2016, 7:40 AM UTC

4311068cd673

Switch to using verilator for Verilog simulations.

Tommy Thorn · Apr 10, 2016, 11:46 PM UTC

2a9bcf6f83e1

fix typos

Tommy Thorn · Jan 31, 2016, 7:04 AM UTC

c8361d6d7713

Fix flite parallel build => retire the pure version

Tommy Thorn · Jan 31, 2016, 1:53 AM UTC

43919fa3adb3

York Lava: fix build issues with examples

Tommy Thorn · Jan 22, 2016, 6:23 AM UTC

2fca2e376483

Handle parallel builds more gracefully Some versions apparently needs --no-print-directory

Tommy Thorn · Jan 22, 2016, 7:35 AM UTC

6327b6775d9b

emulator: Fix compilation warnings

Tommy Thorn · Jan 24, 2016, 4:47 AM UTC

3ee3ea058f18

Parallel make works again

Tommy Thorn · Jan 22, 2016, 5:57 AM UTC

01cb84e10f4d

york-lava: more Prelude.Word conflicts

Tommy Thorn · Jan 22, 2016, 5:56 AM UTC

bac155875b55

Lava: give memories a human friendly name

Tommy Thorn · Jul 24, 2011, 5:07 PM UTC

0f9ef2e35d30

Tweaks to York Lava example Mult.hs

Tommy Thorn · Feb 27, 2015, 10:58 PM UTC

76cebf0b010e

Remove obsolete swap from emulators. Fixes #22

Tommy Thorn · Dec 30, 2015, 9:07 AM UTC

e40bbbc3b405

fpga: BeMicro CV A9 now reports the result in nios2-terminal via JTAG

Tommy Thorn · Dec 30, 2015, 8:52 AM UTC

968ad9ee2e2b

fpga: Support the incredible $150 BeMicro CV A9

Tommy Thorn · Dec 26, 2015, 8:00 AM UTC

2c1fb970ab57

semantics: Variants now extracts readable versions

Tommy Thorn · Nov 14, 2015, 6:39 PM UTC

12a90969745f

2015 Haloween maintenance

Tommy Thorn · Nov 2, 2015, 12:48 AM UTC

f87ef0868f2d

Here's a tip

Tommy Thorn · Apr 22, 2015, 6:07 PM UTC

a85433fd8b60

ghc-flite: a GHC based front-end

Benji Jones · Feb 18, 2015, 8:20 PM UTC

9630b730af5f

York Lava: fix signum

Tommy Thorn · Feb 23, 2015, 4:03 AM UTC

c4caeab017c6

York Lava: delete dead Speedster backend

Tommy Thorn · Feb 23, 2015, 3:28 AM UTC

ae04532cea6b

York Lava: add a simple LFSR example

Tommy Thorn · Feb 22, 2015, 8:06 PM UTC

35266fdb6ad2

Clean up York Lava examples

Tommy Thorn · Feb 16, 2015, 9:11 PM UTC

e92b7548c167

workaround a strange Make problem

Tommy Thorn · Feb 16, 2015, 6:51 PM UTC

7ddfd89b8da4

Fix warnings, delete dead and redundant code

Tommy Thorn · Feb 16, 2015, 12:32 AM UTC

1a53c56643b0

Eliminate depricated -fglasgow-exts

Tommy Thorn · Feb 16, 2015, 12:11 AM UTC

58ab0106d4f8

Flite defaults to 8 registers as supported by FPGA version

Tommy Thorn · Feb 15, 2015, 11:56 PM UTC

00545c852325

Markdown README

Tommy Thorn · Feb 3, 2015, 11:38 PM UTC

c905d1e31164

semantics: trivial simplifications

Tommy Thorn · Feb 3, 2015, 11:26 PM UTC

99875cc1973c

Answers to questions

Tommy Thorn · Feb 3, 2015, 11:25 PM UTC

4c10084dc12d

emulator: mostly match the logging format of the semantics

Tommy Thorn · Jan 26, 2015, 5:58 AM UTC

e74bb40e8acd

semantics: load and run .red files; improved tracing

Tommy Thorn · Jan 26, 2015, 5:55 AM UTC

4b1fadf20b13

semantics: another bugfix

Tommy Thorn · Jan 26, 2015, 5:55 AM UTC

92369f4090ea

semantics: bugfixes

Tommy Thorn · Jan 26, 2015, 5:03 AM UTC

a1f522b80e3e

semantics: bug in the paper and report! Updates weren't being dashed.

Tommy Thorn · Jan 26, 2015, 4:52 AM UTC

43cbe5269be7

emu: make the update stack usage match the semantics

Tommy Thorn · Jan 26, 2015, 3:03 AM UTC

97aa529afe3c

semantics: load programs

Tommy Thorn · Jan 24, 2015, 4:41 AM UTC

04d4b5a9b3f3

emu-32-bit: fix some documentation issues and note improvements

Tommy Thorn · Jan 24, 2015, 4:29 AM UTC

944b7652ea2f

Workload Hello with a denser text representation.

Tommy Thorn · Jan 23, 2015, 6:04 AM UTC

874dd2b204db

semantics: note an inacuracy

Tommy Thorn · Jan 13, 2015, 8:22 PM UTC

a1518f7d7b11

C backend: nearly all primities return normal forms

Tommy Thorn · Dec 15, 2014, 7:47 AM UTC

b662d808f06a

make bench - measures run times of C backend binaries

Tommy Thorn · Dec 15, 2014, 7:45 AM UTC

036135113a76

Flite: Fix the C backend

Tommy Thorn · Dec 13, 2014, 4:47 AM UTC

383fb4f768c0

emulator: regress without optimization, bench with

Tommy Thorn · Aug 3, 2014, 9:33 PM UTC

ac5b34811d21

emu-32-bit: eliminate HT_GC and thus double heap address space

Tommy Thorn · Aug 3, 2014, 5:20 AM UTC

86250c672c50

emu-32-bit: make it up-to-date and pass regressions

Tommy Thorn · Jul 29, 2014, 6:42 AM UTC

8230fb116c85

BayHac13 Demo

Tommy Thorn · May 18, 2013, 9:42 PM UTC

51d798e45394

Long overdue update to the README

Tommy Thorn · May 13, 2013, 7:57 AM UTC

5cddf4210f4e