index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
misc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Extending &sim_read to use non-64-divisible pattern counts.
Alan Mishchenko
2020-08-12
1
-3
/
+13
*
Experimental resubstitution.
Alan Mishchenko
2020-05-15
2
-0
/
+121
*
Experimental resubstitution.
Alan Mishchenko
2020-05-08
1
-0
/
+6
*
Experimental resubstitution.
Alan Mishchenko
2020-05-03
2
-0
/
+154
*
Various changes.
Alan Mishchenko
2020-03-29
1
-0
/
+6
*
Various changes.
Alan Mishchenko
2020-03-28
2
-5
/
+15
*
Experiments with simulation-based engines.
Alan Mishchenko
2020-03-25
1
-0
/
+17
*
Experiments with simulation-based engines.
Alan Mishchenko
2020-03-22
3
-60
/
+66
*
Various changes.
Alan Mishchenko
2020-03-21
1
-0
/
+8
*
Downgrading random number generator to be not inlined.
Alan Mishchenko
2020-03-18
2
-24
/
+37
*
Updating and extending simulation data structures.
Alan Mishchenko
2020-03-05
2
-0
/
+14
*
Adding several new utilities.
Alan Mishchenko
2020-01-27
2
-0
/
+107
*
Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.
Alan Mishchenko
2020-01-07
1
-1
/
+1
*
Adding macro to disable bridge output and APIs by popular demand.
Alan Mishchenko
2019-11-09
2
-10
/
+229
*
Adding switch to &if to consider special type of 6-input cuts.
Alan Mishchenko
2019-09-26
1
-0
/
+7
*
Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to pri...
Alan Mishchenko
2019-09-19
1
-1
/
+1
*
Updating command 'symfun' to generate symmetric functions and their NPN classes.
Alan Mishchenko
2019-05-30
1
-1
/
+26
*
Changes to the interface of &cfs.
Alan Mishchenko
2019-05-21
1
-1
/
+1
*
Changes to the interface of &cfs.
Alan Mishchenko
2019-05-15
1
-1
/
+1
*
Modifying 'write_truth' to dump truth table in hex.
Alan Mishchenko
2019-05-07
2
-0
/
+19
*
Fix index of delay tables created by %blast.
Alan Mishchenko
2019-04-16
1
-1
/
+1
*
Extending generic simulation APIs.
Alan Mishchenko
2019-04-09
1
-1
/
+1
*
Extending simulation interface.
Alan Mishchenko
2019-03-28
1
-1
/
+1
*
Adding new command line args.
Alan Mishchenko
2019-03-13
1
-1
/
+1
*
Fixing some more warnings by adding cast from 'int' to 'size_t'.
Alan Mishchenko
2019-03-05
15
-73
/
+73
*
Fixing several other type conversion warnings.
Alan Mishchenko
2019-03-05
1
-8
/
+8
*
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...
Alan Mishchenko
2019-03-05
21
-55
/
+55
*
Suggested white-space changes for fewer gcc warnings.
Alan Mishchenko
2019-03-04
1
-1
/
+3
*
Adding new switch to simulation.
Alan Mishchenko
2019-01-29
2
-2
/
+2
*
Adding new switch to simulation.
Alan Mishchenko
2019-01-29
1
-1
/
+1
*
Changing default parameter values in the AIG generation code.
Alan Mishchenko
2019-01-18
1
-1
/
+1
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-15
1
-1
/
+1
*
Procedure to trasnsform counter-examples.
Alan Mishchenko
2019-01-15
1
-3
/
+3
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-15
4
-3
/
+121
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-09
1
-0
/
+1
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-09
2
-21
/
+66
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-08
2
-0
/
+302
*
Experiments with retiming (adding new APIs).
Alan Mishchenko
2018-12-09
1
-0
/
+7
*
Adding switch &w -n to modify the comment section of the AIGER file written.
Alan Mishchenko
2018-11-21
2
-3
/
+3
*
Various usability changes (second round).
Alan Mishchenko
2018-11-20
1
-0
/
+3
*
extraUtilPerm: Abc_ZddDiff.
Heinz Riener
2018-10-21
1
-1
/
+1
*
New APIs of the truth table package.
Alan Mishchenko
2018-09-21
1
-0
/
+28
*
Hash table profiling.
Alan Mishchenko
2018-09-08
1
-0
/
+14
*
Expriments with functions (bug fixes).
Alan Mishchenko
2018-09-07
1
-1
/
+1
*
Updating command 'majgen'.
Alan Mishchenko
2018-07-04
1
-13
/
+15
*
Updating command 'majgen'.
Alan Mishchenko
2018-07-04
1
-72
/
+21
*
Adding command 'majgen'.
Alan Mishchenko
2018-07-04
5
-0
/
+523
*
Path enumeration using SAT.
Alan Mishchenko
2018-06-20
1
-0
/
+84
*
Experiments with path enumeration.
Alan Mishchenko
2018-06-10
1
-5
/
+413
*
Experiments with path enumeration.
Alan Mishchenko
2018-06-06
2
-0
/
+116
[next]