index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
abclib.dsp
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Adding parameters and improvements to %blast.
Alan Mishchenko
2018-02-28
1
-0
/
+12
|
*
Adding support of reading and writing designs using a new internal format.
Alan Mishchenko
2018-01-28
1
-0
/
+4
|
*
Experiments with circuit-based SAT.
Alan Mishchenko
2018-01-27
1
-0
/
+4
|
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-28
1
-0
/
+4
|
*
Improvements to AIG-based quantification.
Alan Mishchenko
2017-11-26
1
-0
/
+4
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
1
-0
/
+4
|
*
Adding API to dump MiniAIG into a Verilog file and other small changes.
Alan Mishchenko
2017-10-22
1
-0
/
+4
|
*
Integrating old SAT solver into majexact and twoexact.
Alan Mishchenko
2017-10-19
1
-0
/
+4
|
*
Exact synthesis of majority gates.
Alan Mishchenko
2017-10-01
1
-0
/
+4
|
*
Uncommenting handling of initial values of the flops.
Alan Mishchenko
2017-09-19
1
-0
/
+4
|
*
Experiment with mapping.
Alan Mishchenko
2017-09-15
1
-0
/
+4
|
*
Integrating Glucose into bmc3 -g.
Alan Mishchenko
2017-09-06
1
-0
/
+4
|
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
1
-0
/
+108
|
*
Experiments with BMC.
Alan Mishchenko
2017-07-22
1
-0
/
+4
|
*
Accidental change.
Alan Mishchenko
2017-07-17
1
-37
/
+37
|
*
Experiments with support minimization.
Alan Mishchenko
2017-04-27
1
-0
/
+4
|
*
Logic restruturing after mapping.
Alan Mishchenko
2017-04-17
1
-0
/
+4
|
*
Experiments with hashing.
Alan Mishchenko
2017-04-08
1
-0
/
+8
|
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-26
1
-0
/
+4
|
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-23
1
-1
/
+1
|
*
Experiments with don't-cares.
Alan Mishchenko
2017-03-22
1
-4
/
+16
|
*
Merged in ysho/abc (pull request #69)
Alan Mishchenko
2017-03-20
1
-0
/
+4
|
\
|
|
|
|
|
|
Improvements to %pdra
|
*
%pdra: working on bmc3
Yen-Sheng Ho
2017-03-19
1
-0
/
+4
|
|
*
|
Experiments with new network data-structure.
Alan Mishchenko
2017-03-19
1
-0
/
+40
|
/
*
Synthesis for mesh of LUTs.
Alan Mishchenko
2017-03-17
1
-0
/
+4
|
*
Synthesis for mesh of LUTs.
Alan Mishchenko
2017-03-17
1
-0
/
+4
|
*
New word-level transformation.
Alan Mishchenko
2017-03-17
1
-0
/
+4
|
*
Improvements to ternary simulation.
Alan Mishchenko
2017-03-09
1
-0
/
+4
|
*
Improvements to ternary simulation.
Alan Mishchenko
2017-03-09
1
-0
/
+4
|
*
Clone of the main SAT solver to eneable independent work.
Alan Mishchenko
2017-03-03
1
-0
/
+8
|
*
Moving global declarations into 'abcapi.h' and moving it into 'main' package.
Alan Mishchenko
2017-03-02
1
-0
/
+4
|
*
Adding experimental command.
Alan Mishchenko
2017-03-02
1
-0
/
+4
|
*
Changes to Visual Studio project file to support 'pdra'.
Alan Mishchenko
2017-02-21
1
-0
/
+4
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-02-18
1
-0
/
+4
|
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
1
-0
/
+4
|
*
Movinng custom floating-point implementations, etc.
Alan Mishchenko
2017-02-11
1
-12
/
+12
|
*
Changes to compile on Windows.
Alan Mishchenko
2017-02-10
1
-0
/
+4
|
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
1
-0
/
+8
|
*
Autotuner for 'satoko'.
Alan Mishchenko
2017-02-08
1
-0
/
+4
|
*
New command &satoko.
Alan Mishchenko
2017-02-08
1
-0
/
+4
|
*
Small changes to compile satoko on Windows.
Alan Mishchenko
2017-02-06
1
-0
/
+84
|
*
Enabling new X-valued simulation in 'pdr'.
Alan Mishchenko
2017-02-03
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-30
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-28
1
-0
/
+8
|
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-12
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-11
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-10
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-0
/
+4
|
[next]