-
Updated
Jan 18, 2021 - Kotlin
verification
Here are 770 public repositories matching this topic...
-
Updated
Oct 21, 2020
-
Updated
Aug 6, 2020 - C++
-
Updated
Jan 20, 2021 - Go
-
Updated
Jan 20, 2021 - Java
-
Updated
Jan 20, 2021 - F*
-
Updated
Jun 15, 2018 - Go
-
Updated
Oct 5, 2020 - Java
The attached file demonstrates that cocotb does not support custom logging levels. This may be the intention as there is an assertion in the code regarding acceptable logging levels, it is limiting.
I don't think cocotb should throw an exception on an unexpected level. Instead I think it should have a default behavior. It appears the log colorization system doesn't know what to do with 5. It
-
Updated
Jan 11, 2021 - Go
Pre issue-raising checklist
I have already (please mark the applicable with an x):
- Upgraded to the latest Pact Broker OR
- Checked the CHANGELOG to see if the issue I am about to raise has been fixed
- [N/A] Created an executable example that demonstrates the issue using either a:
- Dockerfile
- Git repository with a Travis or Appveyor (or similar) build
Software
-
Updated
Jan 4, 2021 - C++
-
Updated
Sep 5, 2018 - JavaScript
Here is the problem:
$ make compile
Traceback (most recent call last):
File "C:\My_Designs\probe_fpga_design_1\run.py", line 336, in
main()
File "C:\My_Designs\probe_fpga_design_1\run.py", line 181, in main
vu.add_osvvm()
File "c:\my_designs\probe_fpga_design_1\deps\vunit\vunit\ui_init_.py", line 1030, in add_osvvm
self.builtins.add("osvvm")
File "c:\my
-
Updated
Nov 29, 2020 - VHDL
-
Updated
Mar 3, 2019 - Lean
-
Updated
Dec 31, 2020 - Rust
-
Updated
Jan 20, 2021 - Go
-
Updated
Dec 11, 2016 - Objective-C
-
Updated
Jan 20, 2021 - Python
-
Updated
Jan 5, 2021 - C++
-
Updated
Jan 20, 2021 - C
-
Updated
Jan 19, 2021 - OCaml
-
Updated
Dec 13, 2020 - JavaScript
-
Updated
Dec 18, 2020
-
Updated
Feb 2, 2020 - Go
Improve this page
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."
This is very low prio, but it usually happens that when touching
Primsor some other file high in the dependency graph, we get spurious diffs in many other files. Since we check-in the snapshot, and we need to have it up-to-date, we get very verbose commits when nothing relevant changed. Plus, when something did change, it's hard to spot.Example: I removed a few lines in prims and get things