-
Updated
Sep 2, 2020 - Kotlin
verification
Here are 708 public repositories matching this topic...
-
Updated
Jun 26, 2020
-
Updated
Aug 6, 2020 - C++
-
Updated
Sep 3, 2020 - Go
-
Updated
Sep 3, 2020 - F*
-
Updated
Aug 24, 2020 - Java
-
Updated
Jun 15, 2018 - Go
-
Updated
Mar 23, 2019 - Java
As an optimization gpi_log caches the gpi logging level. This cached value is not currently updated when the "cocotb.gpi" logger's level is updated in Python. This will require creating a logging.Handler subclass that calls simulator.set_level when its setLevel method is called.
eg. SomeProvider or some-provider
-
Updated
Jul 25, 2020 - Go
-
Updated
Sep 5, 2018 - JavaScript
VUnit.add_source_files_from_csv() only passes vhdl_standard kwarg to Library.add_source_file(). However, my file gatherer uses .ahd file extensions to denote altera, .xhd to denote xilinx, and so on. I need the file_type available at least so I can tell VUnit that those file types are still vhdl, but all arguments should be available.
-
Updated
Mar 3, 2019 - Lean
-
Updated
Dec 11, 2016 - Objective-C
-
Updated
Aug 16, 2020 - VHDL
-
Updated
Aug 29, 2020 - Python
-
Updated
Aug 24, 2020 - Rust
-
Updated
Sep 2, 2020 - C++
-
Updated
Sep 1, 2020 - Go
-
Updated
Sep 1, 2020 - C
-
Updated
Aug 25, 2020 - OCaml
-
Updated
Feb 2, 2020 - Go
-
Updated
Jun 16, 2020 - Erlang
-
Updated
Dec 30, 2019 - JavaScript
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