verification
Here are 898 public repositories matching this topic...
This requires just some small improvements, the error itself being harmless, but annoying.
$ immuadmin-090 login immudb
ERROR 2021/01/28 09:46:25 Couldn't discover absolute path
ERROR 2021/01/28 09:46:25 getwd: no such file or directory
Password:
logged in
$immuadmin-090 is just a sym link:
$ which immuadmin-090
/home/{user}/apps/bin/immuadmin-090
$
$ ls Stabler gensym
This is very low prio, but it usually happens that when touching Prims or 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
-
Updated
Aug 6, 2020 - C++
-
Updated
Feb 9, 2021
-
Updated
Sep 9, 2021 - Java
-
Updated
Sep 10, 2021 - F*
-
Updated
Jun 15, 2018 - Go
Several users have asked for an example of how to use the makefiles in projects that contain precompiled and/or encrypted IP cores or libraries. There should be a simple example. It will likely not work for them, but could act as a template.
Alternatively, documentation or an explicit API for these objects would also help.
-
Updated
Feb 15, 2021 - Java
Future documentation for this feature:
To delete pacts for a specific tag.
-
Open the Pact Broker and click "show latest tags"
-
Scroll to the row for the consumer/tag that you wish to delete.
-
Click on the "..." icon for that row
-
Select "Delete pacts for tag <tag>"
-
You will see a prompt with the text
This will delete the pacts for provider <provider> and all ver
-
Updated
Jan 11, 2021 - Go
-
Updated
Sep 3, 2021 - C++
-
Updated
Apr 28, 2021 - 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
Jul 31, 2021 - Go
-
Updated
Sep 3, 2021 - Rust
Caching builds in CI
It would be useful to cache builds in CI. The proper way seems to be what's described here: https://matklad.github.io/2021/09/04/fast-rust-builds.html#ci-caching.
-
Updated
Nov 29, 2020 - VHDL
-
Updated
Jul 29, 2021 - Python
-
Updated
Mar 3, 2019 - Lean
-
Updated
May 3, 2020 - Verilog
-
Updated
Sep 1, 2021 - C
-
Updated
Dec 11, 2016 - Objective-C
-
Updated
Sep 8, 2021 - C
-
Updated
Dec 13, 2020 - JavaScript
-
Updated
Sep 8, 2021 - C
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."
They are all currently written in groovy; I'd like to migrate them to the build.gradle.kts format to make the whole project Kotlin-based.
I think this can be done in steps, migrating one build.gradle file at a time - not sure about it though.