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

424 Commits

Author SHA1 Message Date
Alan Mishchenko ddd9758931 Added cex generation for clustered reachability (forgot one file). 2011-04-16 00:09:39 -07:00
Alan Mishchenko dd71ca94f1 Added cex generation for clustered reachability. 2011-04-16 00:08:43 -07:00
Alan Mishchenko 813245b29a Improving timeout in the interpolation package. 2011-04-15 09:29:13 -07:00
Alan Mishchenko 4635027478 Further improvements to reachability. 2011-04-15 00:06:54 -07:00
Alan Mishchenko 75e60ab2ee Experiments with reachability. 2011-04-14 09:57:35 -07:00
Alan Mishchenko 6e74c46bcf Enabled new BDD-based reachability engine 'reachy'. 2011-04-13 22:41:54 -07:00
Alan Mishchenko a28fe0d324 Unsuccessful attempt to improve PDR and a few minor changes. 2011-04-07 13:49:03 -07:00
Alan Mishchenko 1794bd37cd Made gate library package Mio independent of CUDD. 2011-03-30 21:02:29 -07:00
Alan Mishchenko 02f7ede7c6 Added test package (new files). 2011-03-29 19:11:34 -07:00
Alan Mishchenko 2b336851a2 Added test package. 2011-03-29 13:04:21 -07:00
Alan Mishchenko 6c01e8b9f0 Fixed a number of small bugs and memory leaks. 2011-03-27 14:17:12 -07:00
Alan Mishchenko 1ec437d04b C++ compilation fixes. 2011-03-27 11:52:56 -07:00
Alan Mishchenko 4dcf8cee2d Improvements in Vec_Vec_t. 2011-03-27 11:35:31 -07:00
Alan Mishchenko 3a6f8688e2 Added printing MFFC sizes and deriving TT from SOP. 2011-03-18 19:48:42 -07:00
Alan Mishchenko 326e5da48a Added new procedure and other small changes. 2011-03-16 21:33:02 -07:00
Alan Mishchenko 290ea10c9e Exploring fanout cofactoring ideas... 2011-03-14 11:56:09 -07:00
Alan Mishchenko 92a1c5b58e Several bug fixes and other improvements. 2011-03-12 19:44:38 -08:00
Alan Mishchenko a4aaf110ad Exploration of Sasao's decomposition and minor improvements. 2011-03-11 20:18:02 -08:00
Alan Mishchenko 759c6596a5 Bug alert message in 'fraig'. 2011-03-10 11:48:25 -08:00
Alan Mishchenko aa31e011a8 Added generation of MFFC for the network (improvements). 2011-03-09 20:49:32 -08:00
Alan Mishchenko e15362a816 Added generation of MFFC for the network. 2011-03-09 18:39:00 -08:00
Alan Mishchenko 937979d9dd Improvements to the interpolation command 'int'; change of default switch -t. 2011-03-08 20:05:09 -08:00
Alan Mishchenko 5f69ce8b8d Fixing a corner case bug in 'enlarge'. 2011-03-05 13:08:39 -08:00
Alan Mishchenko ef89333774 Improved the speed of refinement algorithm in &abs_refine. 2011-03-04 16:59:28 -08:00
Alan Mishchenko 88bdf467d8 Bug fix in dprove, adding command option -p. 2011-03-03 10:02:32 -08:00
Alan Mishchenko de984d7f90 Fixing corner-case bugs in &srm -s. 2011-02-28 21:55:40 -08:00
Alan Mishchenko 6119f7068a Cumulative update to BDD-based reachability, speeding up &reachm and other changes. 2011-02-28 14:52:51 -08:00
Alan Mishchenko 2f874d27fc Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f). 2011-02-22 12:47:55 -08:00
Alan Mishchenko 75ee395f91 Implemented additional filtering of equivalences (&srm -sf). 2011-02-21 15:09:51 -08:00
Alan Mishchenko ab75993d28 Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c. 2011-02-19 16:53:11 -08:00
Alan Mishchenko 2619edf8c0 Added two new APIs for reading/writing CEX from/into ABC. 2011-02-19 16:43:00 -08:00
Alan Mishchenko 0656af22fd Adding one more control switch to CEC commands (i)prove. 2011-02-19 11:51:20 -08:00
Alan Mishchenko c7ebd93211 Improvements to CEC command iprove. 2011-02-18 22:19:45 -08:00
Alan Mishchenko 71cbf17e7f Unified the use of counter-examples in three packages. 2011-02-13 17:46:48 -08:00
Alan Mishchenko 21bb515b3c Added handling runtime limit inside And and AndExist. 2011-02-07 15:58:29 -08:00
Alan Mishchenko 82e9de9000 Eneabled writing/reading pAbc->nFrames into/from status files. 2011-02-04 00:07:21 -08:00
Alan Mishchenko e6f8744777 Make PDR return the number of completed frames. 2011-02-03 21:34:46 -08:00
Alan Mishchenko d4291dab37 Cumulative changes of the last two weeks. 2011-02-01 15:47:55 -08:00
Alan Mishchenko ae4b51351c Cumulative changes in the last few weeks. 2011-01-13 12:38:59 -08:00
Alan Mishchenko 2adc30f56b Initial integration of PDR 2010-12-03 01:20:51 -08:00
Alan Mishchenko 98257daa82 Added command "testcex". 2010-11-28 19:32:19 -08:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
Alan Mishchenko 51a646a355 Version abc90901 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:13 -07:00
Alan Mishchenko 3270783939 Version abc90813 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:09 -07:00
Alan Mishchenko 4d1bc4a268 Version abc90809 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:06 -07:00
Alan Mishchenko b288bac6b3 Version abc90807 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:02 -07:00
Alan Mishchenko da65e88e3b Version abc90804 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:59 -07:00
Alan Mishchenko 270f6db246 Version abc90715 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:56 -07:00
Alan Mishchenko 0398ced824 Version abc90714 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:53 -07:00
Alan Mishchenko 70697f868a Version abc90528 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:43 -07:00
Alan Mishchenko d5b0fdee74 Version abc90505 2009-05-05 08:01:00 -07:00
Alan Mishchenko d7a048d738 Version abc90424 2009-04-24 08:01:00 -07:00
Alan Mishchenko 77fab468ad Version abc90413 2009-04-13 08:01:00 -07:00
Alan Mishchenko ccd1b57264 Version abc90410 2009-04-10 08:01:00 -07:00
Alan Mishchenko df6fdd1dff Version abc90408 2009-04-08 08:01:00 -07:00
Alan Mishchenko e3e2918eb8 Version abc90405 2009-04-05 08:01:00 -07:00
Alan Mishchenko 23fd11037a Version abc90329 2009-03-29 08:01:00 -07:00
Alan Mishchenko d74d35aa42 Version abc90321 2009-03-21 08:01:00 -07:00
Alan Mishchenko 770bc99e79 Version abc90315 2009-03-15 08:01:00 -07:00
Alan Mishchenko 81b51657f5 Version abc90313 2009-03-13 08:01:00 -07:00
Alan Mishchenko 243cb29e56 Version abc90311 2009-03-11 08:01:00 -07:00
Alan Mishchenko 32314347ba Version abc90310 2009-03-10 08:01:00 -07:00
Alan Mishchenko c03f9b516b Version abc90220 2009-02-20 08:01:00 -08:00
Alan Mishchenko 28d4f8696d Version abc90217 2009-02-17 08:01:00 -08:00
Alan Mishchenko 0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00
Alan Mishchenko f936cc0680 Version abc90118 2009-01-18 08:01:00 -08:00
Alan Mishchenko c9ad5880cc Version abc81029 2008-10-29 08:01:00 -07:00
Alan Mishchenko d80ee832f3 Version abc81027 2008-10-27 08:01:00 -07:00
Alan Mishchenko d2b735f794 Version abc81025 2008-10-25 08:01:00 -07:00
Alan Mishchenko 2418d9b08d Version abc81014_2 2008-10-14 20:01:00 -07:00
Alan Mishchenko a4bca40597 Version abc81014 2008-10-14 08:01:00 -07:00
Alan Mishchenko e917dda1d3 Version abc81013 2008-10-13 08:01:00 -07:00
Alan Mishchenko a2535d49a0 Version abc81005 2008-10-05 08:01:00 -07:00
Alan Mishchenko eb75697fe0 Version abc81004 2008-10-04 08:01:00 -07:00
Alan Mishchenko 689cbe904e Version abc80927 2008-09-27 08:01:00 -07:00
Alan Mishchenko 91effd8148 Version abc80922 2008-09-22 08:01:00 -07:00
Alan Mishchenko 23c428ea09 Version abc80921_2 2008-09-21 20:01:00 -07:00
Alan Mishchenko 4d71c114a3 Version abc80921 2008-09-21 08:01:00 -07:00
Alan Mishchenko 3429e6309d Version abc80919 2008-09-19 08:01:00 -07:00
Alan Mishchenko 655a50101e Version abc80918 2008-09-18 08:01:00 -07:00
Alan Mishchenko ce690b2907 Version abc80915 2008-09-15 08:01:00 -07:00
Alan Mishchenko 75d6d6abd1 Version abc80912 2008-09-12 08:01:00 -07:00
Alan Mishchenko 4db8655072 Version abc80910 2008-09-10 08:01:00 -07:00
Alan Mishchenko a30c08bbe5 Version abc80909 2008-09-09 08:01:00 -07:00
Alan Mishchenko 092c7be0ff Version abc80905 2008-09-05 08:01:00 -07:00
Alan Mishchenko 73c8aa7c40 Version abc80901 2008-09-01 08:01:00 -07:00
Alan Mishchenko b8dea8ff05 Version abc80802_2 2008-08-02 20:01:00 -07:00
Alan Mishchenko cbb7ff8642 Version abc80802 2008-08-02 08:01:00 -07:00
Alan Mishchenko 582a059e34 Version abc80729 2008-07-29 08:01:00 -07:00
Alan Mishchenko 20a5a0d4af Version abc80725_2 2008-07-25 20:01:00 -07:00
Alan Mishchenko 1afa8a2f38 Version abc80725 2008-07-25 08:01:00 -07:00
Alan Mishchenko 2c96c8af36 Version abc80721 2008-07-21 08:01:00 -07:00
Alan Mishchenko de978ced7b Version abc80719 2008-07-19 08:01:00 -07:00
Alan Mishchenko 13f52980da Version abc80718 2008-07-18 08:01:00 -07:00
Alan Mishchenko d63a0cbbfd Version abc80717 2008-07-17 08:01:00 -07:00
Alan Mishchenko 05772a795b Version abc80707 2008-07-07 08:01:00 -07:00
Alan Mishchenko c7b331efcf Version abc80706 2008-07-06 08:01:00 -07:00
Alan Mishchenko 7b734f23fc Version abc80705 2008-07-05 08:01:00 -07:00
Alan Mishchenko 303baf27cf Version abc80702 2008-07-02 08:01:00 -07:00
Alan Mishchenko 4a9789e58d Version abc80701 2008-07-01 08:01:00 -07:00
Alan Mishchenko d0341836dd Version abc80611 2008-06-11 08:01:00 -07:00
Alan Mishchenko 9d09f583b6 Version abc80610 2008-06-10 08:01:00 -07:00
Alan Mishchenko 9604ecb174 Version abc80527 2008-05-27 08:01:00 -07:00
Alan Mishchenko f81e16b646 Version abc80518_2 2008-05-18 20:01:00 -07:00
Alan Mishchenko 8b24f6bff9 Version abc80518 2008-05-18 08:01:00 -07:00
Alan Mishchenko 4d37d4d92f Version abc80517 2008-05-17 08:01:00 -07:00
Alan Mishchenko 6da56f1f0f Version abc80516 2008-05-16 08:01:00 -07:00
Alan Mishchenko 74ff01bfb5 Version abc80515 2008-05-15 08:01:00 -07:00
Alan Mishchenko 37b6c727f1 Version abc80512_2 2008-05-12 20:01:00 -07:00
Alan Mishchenko cb899ec848 Version abc80512 2008-05-12 08:01:00 -07:00
Alan Mishchenko 47036e1e44 Version abc80511_2 2008-05-11 20:01:00 -07:00
Alan Mishchenko 582cf0b923 Version abc80511 2008-05-11 08:01:00 -07:00
Alan Mishchenko 0f03f34924 Version abc80510 2008-05-10 08:01:00 -07:00
Alan Mishchenko e94ccfd3fb Version abc80508 2008-05-08 08:01:00 -07:00
Alan Mishchenko 6175fcb802 Version abc80507 2008-05-07 08:01:00 -07:00
Alan Mishchenko 436d5d2103 Version abc80502 2008-05-02 08:01:00 -07:00
Alan Mishchenko de81a1a1fb Version abc80430 2008-04-30 08:01:00 -07:00
Alan Mishchenko 2b98b81837 Version abc80429 2008-04-29 08:01:00 -07:00
Alan Mishchenko e2e9aed11d Version abc80422 2008-04-22 08:01:00 -07:00
Alan Mishchenko 7ec48bc20d Version abc80420_2 2008-04-20 20:01:00 -07:00
Alan Mishchenko 7ff4c2b271 Version abc80420 2008-04-20 08:01:00 -07:00
Alan Mishchenko b51685d693 Version abc80416 2008-04-16 08:01:00 -07:00
Alan Mishchenko 2dc3842988 Version abc80413 2008-04-13 08:01:00 -07:00
Alan Mishchenko d8ddea4466 Version abc80411_2 2008-04-11 20:01:00 -07:00
Alan Mishchenko 651a32cdc3 Version abc80411 2008-04-11 08:01:00 -07:00
Alan Mishchenko c645bac366 Version abc80410 2008-04-10 08:01:00 -07:00
Alan Mishchenko 9d6b12ddfd Version abc80406_2 2008-04-06 20:01:00 -07:00
Alan Mishchenko 661abab094 Version abc80406 2008-04-06 08:01:00 -07:00
Alan Mishchenko 0c4d314ef0 Version abc80404_2 2008-04-04 20:01:00 -07:00
Alan Mishchenko ef20b0c533 Version abc80404 2008-04-04 08:01:00 -07:00
Alan Mishchenko 69b5bcad56 Version abc80403_2 2008-04-03 20:01:00 -07:00
Alan Mishchenko 087951655e Version abc80403 2008-04-03 08:01:00 -07:00
Alan Mishchenko 0080244a89 Version abc80402 2008-04-02 08:01:00 -07:00
Alan Mishchenko 2c7f6e39b8 Version abc80330 2008-03-30 08:01:00 -07:00
Alan Mishchenko 93c3f16066 Version abc80329 2008-03-29 08:01:00 -07:00
Alan Mishchenko 416ffc117a Version abc80327 2008-03-27 08:01:00 -07:00
Alan Mishchenko e258fcb2cd Version abc80326 2008-03-26 08:01:00 -07:00
Alan Mishchenko 85207c7568 Version abc80318 2008-03-18 08:01:00 -07:00
Alan Mishchenko 6074fa3a1e Version abc80316 2008-03-16 08:01:00 -07:00
Alan Mishchenko 9b059e3085 Version abc80315 2008-03-15 08:01:00 -07:00
Alan Mishchenko ff6f094336 Version abc80314 2008-03-14 08:01:00 -07:00
Alan Mishchenko 6205eaaee3 Version abc80313 2008-03-13 08:01:00 -07:00
Alan Mishchenko 79d5e76581 Version abc80308 2008-03-08 08:01:00 -08:00
Alan Mishchenko d5495ad326 Version abc80307_2 2008-03-07 20:01:00 -08:00
Alan Mishchenko 8bd19a27bf Version abc80305 2008-03-05 08:01:00 -08:00
Alan Mishchenko 320c429bc4 Version abc80301 2008-03-01 08:01:00 -08:00
Alan Mishchenko f65983c2c0 Version abc80228 2008-02-28 08:01:00 -08:00
Alan Mishchenko 7d23cc522e Version abc80222 2008-02-22 08:01:00 -08:00
Alan Mishchenko bd995ee2ca Version abc80212 2008-02-12 08:01:00 -08:00
Alan Mishchenko 5a6924060b Version abc80207 2008-02-07 08:01:00 -08:00
Alan Mishchenko 7174787aba Version abc80205 2008-02-05 08:01:00 -08:00
Alan Mishchenko 3b790eb17e Version abc80202 2008-02-02 08:01:00 -08:00
Alan Mishchenko 0c6505a26a Version abc80130_2 2008-01-30 20:01:00 -08:00
Alan Mishchenko 4d30a1e4f1 Version abc80130 2008-01-30 08:01:00 -08:00
Alan Mishchenko 6537f94188 Version abc80126 2008-01-26 08:01:00 -08:00
Alan Mishchenko 6c68b76bff Version abc80123 2008-01-23 08:01:00 -08:00
Alan Mishchenko d4fecf91ef Version abc80121 2008-01-21 08:01:00 -08:00
Alan Mishchenko 61850d5942 Version abc80116 2008-01-16 08:01:00 -08:00
Alan Mishchenko 4a61139de0 Version abc80115_2 2008-01-15 20:01:00 -08:00
Alan Mishchenko ac78762858 Version abc80115 2008-01-15 08:01:00 -08:00
Alan Mishchenko 00e9c3d06b Version abc71225 2007-12-25 08:01:00 -08:00
Alan Mishchenko 14c01eacca Version abc71218 2007-12-18 08:01:00 -08:00
Alan Mishchenko 126637ddd3 Version abc71216 2007-12-16 08:01:00 -08:00
Alan Mishchenko 65687f72ae Version abc71208 2007-12-08 08:01:00 -08:00
Alan Mishchenko 369f008e69 Version abc71130 2007-11-30 08:01:00 -08:00
Alan Mishchenko 765a212408 Version abc71002 2007-10-02 08:01:00 -07:00
Alan Mishchenko 4812c90424 Version abc71001 2007-10-01 08:01:00 -07:00
Alan Mishchenko e54d969161 Version abc70930 2007-09-30 08:01:00 -07:00
Alan Mishchenko 7d7e60f2dc Version abc70926 2007-09-26 08:01:00 -07:00
Alan Mishchenko d62ee0a90d Version abc70911 2007-09-11 08:01:00 -07:00
Alan Mishchenko e8cf8415c5 Version abc70909 2007-09-09 08:01:00 -07:00
Alan Mishchenko 9be1b07693 Version abc70906 2007-09-06 08:01:00 -07:00
Alan Mishchenko b2470dd3da Version abc70901 2007-09-01 08:01:00 -07:00
Alan Mishchenko 9f5ef0d618 Version abc70831 2007-08-31 08:01:00 -07:00
Alan Mishchenko ddc6d1c168 Version abc70828 2007-08-28 08:01:00 -07:00
Alan Mishchenko 2846782381 Version abc70822 2007-08-22 08:01:00 -07:00
Alan Mishchenko c8a25de8e4 Version abc70819 2007-08-19 08:01:00 -07:00
Alan Mishchenko 3244fa2f32 Version abc70818 2007-08-18 08:01:00 -07:00
Alan Mishchenko 9e4213e202 Version abc70817 2007-08-17 08:01:00 -07:00
Alan Mishchenko 29c9b0c0c4 Version abc70731 2007-07-31 08:01:00 -07:00
Alan Mishchenko fefd8b901d Version abc70730 2007-07-30 08:01:00 -07:00
Alan Mishchenko a8a80d9a1a Version abc70727 2007-07-27 08:01:00 -07:00
Alan Mishchenko 054e2cd3a8 Version abc70726 2007-07-26 08:01:00 -07:00
Alan Mishchenko 64dc240b90 Version abc70723 2007-07-23 08:01:00 -07:00
Alan Mishchenko 1647addf5e Version abc70714 2007-07-14 08:01:00 -07:00
Alan Mishchenko c5277d3334 Version abc70712 2007-07-12 08:01:00 -07:00
Alan Mishchenko 066726076d Version abc70711 2007-07-11 08:01:00 -07:00
Alan Mishchenko a8d75dcc60 Version abc70710 2007-07-10 08:01:00 -07:00
Alan Mishchenko 39bc4842e9 Version abc70706 2007-07-06 08:01:00 -07:00
Alan Mishchenko 0c1e87bc9a Version abc70705 2007-07-05 08:01:00 -07:00
Alan Mishchenko a8db621dc9 Version abc70703 2007-07-03 08:01:00 -07:00
Alan Mishchenko d6804597a3 Version abc70624 2007-06-24 08:01:00 -07:00
Alan Mishchenko d47752011d Version abc70608 2007-06-08 08:01:00 -07:00
Alan Mishchenko feb8fb692e Version abc70428 2007-04-28 08:01:00 -07:00
Alan Mishchenko c09d4d499c Version abc70408 2007-04-08 08:01:00 -07:00
Alan Mishchenko 94112fd22f Version abc70407 2007-04-07 08:01:00 -07:00
Alan Mishchenko 00dc0f3daa Version abc70406 2007-04-06 08:01:00 -07:00
Alan Mishchenko 028138a76e Version abc70330 2007-03-30 08:01:00 -07:00
Alan Mishchenko 4da784c049 Version abc70328 2007-03-28 08:01:00 -07:00
Alan Mishchenko dd5531caf9 Version abc70317 2007-03-17 08:01:00 -07:00