| Age | Commit message (Collapse) | Author |
|---|
|
Signed-off-by: Elvis Dowson <elvis.dowson@gmail.com>
|
|
This commit:
- adds support for generate the conjugate of a complex number by
negating the complex part,
- updates the test suite for testing the complex conjugate function.
Signed-off-by: Elvis Dowson <elvis.dowson@gmail.com>
|
|
into this repository.
|
|
|
|
|
|
and replace with the safer snprintf or asprintf.
This resolves warnings (elevated to errors) when building on macOS 13.
|
|
|
|
|
|
|
|
The pretty-printer for `letseq` and `letrec` was not adding braces around
the variables being bound, resulting in malformed pretty-printed output such as
`letseq hw = "Hello, World!";; ...`. After adding braces, this now becomes
`letseq { hw = "Hello, World!"; };`, which is valid Bluespec code.
Fixes #529.
|
|
There was a missing space in the command that invokes `bsc2bsv`, which resulted
in a syntax error when trying to use it.
With this patch applied, I am able to run the `b611` test case successfully.
Fixes #531.
|
|
Update checkout, cache, download-artifact, and upload-artifact
from v2 to v3. There were some uses of upload-artifact@v1, but I can
see no reason why we held back to the older version (and the choice
wasn't consistent!), so these have been updated to v3.
In both the ubuntu and macos jobs for building the docs, there are
separate actions for uploading a tarfile vs a directory. Comments
were only included on the ubuntu job, so this adds them to the macos
job, and also attempts to make the wording more clear.
|
|
Also remove filters for the warning messages (when erroneously using it
in C compiler calls) from the testsuite. And remove its use in compiling
SystemC designs in the testsuite. This resolves issue 509.
|
|
This addresses issue 511 by disabling chained fixups, a new feature
in XCode 13 (macOS 11?) that is now on by default in XCode 14 (macOS 12)
and which may not work with undefined references when creating shared
objects (according to a warning).
|
|
|
|
Co-authored-by: Julie Schwartz <quark@bluespec.com>
|
|
with proper hie.yaml generator, unit tests, and documentation
|
|
BH manual comment, one more release note
|
|
|
|
|
|
upgrade Github CI from ghc 9.0.1 to ghc 9.0.2.
|
|
|
|
Verilator vsim build script: Remove bash-isms
|
|
|
|
remove obsolete parts of doc-building Makefile
|
|
Fix typo
|
|
|
|
build the release notes PDF and HTML in CI.
|
|
|
|
|
|
Bluespec Haskell guide with fixes for install and release
|
|
"ignoring prerequisites on suffix rule definition"
|
|
|
|
|
|
|
|
Create a doc zip file which does not have a tarball inside it,
|
|
for (somewhat) easier viewing of documents rendered by CI.
|
|
The version retrieved from Homebrew is now at a point that includes a
fix for the bug that our testsuite was triggering.
|
|
|
|
Add 22.04 beta VM to the Ubuntu matrix.
Update the linting checks to run on the latest VM, but specify it
explicitly as 20.04 rather than ubuntu-latest, so that it doesn't change
unexpectedly, only when we explicitly upgrade.
|
|
The '*' wildcard only applies to the listed directory. To apply the
attribute recursively to subdirectories, it is necessary to use '**'.
Tell linguist to ignore the 'doc' directory as documentation and to
ignore the testsuite as 'vendored'.
|
|
|
|
|
|
BSV Language Reference Guide updated, and brought into bsc repo (detail below)
- Historically, the Language Reference Guide included Libraries as one
big document, and the LaTeX sources were in an internal repo at
Bluespec, Inc. The PDF itself has long been available freely on
GitHub at BSVLang.
- On open-sourcing, the Library descriptions were extracted into a
separate document (see 'libraries_ref_guide/' in this repo).
- Now, this commit extracts the language description into
'BSV_ref_guide/'. The document has also been updated:
- To reflect the split into lang and lib ref guides.
- Several additional improvements/cleanups in the text, including:
- Expanded index
- Overview of Program Structure (in the Intro)
- A Brief History of BH and BSV (a one-page appendix)
|
|
ITransform already had a reduction rule for "e == e" (PrimEQ).
Add similar rules for PrimULT/PrimULE and PrimSLT/PrimSLE.
Add a test case for all twelve comparisions in the evaluator
(EQ/LT/LE, in both directions, signed and unsigned).
|
|
|
|
Updates #464
Signed-off-by: David Anderson <dave@natulte.net>
|
|
Signed-off-by: David Anderson <dave@natulte.net>
|
|
The notEmpty/notFull methods were conflict-free with enq/deq, which
meant that they could be called in any order, but the values are only
valid when called before enq/deq (for notFull) or after enq before deq
(for notEmpty). The test for Bypass FIFO schedules was exempting the
sized version because it has a dedicated test, but that test was not
catching this issue.
|
|
The CONFIG_SHELL variable should be set to an absolute path, in case
some tool (such as the GHC installation) creates a shell script using
this value after the shebang. So our example should show '/bin/sh'
and not 'sh'.
|
