Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.7.20
2a350438
·
support core-v-mcu (#424)
·
Aug 04, 2026
v0.7.19
45e88b09
·
Improve error messages focusing on users (#422)
·
Aug 02, 2026
v0.7.18
03c31df7
·
bump version number
·
Jul 27, 2026
v0.7.17
32d76288
·
prepare for 0.7.17 version
·
Jul 22, 2026
v0.7.16
feb8a093
·
naja perf disabled by default in najaeda (#412)
·
Jul 17, 2026
v0.7.15
e1a649e2
·
B0.7.15 (#411)
·
Jul 16, 2026
v0.7.14
6d033c31
·
B0.7.14 (#409)
·
Jul 15, 2026
v0.7.13
bfc5649c
·
B0.7.13 (#408)
·
Jul 13, 2026
v0.7.12
eb1dde03
·
B0.7.12 (#405)
·
Jul 09, 2026
v0.7.11
af7695a1
·
Allow unknown blackbox refactor (#403)
·
Jul 08, 2026
v0.7.10
bac272e9
·
B0.7.10 (#401)
·
Jul 06, 2026
v0.7.9
532014c1
·
B0.7.9 (#398)
·
Jul 03, 2026
v0.7.8
883b1c36
·
B0.7.8 (#396)
·
Jun 28, 2026
v0.7.7
017a1c85
·
B0.7.7 (#395)
·
Jun 25, 2026
v0.7.6
7f5984ba
·
Add Combinatorial Dependencies to NLDB0 and, or, xor, ... gates (#394)
·
Jun 23, 2026
v0.7.5
90b4128a
·
adding logical cone (#393)
·
Jun 22, 2026
v0.7.4
7d9ccd4d
·
B0.7.4 (#392)
·
Jun 20, 2026
v0.7.3
b4f66dd0
·
B0.7.3 (#391)
·
Jun 18, 2026
v0.7.2
8a038d7c
·
wrap source access in Python (#390)
·
Jun 15, 2026
v0.7.1
7a6775ac
·
Liberty filtering (#388)
·
Jun 13, 2026
Prev
1
2
3
4
Next