32 Commits

Author	SHA1	Message	Date
Wilson Snyder	13a1240359	Commentary: Changes update	2024-09-29 21:41:05 -04:00
Chris Bachhuber	685ea0bc65	Add Docker pre-commit hook (#5238) (#5452)	2024-09-23 07:37:24 -04:00
Chris Bachhuber	b17619296a	Documentation: Highlight syntax in install.rst (#5478)	2024-09-22 15:55:12 -04:00
Wilson Snyder	07bb8c701d	Convert test driver to Python (#5427)	2024-09-08 13:00:03 -04:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947)	2024-05-17 10:38:34 -04:00
Szymon Gizler	8301fdc6d3	Add JSON AST dumps (#5020)	2024-03-28 07:32:18 -04:00
Geza Lore	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
Wilson Snyder	e76f29e5ba	Copyright year update	2024-01-01 03:19:59 -05:00
Kamil Rakoczy	6e977e1024	Generate compile_commands.json using bear (#4463)	2023-09-08 17:26:11 -04:00
Wilson Snyder	01d0f0327b	Commentary (#4254)	2023-06-13 08:22:57 -04:00
Wilson Snyder	70d26ec123	Commentary (#4211) (#4254)	2023-06-12 21:59:33 -04:00
Wilson Snyder	5cf9d78516	Commentary	2023-06-12 20:28:32 -04:00
Andrei Kostovski	d8c2ecaaf8	Commentary: Update install.rst for help2man (#4260) (#4261)	2023-06-03 10:31:17 -04:00
Wilson Snyder	426069a4dd	Configure for faster C++ linking using 'mold', if it is installed.	2023-05-23 21:26:29 -04:00
Wilson Snyder	76f5de6e54	Replace flake8 with ruff for Python linting	2023-05-06 06:08:32 -04:00
february cozzocrea	707f230353	Commentary: Update install.rst help2man dependency (#4161)	2023-05-02 14:32:24 -04:00
Wilson Snyder	3fe81a3832	Add manpages for missing user commands (using help2man)	2023-01-17 19:26:12 -05:00
Wilson Snyder	b24d7c83d3	Copyright year update	2023-01-01 10:18:39 -05:00
Kritik Bhimani	65daf99bf4	Support Windows-native builds using cmake (#3814)	2022-12-20 19:42:27 -05:00
Kamil Rakoczy	7a15457511	Tests: Add multithreading attribute checks (#3748)	2022-12-16 11:19:27 -05:00
Wilson Snyder	b6cdae30f6	docs: Fix grammar.	2022-12-10 20:09:47 -05:00
Wilson Snyder	75a70bee6d	Update to clang-format-14 on Ubuntu22.04	2022-09-27 21:47:45 -04:00
Geza Lore	d721f70690	Commentary	2022-06-13 12:14:37 +01:00
Geza Lore	829437b20b	Commentary - dependencies	2022-05-15 15:25:46 +01:00
Larry Doolittle	c2d18d8ae4	Commentary: More minor spelling fixes in docs/guide/*.rst (#3331)	2022-03-01 22:07:12 -05:00
Wilson Snyder	ca42be982c	Copyright year update.	2022-01-01 08:26:40 -05:00
Wilson Snyder	ef7759a522	Commentary re: WSL2	2021-10-19 20:34:13 -04:00
Wilson Snyder	0fc805202c	Commentary (#3139)	2021-09-21 18:15:56 -04:00
Ivan Vnučec	8f527a0c6e	Commentary (#3102) ... Actually you can see `https://github.com/verilator/verilator` URL in your browser.	2021-08-18 15:19:02 -04:00
Wilson Snyder	e6b75f752b	Commentary	2021-07-09 17:46:11 -04:00
Geza Lore	c75a686081	Internals: Update to clang-format-11 (#3021)	2021-06-14 14:50:40 -04:00
Wilson Snyder	adce7ecf4b	Documentation has been rewritten into a book format.	2021-04-11 18:55:06 -04:00