;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès ;;; Copyright © 2016 Christopher Allan Webber ;;; Copyright © 2016 Leo Famulari ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Public License as published by ;;; the Free Software Foundation; either version 3 of the License, or (at ;;; your option) any later version. ;;; ;;; GNU Guix is distributed in the hope that it will be useful, but ;;; WITHOUT ANY WARRANTY; without even the implied warranty of ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;; GNU General Public License for more details. ;;; ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see . (define-module (gnu system vm) #:use-module (guix config) #:use-module (guix store) #:use-module (guix gexp) #:use-module (guix derivations) #:use-module (guix packages) #:use-module (guix monads) #:use-module (guix records) #:use-module (guix modules) #:use-module ((gnu build
aboutsummaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Collapse)Author
2020-12-24fix typoWojciech Kosior
2020-12-24prepare makefile infrastructure for writing examplesWojciech Kosior
2020-11-23write Wasm code, that can print a number on the screenWojciech Kosior
2020-11-23add unsigned division remainder instructionWojciech Kosior
2020-11-21add miscellaneous module, which controls led2 and button2 and provides a ↵Wojciech Kosior
timer; include a testbench for timer and led
2020-11-21increase number of wb slaves, that can be attached to the interconWojciech Kosior
2020-11-03incorporate SPI module into main designWojciech Kosior
2020-11-03add spi wishbone slave with a simplified flash memory chip model and a test ↵Wojciech Kosior
bench
2020-10-08translate webasm block of instructions + put instruction names as comments ↵Wojciech Kosior
in generated code
2020-10-06add translation of relational operations and loopsWojciech Kosior
2020-10-06add relational operations to stack machineWojciech Kosior
2020-10-06add translation of br_if instructionWojciech Kosior
2020-10-05fixes, add_sp instruciton and translation of br instruction from wasmWojciech Kosior
2020-10-05fixes, conditional if-not jump and translation of if-else instruction from wasmWojciech Kosior
2020-09-21enable translation of few arithmetic operations (testbench included)Wojciech Kosior
2020-09-21fix memory verification in wasm_compile testsWojciech Kosior
2020-09-21put function call wasm_compile test in separate benchWojciech Kosior
2020-09-21prepare to perform wasm_compile tests a bit different from stack_machine testsWojciech Kosior
2020-09-19initial work towards translating wasm to stack machine (with a provisional ↵Wojciech Kosior
bench)
2020-09-16add function calling (call, ret and drop instructions) with a testbench + ↵Wojciech Kosior
bugfix in stack machine
2020-09-16fix old commentsWojciech Kosior
2020-09-14update comment to reflect changesWojciech Kosior
2020-09-14add ability to make non-aligned loads/stores and loads/stores of 1 or 2 ↵Wojciech Kosior
bytes together with test bench
2020-09-14fix outdated information in commentsWojciech Kosior
2020-09-09enable byte-grained reads and writes through interface_wrapperWojciech Kosior
2020-09-08enable slave and master models to use SEL_ signalWojciech Kosior
2020-09-08remove trailing whitespaceWojciech Kosior
2020-09-08modernize the build (test) systemWojciech Kosior
2020-09-08remove old debugging codeWojciech Kosior
2020-09-07remove old version of stack machine from the projectWojciech Kosior
2020-09-07update soc toplevel module to use new version of stack machineWojciech Kosior
2020-09-07add wrapped stack machine with benchWojciech Kosior
2020-09-07add intercon module, that encapsulates slave_dispatcher and master_arbiter ↵Wojciech Kosior
and a bench for it (use adapted operations files from master_arbiter test)
2020-09-07rename intercon to slave_dispatcher (soc module will remporarily stop ↵Wojciech Kosior
working from this commit on)
2020-09-07add a wishbone arbiter for 2 mastersWojciech Kosior
2020-09-07add wrapper from wb master interface with 32-bit data port to wb interface ↵Wojciech Kosior
with 16-bit data port together with testbench
2020-09-05add cond_jump instruction together with benchWojciech Kosior
2020-09-05add jump instruction together with benchWojciech Kosior
2020-09-05add mul instruction together with benchWojciech Kosior
2020-09-05add div instruction together with benchWojciech Kosior
2020-09-05add swap instruction together with benchWojciech Kosior
2020-09-05add sub instruction together with benchWojciech Kosior
2020-09-05add add instruction together with benchWojciech Kosior
2020-09-05add tee instruction together with benchWojciech Kosior
2020-09-05add tclasm multiinstructions (instructions, that possibly translate to more ↵Wojciech Kosior
than one)
2020-09-05add load_store bench for new stack machineWojciech Kosior
2020-09-05add first simple bench for new stack machineWojciech Kosior
2020-09-04add bench for parametrized instantiation of modelsWojciech Kosior
2020-09-03rename tclasm.tcl to tclasm_old.tcl (prepare for redesign of the stack machine)Wojciech Kosior