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.

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

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

1753a4cb4a0f

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

Flite.Parse: Make "[ ]" a valid syntax for Nil everywhere

Tommy Thorn · May 11, 2013, 6:31 AM UTC

5a326dcdd601