Commits

Commits on May 20, 2024

Merge branch 'main' of github.com:VCA-EPFL/bsc
threonorm
committedMay 20, 2024
Add prototype translation
threonorm
committedMay 20, 2024

Commits on Apr 18, 2024

Update LSP_README.md
threonorm
committedApr 18, 2024

Commits on Feb 22, 2024

Better syntax
threonorm
committedFeb 22, 2024
Support multiple arguments, no type annotations yet
threonorm
committedFeb 22, 2024
Deactivate parallel compilation experiment, modify parser to support anonymous functions
threonorm
committedFeb 22, 2024

Commits on Feb 12, 2024

Fix typo
threonorm
committedFeb 12, 2024

Commits on Feb 3, 2024

Fix datarace
threonorm
committedFeb 3, 2024

Commits on Dec 22, 2023

Make speedystring safe (but underperforming)
threonorm
committedDec 22, 2023
Threadsafe mutvar
threonorm
committedDec 22, 2023
Add GC pass
threonorm
committedDec 22, 2023

Commits on Dec 21, 2023

use fork finally
bthom
committedDec 21, 2023
Missing race condition
bthom
committedDec 21, 2023

Commits on Dec 17, 2023

Fix lsp parallel, still outstanding issues?
threonorm
committedDec 17, 2023
Build option -u works in parallel
threonorm
committedDec 17, 2023

Commits on Dec 10, 2023

Seemingly successful parallelization of bsc_lsp
Thomas
committedDec 10, 2023
Toward parallel build
Thomas
committedDec 10, 2023

Commits on Nov 19, 2023

Merge branch 'main' of github.com:VCA-EPFL/bsc
threonorm
committedNov 19, 2023
Update name configuratoin
threonorm
committedNov 19, 2023

Commits on Nov 17, 2023

Update LSP_README.md
threonorm
committedNov 17, 2023

Commits on Nov 12, 2023

Does not fail on warnings, make bsclsp lightweight independent of bsc
Thomas
committedNov 12, 2023

Commits on Nov 9, 2023

Add preliminary support for LSP

Thomas
authored and
threonorm
committedNov 9, 2023

Commits on Nov 4, 2023

README.md: add package information about gentoo (B-Lang-org#640 )
vowstar
committedNov 4, 2023

Commits on Nov 2, 2023

Fix type: s/typdef/typedef/

hce
authored and
quark17
committedNov 2, 2023

Commits on Oct 31, 2023

Update the URL for Icarus Verilog
quark17
committedOct 31, 2023

Commits on Oct 24, 2023

Update testsuite after proviso changes in FixedPoint
quark17
committedOct 24, 2023
Improve provisos on FixedPoint function epsilon

darius-bluespec
authored and
quark17
committedOct 24, 2023
Improve provisos in FixedPoint package.

darius-bluespec
authored and
quark17
committedOct 24, 2023

Commits on Oct 20, 2023

Fixes to typecheck of struct update/literal/pattern
quark17
committedOct 20, 2023

Commits on Oct 17, 2023

Add missing features to the {-# properties foo = {...} #-} syntax in Classic (B-Lang-org#626 )
nanavati
committedOct 17, 2023

Commits on Oct 13, 2023

Update BSC to compile with GHC 9.8.1
quark17
committedOct 13, 2023
Support some clock and reset pragmas in BH/Classic (B-Lang-org#624 )
nanavati
committedOct 13, 2023

Commits on Sep 21, 2023

Fix typo "gate_input_clock" -> "gate_input_clocks"

Charlie Ross
authored and
quark17
committedSep 21, 2023

Commits on Sep 8, 2023

Rework the named semaphore implementation.

Charlie Ross
authored and
quark17
committedSep 8, 2023

Commits on Sep 4, 2023

Disallow ° and ´ in BH identifiers; now symbol characters

Mieszko
authored and
quark17
committedSep 4, 2023