Stefan Wallentowitz b65f2509a2 Devcontainer support (#4748) ... devcontainers are a convenient way to provide users a reproducible build environment. It is currently supported by Visual Studio Code, Visual Studio and IntelliJ. When the user opens the verilator repo in VSCode with the standard devcontainer extension installed, VSCode will ask the user if they want to reopen in the devcontainer, then build the Docker image as per our definition and then restart VSCode 'remotely' attached to the Docker container. More information: https://code.visualstudio.com/docs/devcontainers/containers Also: - zlibc is missing on Debian-based systems now - Add non-root user to Dockerfile and make default		2023-12-12 08:46:25 +01:00
..
docker	Devcontainer support (#4748)	2023-12-12 08:46:25 +01:00
ci-ccache-maint.bash	Commentary	2023-10-21 10:35:07 -04:00
ci-install.bash	Generate compile_commands.json using bear (#4463)	2023-09-08 17:26:11 -04:00
ci-script.bash	Commentary	2023-10-21 10:35:07 -04:00
ci-win-compile.ps1	github: msbuild compile with -j 3	2023-02-03 18:47:54 -05:00
ci-win-test.ps1	github: msbuild compile with -j 3	2023-02-03 18:47:54 -05:00
coverage-upload.sh	Internal coverage: locally download codecov script for security (#2904)	2021-04-24 09:39:54 -04:00