index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
Commit message (
Expand
)
Author
Age
Files
Lines
*
Compiler warnings.
Alan Mishchenko
2022-09-19
1
-2
/
+5
*
Compiler warnings.
Alan Mishchenko
2022-09-19
1
-6
/
+6
*
Compiler warnings.
Alan Mishchenko
2022-09-19
1
-2
/
+0
*
Temporarily disabling &ttopt in the Windows version.
Alan Mishchenko
2022-09-19
1
-0
/
+6
*
Merge pull request #178 from MyskYko/ttopt
alanminko
2022-09-19
1
-0
/
+109
|
\
|
*
import ttopt
Yukio Miyasaka
2022-09-17
1
-0
/
+109
*
|
Adding args to command %yosys.
Alan Mishchenko
2022-09-19
3
-17
/
+42
|
/
*
Compiler warnings.
Alan Mishchenko
2022-08-30
1
-0
/
+2
*
Testing utility code.
Alan Mishchenko
2022-08-30
2
-1
/
+91
*
Various changes.
Alan Mishchenko
2022-08-30
2
-4
/
+17
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-07
1
-4
/
+26
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-03
1
-2
/
+10
*
Investigating complex miters.
Alan Mishchenko
2022-08-03
3
-6
/
+99
*
New switch in command &st for adding buffers.
Alan Mishchenko
2022-07-31
1
-5
/
+17
*
Various changes.
Alan Mishchenko
2022-07-30
1
-0
/
+92
*
Dumping equivalences after SAT sweeping.
Alan Mishchenko
2022-06-26
1
-5
/
+15
*
Experiments with technology mapping.
Alan Mishchenko
2022-06-25
1
-0
/
+64
*
Making command &kissat not look for the binary in the current dir.
Alan Mishchenko
2022-06-23
1
-2
/
+9
*
Adding command to check resub problem solution.
Alan Mishchenko
2022-06-10
1
-0
/
+60
*
Bug fix by Ai Quoc Dao.
Alan Mishchenko
2022-06-08
1
-1
/
+1
*
Renaming switch '-i' into '-c' in %collapse.
Alan Mishchenko
2022-06-05
1
-4
/
+4
*
Enabling support for reading AIGs with XOR gates.
Alan Mishchenko
2022-06-05
1
-4
/
+18
*
Integrated Kissat, by Armin Biere, as an external binary.
Alan Mishchenko
2022-06-02
2
-0
/
+191
*
Supporting new resub problem format.
Alan Mishchenko
2022-06-02
2
-1
/
+54
*
Adding new switch to &cec.
Alan Mishchenko
2022-05-20
1
-8
/
+24
*
Adding switch to dsd_match to skip small functions.
Alan Mishchenko
2022-05-18
3
-6
/
+17
*
One less line printed out in the batch mode.
Alan Mishchenko
2022-05-18
1
-1
/
+1
*
Removing duplicated command.
Alan Mishchenko
2022-04-26
1
-1
/
+1
*
Adding switch -c to &cone.
Alan Mishchenko
2022-04-26
2
-4
/
+15
*
Experiments with word-level data structures.
Alan Mishchenko
2022-04-26
2
-65
/
+220
*
A trivial changeset.
Alan Mishchenko
2022-04-24
1
-1
/
+0
*
Adding a switch to complement outputs after collapsing.
Alan Mishchenko
2022-04-24
1
-3
/
+9
*
Bug fix in &uif.
Alan Mishchenko
2022-04-24
3
-16
/
+57
*
Experiments with SAT sweeping.
Alan Mishchenko
2022-04-24
1
-1
/
+1
*
Experiments with SAT sweeping.
Alan Mishchenko
2022-04-24
1
-2
/
+3
*
Experiments with SAT sweeping.
Alan Mishchenko
2022-04-24
1
-5
/
+13
*
Adding switch to stop scorr if refinement is too slow.
Alan Mishchenko
2022-04-24
2
-13
/
+63
*
Experiments with word-level data structures.
Alan Mishchenko
2022-04-22
3
-9
/
+457
*
Added a switch to &dfs to perform levelized ordering.
Alan Mishchenko
2022-04-04
1
-6
/
+13
*
Experiments with word-level data structures.
Alan Mishchenko
2022-04-04
4
-26
/
+156
*
Suggested changes to properly initialize the variable array for Cudd_bddVecto...
Alan Mishchenko
2022-04-02
1
-5
/
+16
*
Experiments with word-level data structures.
Alan Mishchenko
2022-03-06
1
-2
/
+2
*
Experiments with word-level data structures.
Alan Mishchenko
2022-03-06
1
-10
/
+91
*
Experiments with word-level data structures.
Alan Mishchenko
2022-03-05
4
-39
/
+194
*
Interleaved variable ordering during bit-blasting.
Alan Mishchenko
2022-02-25
2
-3
/
+60
*
Intersection a bug in rewrite/refactor.
Alan Mishchenko
2022-02-23
1
-1
/
+1
*
Intersection a bug in rewrite/refactor.
Alan Mishchenko
2022-02-22
8
-43
/
+80
*
Similar changes suggested in other places.
Alan Mishchenko
2022-02-18
1
-4
/
+4
*
Suggested change to prevent ABC from crashing when compiled on Windows.
Alan Mishchenko
2022-02-18
1
-1
/
+2
*
Experiments with word-level data structures.
Alan Mishchenko
2022-02-16
7
-224
/
+562
[next]