index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
abci
Commit message (
Expand
)
Author
Age
Files
Lines
*
Bug fix in &uif.
Alan Mishchenko
2022-04-24
1
-0
/
+6
*
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
1
-0
/
+142
*
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
2
-0
/
+28
*
Intersection a bug in rewrite/refactor.
Alan Mishchenko
2022-02-22
6
-41
/
+75
*
Improving truth table handling.
Alan Mishchenko
2022-02-16
1
-1
/
+16
*
Suggested bug fixes in the old code.
Alan Mishchenko
2022-01-21
1
-1
/
+1
*
Adding new command &icec.
Alan Mishchenko
2021-12-17
1
-0
/
+187
*
Adding command-line switch 'testnpn -A 12' for P-only canonical form computat...
Alan Mishchenko
2021-12-03
2
-1
/
+15
*
Disabling choices when they are computed incorrectly.
Alan Mishchenko
2021-11-30
1
-1
/
+5
*
Changes to make compiler happy.
Alan Mishchenko
2021-11-27
1
-1
/
+2
*
Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).
Alan Mishchenko
2021-10-23
2
-3
/
+3
*
Changing static to extern for two procedures.
Alan Mishchenko
2021-10-17
1
-2
/
+2
*
Experiments with SAT solving.
Alan Mishchenko
2021-10-09
1
-3
/
+22
*
New command &stochsyn for stochastic synthesis.
Alan Mishchenko
2021-10-06
1
-0
/
+103
*
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
Alan Mishchenko
2021-09-26
7
-7
/
+7
*
Two rare corner-case bugs in &if mapper.
Alan Mishchenko
2021-09-26
1
-1
/
+5
*
Adding command &reshape.
Alan Mishchenko
2021-09-21
1
-6
/
+11
*
Adding command &reshape.
Alan Mishchenko
2021-09-21
1
-0
/
+63
*
Removing unused command.
Alan Mishchenko
2021-09-21
1
-155
/
+0
*
Various changes.
Alan Mishchenko
2021-09-21
1
-5
/
+9
*
Improving MiniAIG and name manager.
Alan Mishchenko
2021-09-16
1
-1
/
+1
*
Enable command 'pipe' for pipelining.
Alan Mishchenko
2021-09-13
2
-3
/
+12
*
Disabling command print_mint when CUDD is not used.
Alan Mishchenko
2021-09-07
1
-0
/
+7
*
Bug fix in the timing manager.
Alan Mishchenko
2021-09-06
1
-28
/
+30
*
Various changes.
Alan Mishchenko
2021-09-04
1
-1
/
+1
*
Various changes.
Alan Mishchenko
2021-09-02
1
-2
/
+16
*
Allow &mfs to work on sequential AIGs.
Alan Mishchenko
2021-08-24
1
-1
/
+10
*
Compiler warnings.
Alan Mishchenko
2021-08-23
2
-2
/
+4
*
Support of pair-wise miter and other changes.
Alan Mishchenko
2021-08-22
1
-2
/
+19
*
Extending &trim to trim structurally equivalent primary outputs.
Alan Mishchenko
2021-08-19
1
-3
/
+14
*
Improving AIG to Verilog converter.
Alan Mishchenko
2021-08-17
1
-3
/
+8
*
Suggested changes to collect and pass timing information (unused variable).
Alan Mishchenko
2021-08-12
1
-1
/
+1
*
Suggested changes to collect and pass timing information (compiler issues).
Alan Mishchenko
2021-08-12
1
-7
/
+5
*
Suggested changes to collect and pass timing information.
Alan Mishchenko
2021-08-12
1
-8
/
+50
*
Making &cec support the miter circuit.
Alan Mishchenko
2021-08-05
1
-0
/
+14
*
Adding node ordering options to command &dfs.
Alan Mishchenko
2021-08-05
1
-22
/
+13
*
Experiments with LUT mapping for small functions.
Alan Mishchenko
2021-08-02
1
-7
/
+3
*
Experiments with LUT mapping for small functions.
Alan Mishchenko
2021-08-01
1
-1
/
+2
*
Upgrading choice computation.
Alan Mishchenko
2021-07-31
2
-21
/
+31
*
Experiments with cofactoring.
Alan Mishchenko
2021-07-31
1
-6
/
+23
*
Experimental simulation commands.
Alan Mishchenko
2021-07-25
1
-0
/
+180
*
Command to move CI/CO names.
Alan Mishchenko
2021-07-16
1
-2
/
+3
*
Command to move CI/CO names.
Alan Mishchenko
2021-07-16
1
-0
/
+63
*
Experiments with LUT mapping for small functions.
Alan Mishchenko
2021-07-13
1
-3
/
+14
*
Experiments with CEC.
Alan Mishchenko
2021-07-10
1
-4
/
+26
[next]