index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
abci
/
abc.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Renaming command-line option '-s' to be '-q' in 'pdr'.
Alan Mishchenko
2017-09-06
1
-4
/
+4
*
Several changes to various packages.
Alan Mishchenko
2017-09-04
1
-1
/
+0
*
Integrating Satoko into 'bmc' and 'bmc2'.
Alan Mishchenko
2017-08-16
1
-8
/
+20
*
Trying &bmcs with external solvers.
Alan Mishchenko
2017-08-15
1
-1
/
+6
*
Unfold several timeframes at the same time in &bmcs.
Alan Mishchenko
2017-08-15
1
-3
/
+15
*
Adding an option to bmc3 to use Satoko intead of the default SAT solver.
Alan Mishchenko
2017-08-13
1
-2
/
+6
*
Experiments with BMC.
Alan Mishchenko
2017-08-13
1
-1
/
+1
*
Experiments with BMC.
Alan Mishchenko
2017-08-13
1
-2
/
+16
*
add frame done callback support for command &bmcs
Baruch Sterin
2017-08-09
1
-0
/
+2
*
Experiments with BMC.
Alan Mishchenko
2017-08-09
1
-0
/
+106
*
New commands for backing up networks.
Alan Mishchenko
2017-08-04
1
-1
/
+196
*
Transforming miter by swapping sides.
Alan Mishchenko
2017-07-23
1
-10
/
+18
*
Experiments with logic optimization.
Alan Mishchenko
2017-07-21
1
-0
/
+98
*
Adding new command line options for &verify and &synch2.
Alan Mishchenko
2017-07-06
1
-6
/
+14
*
Temp changes
Alan Mishchenko
2017-06-15
1
-1
/
+8
*
Several new procedures for GIA manipulation.
Alan Mishchenko
2017-06-01
1
-1
/
+1
*
Two small fixes.
Alan Mishchenko
2017-04-24
1
-1
/
+1
*
Logic restructuring after mapping.
Alan Mishchenko
2017-04-23
1
-0
/
+1
*
Logic restruturing after mapping.
Alan Mishchenko
2017-04-17
1
-0
/
+69
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-04-11
1
-3
/
+7
*
Experiments with hashing.
Alan Mishchenko
2017-04-08
1
-0
/
+1
*
Adding stand-alone cut computation to GIA.
Alan Mishchenko
2017-04-05
1
-3
/
+3
*
Experiments with don't-cares.
Alan Mishchenko
2017-04-04
1
-2
/
+7
*
Experiments with don't-cares.
Alan Mishchenko
2017-04-02
1
-16
/
+16
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-31
1
-0
/
+1
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-26
1
-1
/
+14
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-26
1
-0
/
+135
*
Experiments with new network data-structure.
Alan Mishchenko
2017-03-19
1
-0
/
+49
*
Code for structural unateness checking.
Alan Mishchenko
2017-03-18
1
-0
/
+51
*
Synthesis for mesh of LUTs.
Alan Mishchenko
2017-03-17
1
-3
/
+12
*
Synthesis for mesh of LUTs.
Alan Mishchenko
2017-03-17
1
-0
/
+102
*
Integration of new SAT sweeper.
Alan Mishchenko
2017-03-11
1
-4
/
+12
*
Clone of the main SAT solver to eneable independent work.
Alan Mishchenko
2017-03-03
1
-0
/
+70
*
Adding experimental command.
Alan Mishchenko
2017-03-02
1
-0
/
+46
*
Adding command 'glitch' for glitch simulation.
Alan Mishchenko
2017-03-02
1
-0
/
+84
*
Enabling LUT pairing.
Alan Mishchenko
2017-02-27
1
-4
/
+5
*
Small changes in the usage message for &gla.
Alan Mishchenko
2017-02-23
1
-1
/
+3
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-02-20
1
-1
/
+1
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-02-18
1
-1
/
+1
*
Promising alternative of CEX minimization in 'pdr'.
Alan Mishchenko
2017-02-16
1
-2
/
+6
*
Promising modification of the generalization procedure in 'pdr'.
Alan Mishchenko
2017-02-16
1
-2
/
+6
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
1
-5
/
+5
*
Adding APIs to mark cones. Creating test-bench for incremental solving &satok...
Alan Mishchenko
2017-02-11
1
-5
/
+9
*
Updates to the autotuner.
Alan Mishchenko
2017-02-10
1
-210
/
+10
*
Merged in boschmitt/abc (pull request #51)
Alan Mishchenko
2017-02-11
1
-4
/
+214
|
\
|
*
New fixed point data type.
Bruno Schmitt
2017-02-10
1
-4
/
+214
*
|
Re-introducing floating-point activity in the SAT solver.
Alan Mishchenko
2017-02-10
1
-2
/
+6
|
/
*
Accidental change.
Alan Mishchenko
2017-02-08
1
-1
/
+1
*
Autotuner for 'satoko'.
Alan Mishchenko
2017-02-08
1
-4
/
+23
*
New command &satoko.
Alan Mishchenko
2017-02-08
1
-2
/
+71
[next]