index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
Several small changes to the MFS packages.
Alan Mishchenko
2013-05-27
10
-21
/
+26
*
Added switch -M to set max size of two-cube divisors to extract (often helps ...
Alan Mishchenko
2013-05-27
5
-19
/
+38
*
Changing how often timeout is checked in the SAT solver and several applicati...
Alan Mishchenko
2013-05-27
4
-3
/
+21
*
New MFS package.
Alan Mishchenko
2013-05-27
1
-1
/
+1
*
New MFS package.
Alan Mishchenko
2013-05-27
4
-9
/
+35
*
New MFS package.
Alan Mishchenko
2013-05-26
5
-15
/
+34
*
New MFS package.
Alan Mishchenko
2013-05-26
9
-98
/
+96
*
New command 'putontop' to concatenate networks for don't-care-based optimizat...
Alan Mishchenko
2013-05-25
5
-7
/
+196
*
New MFS package.
Alan Mishchenko
2013-05-25
12
-109
/
+111
*
New MFS package.
Alan Mishchenko
2013-05-25
11
-119
/
+100
*
New MFS package.
Alan Mishchenko
2013-05-25
4
-10
/
+22
*
New MFS package.
Alan Mishchenko
2013-05-25
9
-38
/
+67
*
New MFS package.
Alan Mishchenko
2013-05-24
10
-73
/
+102
*
New MFS package.
Alan Mishchenko
2013-05-24
9
-180
/
+598
*
New MFS package.
Alan Mishchenko
2013-05-23
6
-125
/
+349
*
Counter-example depth minimization.
Alan Mishchenko
2013-05-22
6
-16
/
+552
*
Bug fix in saving CEXes and CEX vectors.
Alan Mishchenko
2013-05-21
1
-5
/
+9
*
Windows Visual Studio 2008 warnings.
Alan Mishchenko
2013-05-20
3
-4
/
+4
*
g++ warnings.
Alan Mishchenko
2013-05-19
6
-6
/
+6
*
Making changes suggested by Mark Jarvin.
Alan Mishchenko
2013-05-19
2
-5
/
+10
*
Bug fix in &frames.
Alan Mishchenko
2013-05-19
1
-25
/
+6
*
Bug fix in &mprove.
Alan Mishchenko
2013-05-19
1
-2
/
+2
*
Added new switched to command &frames.
Alan Mishchenko
2013-05-19
3
-13
/
+60
*
Changing command 'history' to have simpler interface.
Alan Mishchenko
2013-05-18
1
-28
/
+11
*
Added switch -I <file_name> to &sim to perform simulation with the user's sim...
Alan Mishchenko
2013-05-18
2
-2
/
+122
*
Potential improvement to &scorr.
Alan Mishchenko
2013-05-18
1
-0
/
+72
*
Improvements to 'bmc3'.
Alan Mishchenko
2013-05-18
2
-159
/
+12
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
1
-5
/
+53
*
Fixed gap timeout in 'pdr'.
Alan Mishchenko
2013-05-18
1
-0
/
+4
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
1
-0
/
+4
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
1
-0
/
+1
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
2
-4
/
+10
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
5
-8
/
+53
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
4
-3
/
+28
*
SAT variable profiling (undo).
Alan Mishchenko
2013-05-18
3
-19
/
+0
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
3
-0
/
+19
*
SAT variable profiling (undo).
Alan Mishchenko
2013-05-18
3
-19
/
+0
*
SAT variable profiling.
Alan Mishchenko
2013-05-18
3
-0
/
+19
*
Adding support of XOR/MUX in GIA.
Alan Mishchenko
2013-05-17
1
-1
/
+1
*
Adding support of XOR/MUX in GIA.
Alan Mishchenko
2013-05-17
7
-48
/
+341
*
Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.
Alan Mishchenko
2013-05-17
6
-32
/
+8
*
Adding new command &mprove for proving groups of properties.
Alan Mishchenko
2013-05-17
9
-26
/
+240
*
Bug fix in the timeout mechanism of 'pdr'.
Alan Mishchenko
2013-05-17
1
-2
/
+2
*
Adding 'zeropo -o' to replace a given PO by const 1.
Alan Mishchenko
2013-05-15
2
-6
/
+11
*
Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.
Alan Mishchenko
2013-05-13
2
-2
/
+2
*
Extending cube representation to handle SOPs with many cubes.
Alan Mishchenko
2013-05-12
2
-5
/
+9
*
New MFS package.
Alan Mishchenko
2013-05-12
14
-218
/
+930
*
SAT sweeping under constraints (bug fix).
Alan Mishchenko
2013-05-12
1
-0
/
+3
*
Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...
Alan Mishchenko
2013-05-11
1
-1
/
+1
*
Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...
Alan Mishchenko
2013-05-11
4
-79
/
+139
[next]