Merge branch 'main' into genwrap

B-Lang-org · Oct 18, 2024 · 82a1c3f · 82a1c3f
2 parents d7b1859 + 6f29814
commit 82a1c3f
Show file tree

Hide file tree

Showing 26 changed files with 6 additions and 1,501 deletions.
diff --git a/.github/workflows/install_dependencies_doc_macos.sh b/.github/workflows/install_dependencies_doc_macos.sh
@@ -2,4 +2,4 @@
 
 brew update
 
-brew install mactex-no-gui
+brew install texlive
diff --git a/README.md b/README.md
@@ -2,10 +2,12 @@
 
 # Bluespec Compiler
 
-[![Version]](https://github.com/B-Lang-org/bsc/releases/tag/2024.01) [![License]](./COPYING) [![Build Status]](https://github.com/b-lang-org/bsc/actions?query=workflow%3ACI+event%3Apush)
+[![Version]](https://github.com/B-Lang-org/bsc/releases/tag/2024.07)
+[![License]](./COPYING)
+[![Build Status]](https://github.com/b-lang-org/bsc/actions?query=workflow%3ACI+event%3Apush)
 
 [License]:        https://img.shields.io/badge/license-BSD%203-blueviolet.svg
-[Version]:        https://img.shields.io/badge/release-2024.01-red.svg?logo=v
+[Version]:        https://img.shields.io/badge/release-2024.07-red.svg?logo=v
 [Build Status]:   https://github.com/b-lang-org/bsc/workflows/CI/badge.svg?branch=main&event=push
 
 **[Community] &bull; [Download] &bull; [Documentation] &bull; [Build] &bull; [Test]**

diff --git a/doc/libraries_ref_guide/LibDoc/Prelude.tex b/doc/libraries_ref_guide/LibDoc/Prelude.tex
@@ -1298,7 +1298,7 @@ \subsubsection{BitExtend}
 \cline{2-2}
 &\begin{libverbatim}
 function x#(m) truncate (x#(n) d)
-   provisos (Add#(k, n, m));
+   provisos (Add#(k, m, n));
 \end{libverbatim}
 \\
 \hline

diff --git a/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,4 @@

		brew update

		brew install mactex-no-gui
		brew install texlive