index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
saig
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Fix mismatch in output formatting.
Alan Mishchenko
2017-01-21
1
-2
/
+2
|
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-1
/
+1
|
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-0
/
+5
|
*
C++ compiler typecast problem.
Alan Mishchenko
2015-07-08
1
-1
/
+1
|
*
Added switches '-c' and '-n' to 'init'.
Alan Mishchenko
2014-11-02
1
-0
/
+64
|
*
Fixed C-compiler errors on Windows.
Alan Mishchenko
2014-06-04
1
-7
/
+9
|
*
the latest version
Jiang Long
2014-06-04
1
-111
/
+48
|
*
merge unfold2
Jiang Long
2014-06-04
3
-1
/
+564
|
*
Adding command to dump UNSAT core of BMC instance.
Alan Mishchenko
2014-04-07
2
-2
/
+2
|
*
Making 'fold' and 'unfold' skip constant POs (another fix).
Alan Mishchenko
2013-12-04
1
-6
/
+18
|
*
Making 'fold' and 'unfold' skip constant POs (fixed).
Alan Mishchenko
2013-12-04
1
-4
/
+5
|
*
Making 'fold' and 'unfold' skip constant POs.
Alan Mishchenko
2013-12-03
1
-0
/
+4
|
*
Bug fix in 'tempor -s'.
Alan Mishchenko
2013-10-30
1
-0
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2013-10-17
2
-3
/
+3
|
*
Fixing corner-case bug in command 'ind'.
Alan Mishchenko
2013-09-08
1
-23
/
+40
|
*
Extending 'permute' to handle user-specified flop permutation.
Alan Mishchenko
2013-08-16
1
-1
/
+1
|
*
Adding timeout to command 'ind'.
Alan Mishchenko
2013-06-28
2
-5
/
+11
|
*
Adding a wrapper around clock() for more accurate time counting in ABC.
Alan Mishchenko
2013-05-27
14
-102
/
+102
|
*
Bug fix in 'blockpo'.
Alan Mishchenko
2013-05-07
1
-0
/
+1
|
*
Bug fix in 'blockpo'.
Alan Mishchenko
2013-04-11
1
-3
/
+3
|
*
Handling special case in 'fold' when the network is combinational.
Alan Mishchenko
2013-03-13
1
-5
/
+15
|
*
Adding new features to 'dualrail'.
Alan Mishchenko
2013-02-21
2
-8
/
+41
|
*
Fixing C++ compilation issues.
Alan Mishchenko
2013-01-08
1
-0
/
+3
|
*
Restoring correct behavior of 'tempor' after a change in counting BMC frames ↵
Alan Mishchenko
2012-12-07
1
-1
/
+1
|
|
|
|
in 'bmc2'.
*
Isolating BMC code into a separate package.
Alan Mishchenko
2012-11-14
1
-1
/
+1
|
*
Isolating BMC code into a separate package.
Alan Mishchenko
2012-11-14
7
-3408
/
+2
|
*
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-48
/
+47
|
*
Making report about the number of correcty covered frames consistent across ↵
Alan Mishchenko
2012-10-09
2
-4
/
+4
|
|
|
|
the engines.
*
C++ portability changes.
Alan Mishchenko
2012-10-03
1
-2
/
+2
|
*
Modified structural constraint extraction (unfold -s) to work for ↵
Alan Mishchenko
2012-09-23
1
-162
/
+241
|
|
|
|
multi-output testcases.
*
Cleaing AIG manager by removing pointers to HAIG.
Alan Mishchenko
2012-09-23
2
-734
/
+0
|
*
Bug fix in bmc3.
Alan Mishchenko
2012-09-17
1
-1
/
+6
|
*
Fixed timeout problem in bmc3 -s.
Alan Mishchenko
2012-09-17
1
-12
/
+7
|
*
Created new abstraction package from the code that was all over the place.
Alan Mishchenko
2012-09-15
9
-3095
/
+1
|
*
Unified print-out of property failures produced by all engines.
Alan Mishchenko
2012-09-09
3
-7
/
+7
|
*
Added new command &gla_shrink.
Alan Mishchenko
2012-09-04
4
-25
/
+31
|
*
Minor updates to the BMC engines.
Alan Mishchenko
2012-07-27
2
-3
/
+46
|
*
Recording and reusing learned util clauses in bmc2.
Alan Mishchenko
2012-07-22
1
-1
/
+17
|
*
Recording and reusing learned util clauses in bmc3.
Alan Mishchenko
2012-07-22
1
-13
/
+57
|
*
Small bug in bmc2 timeout.
Alan Mishchenko
2012-07-16
1
-1
/
+1
|
*
Changes to clause mapping.
Alan Mishchenko
2012-07-11
1
-7
/
+7
|
*
Replacing Mb/Gb to be MB/GB.
Alan Mishchenko
2012-07-09
6
-16
/
+16
|
*
Adding flushing stdout after printing verbose stats.
Alan Mishchenko
2012-07-07
2
-0
/
+3
|
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
28
-59
/
+59
|
*
Fixing time primtouts throughout the code.
Alan Mishchenko
2012-07-07
4
-4
/
+4
|
*
Fixing time primtouts throughout the code.
Alan Mishchenko
2012-07-07
28
-104
/
+94
|
*
Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).
Alan Mishchenko
2012-07-05
1
-3
/
+3
|
*
Various changes to enable sensitization-based refinement in &gla.
Alan Mishchenko
2012-07-04
1
-1
/
+1
|
*
Other improvements to bmc2 and bmc3.
Alan Mishchenko
2012-07-01
1
-3
/
+4
|
*
Other improvements to bmc2 and bmc3.
Alan Mishchenko
2012-07-01
1
-4
/
+4
|
[next]