luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4,492 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

4492 Commits

Author SHA1 Message Date
Alan Mishchenko f657d9a7e6 Fixing several other type conversion warnings. 2019-03-05 16:08:49 -08:00
Alan Mishchenko 01569b8f5f Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. 2019-03-05 15:57:50 -08:00
Alan Mishchenko b632c8496c Fixing some warnings with -Wconversion. 2019-03-05 15:07:10 -08:00
Alan Mishchenko bc288a7633 Suggested white-space changes for fewer gcc warnings. 2019-03-04 14:29:57 -08:00
Alan Mishchenko 9842e82326 Bug in handling reverse ranges in blasting. 2019-03-04 13:39:38 -08:00
Alan Mishchenko e6f64162b1 Passing names in &scorr. 2019-02-18 18:25:08 -08:00
Alan Mishchenko 7cabc26ebb Passing names in &scorr. 2019-02-18 17:05:03 -08:00
Alan Mishchenko 7143ad4d87 Adding switch -x to &ps to disable color printout. 2019-02-12 16:45:16 -08:00
Alan Mishchenko 881b5a24a0 Add skip feature to CEX printing. 2019-02-08 13:06:20 -08:00
Alan Mishchenko 4d838e7513 Bug fix in generating box library. 2019-02-04 14:03:09 -08:00
Alan Mishchenko 7b419f9041 Compiler warning. 2019-02-01 19:24:55 -08:00
Alan Mishchenko b8db17b478 Compiler warning. 2019-01-30 18:10:43 -08:00
Alan Mishchenko ed155f7f42 Adding new switch to simulation. 2019-01-29 09:43:02 -08:00
Alan Mishchenko f16012bc28 Adding new switch to simulation. 2019-01-29 09:08:54 -08:00
Alan Mishchenko 0699c43ac5 Experiments with memory abstraction. 2019-01-27 21:57:18 -08:00
Alan Mishchenko fafd8c2215 Experiments with memory abstraction. 2019-01-22 22:51:25 -08:00
Alan Mishchenko 82eead0817 Experiments with memory abstraction. 2019-01-22 22:49:36 -08:00
Alan Mishchenko f86cfc937e Experiments with memory abstraction. 2019-01-22 22:44:07 -08:00
Alan Mishchenko 72e3b4ca78 Fixing flop names with reversed ranges. 2019-01-21 15:15:11 -08:00
Alan Mishchenko b3d81b5f76 Exploring other ways of CEX writing. 2019-01-21 14:57:05 -08:00
Alan Mishchenko d4ce4cc982 Undoing some recent changes for improved CEX writing. 2019-01-21 11:49:35 -08:00
Alan Mishchenko f421d2a113 Fixing the problem with outputting word-level CEXes after retiming. 2019-01-18 19:54:41 -08:00
Alan Mishchenko d96d3e3fd5 Changing default parameter values in the AIG generation code. 2019-01-18 17:39:09 -08:00
Alan Mishchenko 81b263e35a Fixing the problem with outputting word-level CEXes after retiming. 2019-01-18 12:34:59 -08:00
Alan Mishchenko 4d8c72d0e9 Fixing the problem with outputting word-level CEXes after retiming. 2019-01-17 11:07:31 -08:00
Alan Mishchenko d05f89d997 Fixing the problem with outputting word-level CEXes. 2019-01-16 17:57:40 -08:00
Alan Mishchenko 7f778ff805 Procedure to transform counter-examples (bug fix). 2019-01-15 19:08:24 -08:00
Alan Mishchenko f3946eea93 Procedure to transform counter-examples (bug fix). 2019-01-15 18:59:34 -08:00
Alan Mishchenko 7786cb24ea Procedures to generate constant-argument multipliers. 2019-01-15 18:27:02 -08:00
Alan Mishchenko 36e5badf05 Procedure to trasnsform counter-examples. 2019-01-15 17:30:39 -08:00
Alan Mishchenko 1779f545e3 Procedures to generate constant-argument multipliers. 2019-01-15 15:37:39 -08:00
Alan Mishchenko 32a687baa8 Experiment with partitioned &scorr. 2019-01-15 14:31:03 -08:00
Alan Mishchenko 12a51a2b51 Adding one API of GIA manager. 2019-01-12 13:33:04 -08:00
alanminko 9e419f538f
Merge pull request #33 from hriener/common 
Added missing `static`.
 2019-01-12 08:19:36 -08:00
Heinz Riener e28a691b80 Added missing `static`. 2019-01-12 16:39:29 +01:00
Alan Mishchenko 6b554f10b8 Bug fix in deriving names for the miter output. 2019-01-10 16:40:53 -08:00
Alan Mishchenko 0a1fb03e3c Procedures to generate constant-argument multipliers. 2019-01-09 11:49:12 -08:00
Alan Mishchenko f3ba29b302 Procedures to generate constant-argument multipliers. 2019-01-09 11:42:50 -08:00
Alan Mishchenko c2c87aa66c Procedures to generate constant-argument multipliers. 2019-01-08 12:06:50 -08:00
Alan Mishchenko 65e2add5f9 Bug fix in WLN datastructure. 2019-01-03 00:13:09 -02:00
Alan Mishchenko f62eb635d1 Fixing float overflow during area-flow computation in &lf. 2018-12-13 08:49:00 -08:00
Alan Mishchenko 1f016988b2 Fixing float overflow during edge-flow computation in 'if' mapper (change to avoid dependence on the order of additions). 2018-12-12 22:15:10 -08:00
Alan Mishchenko 2f88284d7b Fixing float overflow during edge-flow computation in 'if' mapper. 2018-12-12 10:47:53 -08:00
Alan Mishchenko d071e02616 Updated for memory abstraction. 2018-12-11 16:52:46 -08:00
Alan Mishchenko 36585eff57 Experiments with retiming (adding new APIs). 2018-12-09 15:18:12 -08:00
Alan Mishchenko fe03f0423d Experiments with retiming. 2018-12-06 23:27:43 -08:00
Alan Mishchenko a3253767b9 Experiments with retiming. 2018-12-06 23:13:16 -08:00
Alan Mishchenko 65b10c0327 Experiments with retiming. 2018-12-04 23:04:13 -08:00
alanminko 163bba53e0
Merge pull request #27 from zzhou612/master 
Fix: header malloc.h is depreciated
 2018-11-30 09:45:25 -08:00
Nathan Zhou 39ff80c0b3 fix: header <malloc.h> is depreciated 2018-11-30 16:59:25 +08:00