|
|
65f9ab32f4
|
switch to edition 2024
|
2025-08-24 15:53:21 -07:00 |
|
|
|
67e66ac3bd
|
upgrade to rust 1.89.0
|
2025-08-24 15:53:21 -07:00 |
|
|
|
91e1b619e8
|
switch to petgraph 0.8.1 now that my PR was merged and released to crates.io
/ deps (pull_request) Successful in 18s
/ test (pull_request) Successful in 4m25s
|
2025-04-09 20:48:40 -07:00 |
|
|
|
e2d2d4110b
|
upgrade hashbrown to 0.15.2
|
2025-04-09 20:33:21 -07:00 |
|
|
|
2ab8428062
|
upgrade syn version
|
2024-12-28 23:39:08 -08:00 |
|
|
|
9f42cab471
|
change to version 0.3.0 for breaking change
|
2024-12-05 20:26:28 -08:00 |
|
|
|
fa50930ff8
|
update petgraph dependency to include UnionFind::new_set()
|
2024-11-25 00:00:26 -08:00 |
|
|
|
52ab134673
|
increase rust version to support omitting match arms with uninhabited types
/ deps (push) Successful in 17s
/ test (push) Failing after 1m18s
/ deps (pull_request) Successful in 13s
/ test (pull_request) Failing after 1m17s
|
2024-11-24 14:41:39 -08:00 |
|
|
|
a6e40839ac
|
simulator WIP: use petgraph for topological sort over assignments
|
2024-11-20 22:53:54 -08:00 |
|
|
|
f338f37d3e
|
working on simulator
|
2024-11-20 22:53:54 -08:00 |
|
|
|
277d3e0d4d
|
working on simulator
|
2024-11-20 22:53:54 -08:00 |
|
|
|
5bd0de48b7
|
change to version 0.2.1
|
2024-10-30 19:36:05 -07:00 |
|
|
|
42effd1132
|
switch to using a make job server for managing test parallelism
/ test (push) Failing after 39m16s
|
2024-10-15 20:32:33 -07:00 |
|
|
|
bf907c3872
|
cache results of formal proofs
/ test (push) Successful in 39m54s
|
2024-10-07 23:31:24 -07:00 |
|
|
|
efc3a539ed
|
support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests
|
2024-09-25 02:00:06 -07:00 |
|
|
|
4ff01690a7
|
clean up deps and move missed deps to workspace
|
2024-09-25 01:22:35 -07:00 |
|
|
|
5835b995a9
|
WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types
/ test (push) Successful in 4m56s
|
2024-08-21 22:27:21 -07:00 |
|
|
|
c19a6821cf
|
bump version to 0.2.0 in prep for breaking changes
|
2024-07-30 19:57:23 -07:00 |
|
|
|
6a5f1b8af1
|
prep for eventual publishing
/ test (push) Successful in 9m43s
|
2024-07-11 22:39:00 -07:00 |
|
|
|
0b958e7852
|
initial public commit
|
2024-06-10 23:09:13 -07:00 |
|
