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

163 Commits

Author SHA1 Message Date
Alan Mishchenko 3e1979f3c6 Experimental features of &scorr. 2024-07-28 13:00:32 -07:00
Alan Mishchenko c14d5f3906 Dumping miter statistics. 2024-04-22 22:06:07 -04:00
alanminko 390a0e8ef3
Merge pull request #279 from allen1236/master 
Sat-sweeping-based ECO (&str_eco)
 2024-03-02 15:38:08 -08:00
Allen Ho 6f5656c188 shared EI/EO not handled yet 2024-03-01 16:05:41 +08:00
Allen Ho c74144c6eb str_eco ver1 2024-02-01 07:25:46 +08:00
Allen Ho 284b9d6a9c extended box report; 2023-12-10 21:30:46 +08:00
Allen Ho 9bb5333f62 extend bo 2023-12-07 19:07:52 +08:00
Allen Ho a316847341 correct fanout count 2023-11-23 19:33:05 +08:00
WWFUG 67a2b97cf0 added -I options in &bmiter 2023-11-08 19:00:03 +08:00
Allen Ho 50010139ef why 2023-11-06 18:37:40 +08:00
Allen Ho ba64d6118b out-side box matching 2023-10-30 15:09:01 -07:00
Alan Mishchenko 76e8d21aaf Printout changes. 2023-10-23 10:48:43 -07:00
Alan Mishchenko 01ad71b26f Experiments with verification. 2023-10-23 09:38:08 -07:00
Alan Mishchenko cc636a0d83 Experiments with verification. 2023-09-28 06:40:57 -07:00
Alan Mishchenko 7df17e3c5e Experiments with the SAT sweeper. 2023-09-05 11:13:08 +07:00
Alan Mishchenko 301469432d Experiments with the SAT sweeper. 2023-09-04 19:58:31 +07:00
Alan Mishchenko a3942996e7 Bug fix in &splitprove. 2023-07-25 12:53:50 -07:00
Alan Mishchenko 3592078ddb Partitioned &scorr. 2023-07-21 18:49:06 -07:00
Alan Mishchenko e61194bbed Bug fix. 2023-07-08 10:18:18 -07:00
Alan Mishchenko a82bbaa91d Bug fix in equiv class filtering. 2023-07-07 14:03:35 -07:00
Alan Mishchenko 5a9a902044 Bug fix in equivalence class handling (another try). 2023-05-17 10:34:14 -07:00
Alan Mishchenko 96e1de436e Bug fix in equivalence class handling (another try). 2023-05-14 12:43:07 -07:00
Alan Mishchenko eff805a644 Bug fix in choice computation. 2023-04-28 08:02:04 -04:00
Alan Mishchenko cc6834d4cc Unifying random number generation. 2023-04-27 15:40:34 -04:00
Alan Mishchenko 9f4ab5a2c1 Bug fix in SAT sweeping. 2023-04-22 18:37:21 -07:00
Alan Mishchenko eaa9da53cd Various unrelated changes. 2023-04-04 10:28:07 +08:00
Alan Mishchenko 581c58b9c4 Experiment with choice computation. 2023-02-16 07:14:18 +01:00
Alan Mishchenko 091c589301 Unifying the use of random numbers. 2022-12-14 20:45:11 -08:00
Alan Mishchenko b69f439609 Adding args to command %yosys. 2022-09-19 10:48:41 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Alan Mishchenko adcc398bc3 Dumping equivalences after SAT sweeping. 2022-06-26 19:45:03 -07:00
Alan Mishchenko 4f7bf91003 Adding new switch to &cec. 2022-05-20 12:53:12 -07:00
Alan Mishchenko f6758079f7 Removing equivalence classes when they are not properly refined. 2022-04-27 20:54:04 -07:00
Alan Mishchenko ca6dd4ed17 Bug fix in &uif. 2022-04-24 13:56:19 -07:00
Alan Mishchenko 1abd0457ab Experiments with SAT sweeping. 2022-04-24 10:25:46 -07:00
Alan Mishchenko 1f56f20e1b Experiments with SAT sweeping. 2022-04-24 09:29:52 -07:00
Alan Mishchenko 8e13245ed0 Adding switch to stop scorr if refinement is too slow. 2022-04-24 08:53:57 -07:00
Alan Mishchenko d86e8d9ed8 Experiments with word-level data structures. 2022-03-06 00:09:35 -08:00
Baruch Sterin 554a1693ac Move CI to GitHub Actions. 
Also, a few minor changes that are required to compile ABC under moder compilers.
 2022-01-22 18:34:43 +02:00
Alan Mishchenko 31f88974e2 Various changes. 2021-10-06 17:14:57 -07:00
Alan Mishchenko 674bcbee37 Various changes. 2021-09-30 18:02:33 -07:00
Alan Mishchenko 692dd76319 Upgrading choice computation. 2021-07-31 15:34:46 -07:00
Alan Mishchenko 9b75906740 Several changes for standard mapping. 2021-04-28 00:11:02 -07:00
Alan Mishchenko bf96f0b31d Experiments with simulation. 2021-01-01 00:44:02 -08:00
Alan Mishchenko d0efef2fe9 Experiments with simulation. 2020-12-30 11:24:35 -08:00
Alan Mishchenko e44f409c1d Integrating Glucose into &sat. 2020-12-21 13:23:53 -08:00
Alan Mishchenko 73dcdab6d8 Adding solver type in &sat. 2020-12-16 22:04:06 -08:00
Alan Mishchenko 8066fdbcb5 Adding generation of combinational speculative miters. 2020-12-16 10:31:25 -08:00
Alan Mishchenko 06094ade87 Adding switch to replace proved outputs by const0. 2020-12-16 00:06:31 -08:00
Alan Mishchenko 925418d562 Corner case bug fix in &cec. 2020-12-02 09:46:31 -10:00