Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 7, 2022

• rv: Fix a typo in a comment

  

  ju-sh

  authored and

  cpitclaudel

  committed
  c758c7b

  Copy full SHA for c758c7b

• rv: Remove elf2hex binary

  

  namin

  authored and

  cpitclaudel

  committed
  12bdfb7

  Copy full SHA for 12bdfb7

Commits on Mar 4, 2022

• backends/makefile: Add CXXLDFLAGS variable to replace -Wl,--start-group

  Show description for 8dae8df
  cpitclaudel

  committed
  8dae8df

  Copy full SHA for 8dae8df

• build: Remove -t flag in call to cp to restore macOS compatibility

  Show description for ed80443
  cpitclaudel

  committed
  ed80443

  Copy full SHA for ed80443

• backends/cpp: Make bits<1>::operator bool() implicit

  Show description for 3f6f8fa
  cpitclaudel

  committed
  3f6f8fa

  Copy full SHA for 3f6f8fa

Commits on Feb 28, 2022

• build: Check version of make (part of GH-18)

  cpitclaudel

  committed
  01de9ea

  Copy full SHA for 01de9ea

• backends/cpp: Clean up headers in hopes of fixing GH-18

  cpitclaudel

  committed
  d60b4df

  Copy full SHA for d60b4df

Commits on Feb 10, 2022

• coq/parsing: Add notations for array operations

  cpitclaudel

  committed
  d37710f

  Copy full SHA for d37710f

Commits on Oct 27, 2021

• readme: Update repository map

  cpitclaudel

  committed
  de9bfce

  Copy full SHA for de9bfce

• coq/vect: Add a few to_N lemmas

  cpitclaudel

  committed
  2d00de5

  Copy full SHA for 2d00de5

Commits on Oct 6, 2021

• examples/combinational: Further tweaks

  cpitclaudel

  committed
  637e879

  Copy full SHA for 637e879

• Adding description encoding of instructions

  threonorm

  authored
  3f90986

  Copy full SHA for 3f90986

• examples: Add a combinational circuit mini-tutorial

  cpitclaudel

  committed
  09143e5

  Copy full SHA for 09143e5

• coq/vect: Define rotate_[lr]

  cpitclaudel

  committed
  4f43c58

  Copy full SHA for 4f43c58

Commits on Sep 30, 2021

• backends/cpp: Fix up a typo in the last commit

  Show description for 5b4982e
  cpitclaudel

  committed
  5b4982e

  Copy full SHA for 5b4982e

Commits on Aug 24, 2021

• backends/cpp: Don't hide local variables named "tmp" in calls to intfuns

  Show description for 4bd7ed2
  cpitclaudel

  committed
  4bd7ed2

  Copy full SHA for 4bd7ed2

Commits on Jul 1, 2021

• examples/rv: Clarify where to find FPGA build instructions

  cpitclaudel

  committed
  da174b5

  Copy full SHA for da174b5

Commits on May 13, 2021

• readme: Mention clang-format

  cpitclaudel

  committed
  ff6d7c9

  Copy full SHA for ff6d7c9

Commits on May 11, 2021

• coq: Fix typo in UIf case of error localization function

  Show description for 1c2bb64
  cpitclaudel

  committed
  1c2bb64

  Copy full SHA for 1c2bb64

Commits on May 4, 2021

• coq: Fix printing of bitvector constants in Coq 8.12+

  cpitclaudel

  committed
  da0ba13

  Copy full SHA for da0ba13

• coq/circuits: Optimize away selects in single-bit words

  Show description for 2de2d21
  cpitclaudel

  committed
  2de2d21

  Copy full SHA for 2de2d21

• coq/circuits: Use transparent mul_1_r proof in implementation of SExt

  Show description for 6e7e4bb
  cpitclaudel

  committed
  6e7e4bb

  Copy full SHA for 6e7e4bb

Commits on Apr 20, 2021

• backends/cpp: Ensure that BOOST_VERSION is defined before checking it

  Show description for 61c3587
  cpitclaudel

  committed
  61c3587

  Copy full SHA for 61c3587

Commits on Apr 15, 2021

• coq: Update for 8.12, 8.13 compatibility

  Show description for 8a42a5d
  cpitclaudel

  committed
  8a42a5d

  Copy full SHA for 8a42a5d

Commits on Apr 13, 2021

• coq/correctness: Update CircuitCorrectness.v and Correctness.v (#7)

  Show description for 69ca343
  cpitclaudel

  committed
  69ca343

  Copy full SHA for 69ca343

Commits on Apr 1, 2021

• examples/rv: Clarify synthesis instructions

  cpitclaudel

  committed
  37a4d8b

  Copy full SHA for 37a4d8b

Commits on Mar 11, 2021

• examples/rv: Add missing ext_host_id

  Show description for 1166cf4
  cpitclaudel

  committed
  1166cf4

  Copy full SHA for 1166cf4

Commits on Mar 9, 2021

• readme: Fix link to logo

  Show description for 59e4777
  cpitclaudel

  committed
  59e4777

  Copy full SHA for 59e4777

Commits on Mar 8, 2021

• readme: Explain how to run the rv32i on a ULX3S FPGA

  cpitclaudel

  committed
  1af4f25

  Copy full SHA for 1af4f25

• examples/rv: Make it easier to use a different memory image

  cpitclaudel

  committed
  c8bdb08

  Copy full SHA for c8bdb08

• example/rv: Generalize morse.c test

  cpitclaudel

  committed
  ae7ea86

  Copy full SHA for ae7ea86

• etc: Move logos to a separate folder

  cpitclaudel

  committed
  160f2df

  Copy full SHA for 160f2df

• examples/rv: Move wait() function to mmio.c in tests

  cpitclaudel

  committed
  4e39bf7

  Copy full SHA for 4e39bf7

• examples/rv: Add graphical integration test

  cpitclaudel

  committed
  a11e787

  Copy full SHA for a11e787

• examples/rv: Use new host_is_fpga function in morse and primes tests

  cpitclaudel

  committed
  9299afb

  Copy full SHA for 9299afb

Pagination

Previous

Next