index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
wlc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-02-18
1
-11
/
+11
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
8
-238
/
+1096
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
6
-66
/
+125
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
1
-2
/
+2
*
Making sure 'inv_out' can match flops by name.
Alan Mishchenko
2017-02-09
3
-18
/
+51
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
7
-14
/
+379
*
New command &satoko.
Alan Mishchenko
2017-02-08
1
-2
/
+2
*
Improvements to SMT-LIB parser (bug fixes).
Alan Mishchenko
2017-01-30
1
-7
/
+23
*
Commenting out debug code.
Alan Mishchenko
2017-01-29
1
-1
/
+0
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-29
1
-0
/
+1
*
Commenting out &mfs report message.
Alan Mishchenko
2017-01-27
1
-2
/
+2
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
3
-14
/
+31
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
7
-115
/
+331
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
7
-11
/
+617
*
Improvements to SMT-LIB parser.
Alan Mishchenko
2017-01-26
3
-84
/
+243
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-25
1
-1
/
+1
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
1
-8
/
+8
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
2
-9
/
+21
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
2
-94
/
+395
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-13
1
-0
/
+10
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-12
1
-0
/
+26
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-11
1
-1
/
+1
*
Small changes in handling arithmetic logic.
Alan Mishchenko
2016-11-30
1
-1
/
+10
*
New command to profile arithmetic logic cones.
Alan Mishchenko
2016-11-26
5
-16
/
+278
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
2
-0
/
+55
*
Change Verilog reader to take a string rather than file name.
Alan Mishchenko
2016-10-06
3
-8
/
+10
*
Adding module name when reading SMT-LIB from stdin.
Alan Mishchenko
2016-10-02
1
-1
/
+1
*
Bug fix in SMT parser.
Alan Mishchenko
2016-10-02
1
-20
/
+12
*
Bug fix in the SMT parser to address multi-argument operators and large const...
Alan Mishchenko
2016-09-30
1
-2
/
+295
*
Supporting 'define-fun' with an expression rather than a constant.
Alan Mishchenko
2016-09-29
1
-6
/
+19
*
Updates to arithmetic verification.
Alan Mishchenko
2016-08-05
5
-19
/
+29
*
Adding output range support to %blast.
Alan Mishchenko
2016-07-18
5
-8
/
+40
*
Several corner-case bugs in %read, &cec, and st.
Alan Mishchenko
2016-07-16
1
-1
/
+1
*
Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift).
Alan Mishchenko
2016-07-12
2
-8
/
+18
*
Bit-blasting Booth multipliers.
Alan Mishchenko
2016-07-04
1
-4
/
+79
*
Bug fix in blasting shifters with large bit-width.
Alan Mishchenko
2016-06-29
1
-1
/
+1
*
Bug fix in blasting shifters with large bit-width.
Alan Mishchenko
2016-06-29
1
-9
/
+15
*
Bug fix in blasting shifters with large bit-width.
Alan Mishchenko
2016-06-28
1
-2
/
+2
*
Support bit-blasting of shifts with more than 32 bits (fix).
Alan Mishchenko
2016-06-08
1
-2
/
+2
*
Support bit-blasting of shifts with more than 32 bits.
Alan Mishchenko
2016-06-07
1
-6
/
+30
*
Changes to Wlc to accommodate signed signals in SMT-LIB.
Alan Mishchenko
2016-06-07
2
-7
/
+9
*
New profiling features for word-level optimizations.
Alan Mishchenko
2016-06-04
5
-43
/
+90
*
Small changes for today's experiments.
Alan Mishchenko
2016-06-03
1
-0
/
+19
*
Improving SMT-LIB parser.
Alan Mishchenko
2016-05-23
1
-1
/
+1
*
Improving SMT-LIB parser.
Alan Mishchenko
2016-05-23
6
-27
/
+38
*
Improving SMT-LIB parser.
Alan Mishchenko
2016-05-21
8
-107
/
+164
*
Improving SMT-LIB parser.
Alan Mishchenko
2016-05-20
6
-83
/
+88
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
1
-6
/
+9
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
5
-9
/
+16
*
Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.
Alan Mishchenko
2016-05-19
1
-3
/
+3
[next]