Commits

Branch selector

 main

User selector

nanavati

Datepicker

All time

Commit History

Commits on Dec 19, 2024

• Updated expected output for tests

  Show description for 4b61c5e
  nanavati

  committed
  4b61c5e

  Copy full SHA for 4b61c5e

Commits on Oct 17, 2023

• Add missing features to the {-# properties foo = {...} #-} syntax in Classic (B-Lang-org#626)

  Show description for 71eec9b
  nanavati

  authored
  71eec9b

  Copy full SHA for 71eec9b

Commits on Oct 13, 2023

• Support some clock and reset pragmas in BH/Classic (B-Lang-org#624)

  Show description for af603ae
  nanavati

  authored
  af603ae

  Copy full SHA for af603ae

Commits on Mar 16, 2021

• Give padding-handling test more descriptive names.

  

  nanavati

  authored and

  quark17

  committed
  4f684c9

  Copy full SHA for 4f684c9

• Adjust expected signal names based on improved code generation.

  Show description for 095ee29
  

  nanavati

  authored and

  quark17

  committed
  095ee29

  Copy full SHA for 095ee29

• Differences in don't care handling change sysMips RegFile read warnings again.

  

  nanavati

  authored and

  quark17

  committed
  95a912d

  Copy full SHA for 95a912d

• Adjust expected output of IBuffer2.bsv testcase because some signal names have changed.

  

  nanavati

  authored and

  quark17

  committed
  d53cb48

  Copy full SHA for d53cb48

• Simplify regexp in MaybeMux.bsv test now that the generated code has improved.

  

  nanavati

  authored and

  quark17

  committed
  85e296b

  Copy full SHA for 85e296b

• Simplify regexp in Bug 1894 test now that the compiler is choosing don't care values more carefully.

  

  nanavati

  authored and

  quark17

  committed
  93908e7

  Copy full SHA for 93908e7

• Add an extra test for simplying expressions involving types with undefined padding bits

  Show description for a6701fa
  

  nanavati

  authored and

  quark17

  committed
  a6701fa

  Copy full SHA for a6701fa

• Update derived_bits tests once C0 examples pass.

  

  nanavati

  authored and

  quark17

  committed
  c8b4640

  Copy full SHA for c8b4640

• Add derived_bits tests for Either (B-Lang-org/bsc-testsuite#19)

  

  nanavati

  authored and

  quark17

  committed
  4129e37

  Copy full SHA for 4129e37

• Testcase for B-Lang-org#297

  

  nanavati

  authored and

  quark17

  committed
  b457984

  Copy full SHA for b457984

• Add derived_bits optimization tests for enums with custom tags.

  Show description for d2f2033
  

  nanavati

  authored and

  quark17

  committed
  d2f2033

  Copy full SHA for d2f2033

• Add expected Verilog and expected failures for all derived_bits test cases.

  

  nanavati

  authored and

  quark17

  committed
  0c1ecc3

  Copy full SHA for 0c1ecc3

• Add derived pack . unpack tests involving Maybes.

  

  nanavati

  authored and

  quark17

  committed
  2d6b206

  Copy full SHA for 2d6b206

• Make the module names more consistent in the derived Bits instance tests.

  

  nanavati

  authored and

  quark17

  committed
  396983d

  Copy full SHA for 396983d

• Testsuite updates for opt-iccon pull request

  Show description for a2e5b46
  

  nanavati

  authored and

  quark17

  committed
  a2e5b46

  Copy full SHA for a2e5b46

• Add some tests for optimization of derived Bits instances, with expected failures.

  

  nanavati

  authored and

  quark17

  committed
  c84c935

  Copy full SHA for c84c935

• Add testcases for "assert failed: IAp" fix.

  

  nanavati

  authored and

  quark17

  committed
  3453c71

  Copy full SHA for 3453c71

Commits on Mar 12, 2021

• Add special last clause to PrimDeepSeqCond for sum types to fix impcondof tests

  

  nanavati

  authored and

  krame505

  committed
  6424f4d

  Copy full SHA for 6424f4d

Commits on Feb 27, 2021

• Revert "PrimDeepSeqCond for sum types should fall through to an identity function"

  Show description for 88d4eef
  

  nanavati

  authored and

  quark17

  committed
  88d4eef

  Copy full SHA for 88d4eef

• Separate out and tweak logic for determining when to remove undetermined values in improveIf.

  Show description for 9963180
  

  nanavati

  authored and

  quark17

  committed
  9963180

  Copy full SHA for 9963180

Commits on Feb 14, 2021

• Guard e ++ (if c thn _) optimizations when there can be implicit conditions.

  

  nanavati

  authored and

  quark17

  committed
  c085ecd

  Copy full SHA for c085ecd

• Add e ++ (if c thn _) --> thn ++ e optimizations in ITransform

  Show description for ebeddfe
  

  nanavati

  authored and

  quark17

  committed
  ebeddfe

  Copy full SHA for ebeddfe

• Add support for bit concatenations with matching boundaries to improveIf

  

  nanavati

  authored and

  quark17

  committed
  1f33d02

  Copy full SHA for 1f33d02

Commits on Jan 30, 2021

• Let people spell prefix correctly in Classic.

  

  nanavati

  authored and

  quark17

  committed
  91ef301

  Copy full SHA for 91ef301

• Improve derived pack . unpack optimization by building the tag and payload separately.

  Show description for b16cabe
  

  nanavati

  authored and

  quark17

  committed
  b16cabe

  Copy full SHA for b16cabe

• PrimDeepSeqCond for sum types should fall through to an identity function

  Show description for 46a605e
  

  nanavati

  authored and

  quark17

  committed
  46a605e

  Copy full SHA for 46a605e

Commits on Jan 26, 2021

• Custom enums (B-Lang-org#298)

  Show description for 629c10a
  nanavati

  authored
  629c10a

  Copy full SHA for 629c10a

Commits on Jan 24, 2021

• Extend the if-else "constant tree" optimization to include undefined values.

  Show description for 69dee06
  

  nanavati

  authored and

  quark17

  committed
  69dee06

  Copy full SHA for 69dee06

Commits on Nov 4, 2020

• Fix tabs.

  

  nanavati

  authored and

  quark17

  committed
  103357f

  Copy full SHA for 103357f

• Stop "optimizing" constructor applications against undefined values because

  Show description for bad371b
  

  nanavati

  authored and

  quark17

  committed
  bad371b

  Copy full SHA for bad371b

Commits on Oct 27, 2020

• SimExpand: Replace union with stableOrdNub in mergeUses to fix a scaling issue.

  

  nanavati

  authored and

  quark17

  committed
  6206ea9

  Copy full SHA for 6206ea9

Commits on Oct 26, 2020

• Convert structs with no fields directly instead of building an undefined value.

  Show description for 9d5d18d
  

  nanavati

  authored and

  quark17

  committed
  9d5d18d

  Copy full SHA for 9d5d18d

Pagination

Previous

Next