Alan Mishchenko 03d92930fa Updating &funtrace to trace function of the primary outputs of the AIG.		2024-09-03 17:16:48 -07:00
..
abc	Patch to support WASI builds	2024-08-07 14:49:13 +02:00
abci	Updating &funtrace to trace function of the primary outputs of the AIG.	2024-09-03 17:16:48 -07:00
acb	Allowing the genlib reader to skip gates larger than the given size.	2024-07-10 12:59:10 -07:00
bac	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
cba	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	2021-09-26 11:30:54 -07:00
cmd	Patch to support WASI builds	2024-08-07 14:49:13 +02:00
exor	Replace `#define`s with enum constants and inline functions in `exor.h`	2024-08-02 01:07:40 +00:00
io	Adding command to read ROM data.	2024-08-14 12:56:10 -07:00
main	Patch to support WASI builds	2024-08-07 14:49:13 +02:00
pla	Cosmetic changes after incorporating new code of 'fxch'.	2016-05-11 20:03:13 -07:00
test	Updating project settings to have simpler include paths.	2012-07-07 20:14:12 -07:00
ver	Various changes.	2020-03-21 14:02:54 -07:00
wlc	Fixing a serious bug in bit-blasting when multiplier argments have different bit-width.	2024-08-10 19:13:50 -07:00
wln	Patch to support WASI builds	2024-08-07 14:49:13 +02:00