Rémi GARCIA (84480ab9) at 03 Apr 17:37
Add ASIC results
Jonas Kühle (69e15def) at 03 Feb 20:04
power results are supported now
Rémi GARCIA (ac1d1ff7) at 12 Jan 13:01
wip
Rémi GARCIA (609bff25) at 11 Jan 14:38
Need double checks on presolve
Rémi GARCIA (1ab4b4a3) at 11 Jan 13:34
Add more checks for presolve
Rémi GARCIA (2c28d762) at 11 Jan 13:34
Update, wip
Rémi GARCIA (d75d8add) at 06 Jan 19:23
wip
Rémi GARCIA (5d1265cc) at 15 Dec 08:06
Add some vhd files
Rémi GARCIA (2026272f) at 10 Dec 21:39
Update benchmarks
Rémi GARCIA (9560e429) at 10 Dec 21:27
debug
Rémi GARCIA (0e2e6479) at 10 Dec 21:18
debug
Rémi GARCIA (abfe25d1) at 10 Dec 21:11
Loop on NA
Rémi GARCIA (ae77840b) at 10 Dec 21:05
Loop on NA
Rémi GARCIA (7bddf90b) at 10 Dec 21:00
Typo
Rémi GARCIA (3e970623) at 10 Dec 20:48
Typo
Rémi GARCIA (4f65eeed) at 10 Dec 20:39
Typo + Symbreak
Rémi GARCIA (dcd3e484) at 21 Sep 11:35
Add lsb_in/msb_in
Rémi GARCIA (38de7108) at 20 Sep 11:45
Add get_depth
Rémi GARCIA (9d0050d9) at 16 Sep 17:11
Add isempty
Rémi GARCIA (e7464560) at 16 Sep 13:49
Update get full adders