Tags

Tags give the ability to mark specific points in history as being important

2024-10-07-a99dd7b

a99dd7b4 · Surelog parses more attributes for nets, modules, while at it support formal at… (#2605) · Oct 07, 2024
2024-10-03-fafc19c

fafc19c3 · Package import fix for synlig (#2604) · Oct 03, 2024
2024-10-02-8f2fa06

8f2fa065 · Build(deps): Bump third_party/sby from `d9a5845` to `62d1708` (#2596) · Oct 02, 2024
2024-10-01-704669c

704669c6 · Build(deps): Bump third_party/surelog from `4d8ef9e` to `c0cdf5f` (#2600) · Oct 01, 2024
2024-09-25-d6213b3

d6213b3a · Build(deps): Bump third_party/black_parrot_tools from `c552b44` to `2c2df67` (#2584) · Sep 25, 2024
2024-09-20-307ca75

307ca75d · Build(deps): Bump third_party/black_parrot_sdk from `de0a1c2` to `337699d` (#2540) · Sep 20, 2024
2024-09-19-078b706

078b7067 · Refactor parsing tests CI (#2574) · Sep 19, 2024
2024-09-17-c36358e

c36358e9 · Fix testing of downloading release from README (#2567) · Sep 17, 2024
2024-09-16-4955ac3

4955ac36 · Update testing README with tuttest (#2563) · Sep 16, 2024
2024-09-16-6506579

65065798 · Build(deps): Bump third_party/surelog from `5f6e20e` to `e023cda` (#2565) · Sep 16, 2024
2024-09-13-c088288

c0882888 · Move yosys_mod to src directory (#2557) · Sep 13, 2024
2024-09-13-acc32b2

acc32b24 · Change Synlig exit message (#2559) · Sep 13, 2024
2024-09-12-ca23376

ca23376b · Change format of release package (#2558) · Sep 12, 2024
2024-09-12-aa98f61

aa98f619 · Setup Github release and enable systemwide installation (#2552) · Sep 12, 2024
2024-09-09-2546475

25464759 · Skip `check` pass in `synth_xilinx` for OpenTitan 9d82960888 (#2546) · Sep 09, 2024
2024-09-07-967ce78

967ce78b · Update README (#2544) · Sep 07, 2024
2024-09-06-a316e2f

a316e2f7 · Force installation of lower simplesat version (#2543) · Sep 06, 2024
2024-08-29-f5cd191

f5cd191c · Build(deps): Bump third_party/sby from `61ca4de` to `67a7821` (#2531) · Aug 29, 2024
2024-08-28-a1701e4

a1701e4c · Build(deps): Bump third_party/yosys from `4cddc19` to `0fc5812` (#2526) · Aug 28, 2024
2024-08-28-4984ddd

4984ddd2 · Use eqy and sby to perform formal verification (#2529) · Aug 28, 2024

Prev
1
2
3
4
5
6
…
27
Next