464e19caaa
Tests: Fix ubuntu24.04-arm issues
2025-03-22 16:55:53 -04:00
2cad858d32
Bump vcddiff ( #5828 )
...
For #5806 via veripool/vcddiff#5
2025-03-04 16:21:25 +00:00
bab949a468
Use tcmalloc on non 22.04 CI builds ( #5818 )
2025-03-02 08:13:20 +00:00
07bb8c701d
Convert test driver to Python ( #5427 )
2024-09-08 13:00:03 -04:00
9643232d36
CI: Add Ubuntu 24.04 script (not enabled yet)
2024-09-07 10:12:35 -04:00
739be2f782
Support constrained randomization with external solvers ( #4947 )
2024-05-17 10:38:34 -04:00
8301fdc6d3
Add JSON AST dumps ( #5020 )
2024-03-28 07:32:18 -04:00
494e05b326
Fix install instructions for attribute checks, do the same in CI ( #4995 )
...
On Ubuntu 22.04, pip install clang picks up a mismatched version by
default. There are 'apt' packages with correct dependencies, so use
those instead.
2024-03-17 12:10:13 +00:00
0cab076b86
CI: Reenable address sanitizer and fix core dumps ( #4983 )
2024-03-15 21:06:21 -04:00
3eaed3b6f5
Remove deprecated 32-bit pointer mode ( #4791 ).
2024-01-01 10:16:48 -05:00
6e977e1024
Generate compile_commands.json using bear ( #4463 )
2023-09-08 17:26:11 -04:00
d66e749ec8
CI: Fix mold build
2023-05-23 22:25:03 -04:00
5704552053
Fix ci for mold
2023-05-23 21:30:39 -04:00
426069a4dd
Configure for faster C++ linking using 'mold', if it is installed.
2023-05-23 21:26:29 -04:00
3fe81a3832
Add manpages for missing user commands (using help2man)
2023-01-17 19:26:12 -05:00
520f6e5fdc
CI: Try apt twice to reduce false network failures
2023-01-07 20:27:00 -05:00
7a15457511
Tests: Add multithreading attribute checks ( #3748 )
2022-12-16 11:19:27 -05:00
45d622e4bc
Github actions: Avoid cpan cert expirations.
2022-09-08 11:06:44 -04:00
9a27004ae5
Github actions: Avoid cpan cert expirations.
2022-09-07 22:49:09 -04:00
694919b9d1
CI: add ubuntu-22.04 regressions
2022-05-30 18:34:41 +01:00
d4e73e215e
Tests: fail test if vcddiff aborts, fix failing tests
...
Tests used to silently pass when vcddiff aborted. Now fixed. Updated
large array trace reference files for FST, added same reference files
for VCD.
Developers need to update their local vcddiff.
2021-07-01 23:22:25 +01:00
208f1504fb
CI: Add -m32 build
2021-06-14 00:37:59 +01:00
01a54d6960
CI: Build opt and dbg together, archive whole source tree
...
Prep for adding more CI targets. Building dbg and opt in the same job
(as standard) simplifies caching, debugging and artifact handling. With
ccache it should not take much longer either. Also removes the need to
re-configure in the test job.
2021-06-13 22:45:57 +01:00
a17e2375b3
CI: Need flexlexer for internal coverage testrun
2021-01-02 21:42:41 -05:00
b8b9170f9d
Remove Unix::Processors dependency
2020-12-23 16:07:14 -05:00
e37a93bffb
CI: (fix) check that CCACHE_DIR is set, before execing mkdir
2020-12-23 19:52:37 +01:00
6e3de7bfd1
CI: exploit concurrency ( #2687 )
...
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2020-12-23 18:53:05 +01:00
4db673b2ff
ci: Fix Ubuntu-18.04/16.04 runs
2020-12-10 20:22:00 -05:00
73a7595335
Add the initial version of CI using GitHub Actions ( #2665 )
...
* Add the initial version of CI using GitHub Actions
* Update .github/workflows/check_pr.yml
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
* remove setting for travis
* rename travis-*.bash to ci-*.bash
* Rename TRAVIS_ variables to CI_
* install ccache and libsystemc(-dev) in ci-install.bash
* Use CI_ variables and Ubuntu-20.04 that provides SystemC
* call ccache maintenance
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2020-12-05 00:30:46 +09:00
Wilson Snyder