luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-08-22 05:57:21 +02:00
Code Issues Packages Projects Releases Wiki Activity
6,180 Commits 30 Branches 59 Tags
upsteaming
Commit Graph
6180 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alan Mishchenko 34bcabcbf4 Small changes. 2017-03-16 18:31:15 -07:00
Yen-Sheng Ho ddd349cf96 %pdra: created a new manager; refactored 2017-03-16 16:14:45 -07:00
Yen-Sheng Ho b9971b2348 added another function for printing wlc 2017-03-16 13:33:14 -07:00
Yen-Sheng Ho 6bf50cbb86 %pdra: added a structural support profiling of PPIs 2017-03-16 12:50:27 -07:00
Alan Mishchenko 876c2c353a Integration of new SAT sweeper. 2017-03-11 20:54:49 -08:00
Yen-Sheng Ho bcbc91c4d6 merge 2017-03-11 17:17:40 -08:00
Alan Mishchenko 5fbe218ff8 Improvements to ternary simulation. 2017-03-09 22:57:20 -08:00
Alan Mishchenko d877074d8f Improvements to ternary simulation. 2017-03-09 22:53:47 -08:00
Yen-Sheng Ho 70511b001c %pdra: added an option -i for weaker proof-based refinement 2017-03-09 21:43:18 -08:00
Yen-Sheng Ho 566beb9c92 %pdra: added more stats 2017-03-09 17:33:00 -08:00
Yen-Sheng Ho eede1bc7f8 bug fix 2017-03-09 13:20:56 -08:00
Yen-Sheng Ho 3ae83d376a %pdra, %abs: added option -d for apple-to-apple comparison 2017-03-09 13:07:30 -08:00
Yen-Sheng Ho 6f8820fb95 %pdra: count the number of reused clauses 2017-03-09 11:07:58 -08:00
Alan Mishchenko 6a997172df Merged in msoeken/abc-exact (pull request #66) 
Fixes in exact synthesis and small fix in xsat and satoko.
 2017-03-06 18:01:37 +00:00
Mathias Soeken 74e445ad66 Exact synthesis. 2017-03-06 16:39:51 +01:00
Mathias Soeken 574cf1022d Fix wrong type cast. 2017-03-06 16:34:15 +01:00
Mathias Soeken 1cd5f76800 Fix exact command for multiple-output functions. 2017-03-06 16:32:07 +01:00
Bruno Schmitt 9b7ea213bc Prevents Satoko from silently becoming inconsistent 2017-03-06 11:58:28 -03:00
Mathias Soeken d971505402 Merged alanmi/abc into default 2017-03-04 20:22:53 +01:00
Alan Mishchenko 4cf046c94d Clone of the main SAT solver to eneable independent work. 2017-03-03 15:18:10 -08:00
Alan Mishchenko 59348e227c Clone of the main SAT solver to eneable independent work. 2017-03-03 15:16:05 -08:00
Yen-Sheng Ho 154f4b642d merge 2017-03-03 13:46:32 -08:00
Yen-Sheng Ho 40d29e7813 only try scorr on small circuits 2017-03-03 12:29:15 -08:00
Heinz Riener 59f09c10d5 removed unnecessary declaration 2017-03-03 12:09:36 +01:00
Heinz Riener 2b46253088 changed int to unsigned / narrowing conversion error 2017-03-03 12:06:18 +01:00
Heinz Riener 5318619c64 added missing ABC_NAMESPACE_HEADER 2017-03-03 12:04:39 +01:00
Heinz Riener a20002dab1 stringizing macro argument 2017-03-03 12:03:55 +01:00
Mathias Soeken f03871ab22 Merged alanmi/abc into default 2017-03-03 10:33:59 +01:00
Yen-Sheng Ho cb603c5ea1 added scorr to %pdra -u 2017-03-02 22:16:16 -08:00
Alan Mishchenko b1907e909d Moving global declarations into 'abcapi.h' and moving it into 'main' package. 2017-03-02 20:56:16 -08:00
Alan Mishchenko 2f69fa134e Moving global declarations into 'abcapi.h' and moving it into 'main' package. 2017-03-02 20:50:56 -08:00
Yen-Sheng Ho 7eac1f5766 added experimental codes 2017-03-02 17:31:30 -08:00
Alan Mishchenko 64035e52ab Macro to prevent writing history file. 2017-03-02 17:27:24 -08:00
Alan Mishchenko 96a399568d Adding experimental command. 2017-03-02 15:26:29 -08:00
Alan Mishchenko d850599020 Adding command 'glitch' for glitch simulation. 2017-03-02 14:26:04 -08:00
Alan Mishchenko fc904409c3 Network interface exploration. 2017-03-02 13:02:07 -08:00
Alan Mishchenko ff88edd664 Adding alternative generalization procedure. 2017-03-02 13:01:32 -08:00
Alan Mishchenko 160d1311c9 Adding efficient procedure to minimize the set of assumptions (improved literal reordering). 2017-03-02 11:10:16 -08:00
Alan Mishchenko f419f2e812 Adding alternative generalization procedure. 2017-03-01 20:30:19 -08:00
Alan Mishchenko 7747d89c90 Adding alternative generalization procedure. 2017-03-01 20:29:09 -08:00
Yen-Sheng Ho 18b47dfbd5 %pdra: added an option -u for checking comb. unsat 2017-03-01 14:57:43 -08:00
Alan Mishchenko bd9b7d64e1 Adding efficient procedure to minimize the set of assumptions. 2017-03-01 13:59:23 -08:00
Yen-Sheng Ho da0f4ef33b %pdra: now checks if cex is real before refinement 2017-03-01 12:12:42 -08:00
Alan Mishchenko b71d2ab2ba Fixed a few compilcation issues with Windows compiler. 2017-02-28 20:15:33 -08:00
Yen-Sheng Ho 007195ddd8 small tweaks 2017-02-28 19:25:11 -08:00
Yen-Sheng Ho 777c77785d merge 2017-02-28 19:21:31 -08:00
Yen-Sheng Ho 902a78eeb8 added an option -r to %pdra: proof-based refinement only 2017-02-28 18:05:58 -08:00
Bruno Schmitt 9957736777 Adding an procedure to write DIMACS. 
Fixing small bugs.
 2017-02-28 18:58:14 -03:00
Yen-Sheng Ho d95d51c474 improved profiling in %pdra 2017-02-28 11:30:13 -08:00
Yen-Sheng Ho 43f34ddc02 added -L to %abs 2017-02-28 08:05:33 -08:00