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
*
Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead."
Miodrag Milanovic
2022-07-15
1
-2
/
+2
*
Add support for WASI platform in Wln_ConvertToRtl.
Catherine
2022-07-07
1
-0
/
+4
*
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2022-07-04
35
-135
/
+5395
|
\
|
*
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
|
*
Improving truth table handling.
Alan Mishchenko
2022-02-16
3
-2
/
+27
|
*
Improving truth table handling.
Alan Mishchenko
2022-02-03
5
-21
/
+166
|
*
Compiler warnings.
Alan Mishchenko
2022-02-02
1
-2
/
+2
|
*
Experiments with word-level data structures.
Alan Mishchenko
2022-02-02
3
-32
/
+439
|
*
Move CI to GitHub Actions.
Baruch Sterin
2022-01-22
1
-1
/
+1
|
*
Suggested bug fixes in the old code.
Alan Mishchenko
2022-01-21
2
-2
/
+2
|
*
Compiler warnings.
Alan Mishchenko
2022-01-21
1
-6
/
+6
|
*
Experiments with word-level data structures.
Alan Mishchenko
2022-01-21
7
-153
/
+2359
|
*
Adding new command &icec.
Alan Mishchenko
2021-12-17
3
-8
/
+200
|
*
Compiler warning.
Alan Mishchenko
2021-12-16
1
-8
/
+7
|
*
Adding new command %yosys.
Alan Mishchenko
2021-12-16
3
-0
/
+284
|
*
Outputting the constant node in 'write_gml'.
Alan Mishchenko
2021-12-06
1
-0
/
+12
[next]