index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
io
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Trying to explicitly compute don't-cares during optimization.
Alan Mishchenko
2020-11-01
1
-1
/
+2
|
*
Adding an option to write Verilog with LUT instances (compiler warnings).
Alan Mishchenko
2020-10-31
2
-3
/
+3
|
*
Adding an option to write Verilog with LUT instances.
Alan Mishchenko
2020-10-31
2
-3
/
+196
|
*
Fixing a clang error related to 'unlink'.
Alan Mishchenko
2020-10-09
1
-0
/
+3
|
*
New command 'read_sf'.
Alan Mishchenko
2020-10-01
2
-0
/
+128
|
*
Ongoing changes to the simulator.
Alan Mishchenko
2020-03-09
1
-0
/
+2
|
*
Adding CNF variable mapping rules.
Alan Mishchenko
2020-01-18
1
-0
/
+11
|
*
Updates to JSON parser.
Alan Mishchenko
2019-12-02
1
-0
/
+20
|
*
Updates to JSON parser.
Alan Mishchenko
2019-12-02
2
-7
/
+138
|
*
Adding logfile dump to print_status.
Alan Mishchenko
2019-11-25
1
-0
/
+26
|
*
Dumping multiple counter-examples.
Alan Mishchenko
2019-11-19
1
-1
/
+1
|
*
Dumping multiple counter-examples.
Alan Mishchenko
2019-11-19
1
-1
/
+1
|
*
Dumping multiple counter-examples.
Alan Mishchenko
2019-11-19
1
-104
/
+139
|
*
Bug fix in parsing hierarchical BLIF with mapping.
Alan Mishchenko
2019-11-18
1
-3
/
+16
|
*
Fix read_bench to read standard gate names in lower-case.
Alan Mishchenko
2019-08-28
1
-9
/
+9
|
*
Adding synonym of 'read_dsd'.
Alan Mishchenko
2019-06-20
1
-0
/
+1
|
*
Modifying 'write_truth' to dump truth table in hex.
Alan Mishchenko
2019-05-07
1
-3
/
+11
|
*
Adding switch 'read_truth -f <file_name>' to read truth table from file.
Alan Mishchenko
2019-04-15
1
-9
/
+22
|
*
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵
Alan Mishchenko
2019-03-05
3
-4
/
+4
|
|
|
|
memcpy, etc.
*
Suggested white-space changes for fewer gcc warnings.
Alan Mishchenko
2019-03-04
1
-1
/
+1
|
*
Add skip feature to CEX printing.
Alan Mishchenko
2019-02-08
1
-1
/
+9
|
*
Exploring other ways of CEX writing.
Alan Mishchenko
2019-01-21
1
-5
/
+51
|
*
Undoing some recent changes for improved CEX writing.
Alan Mishchenko
2019-01-21
1
-65
/
+8
|
*
Fixing the problem with outputting word-level CEXes after retiming.
Alan Mishchenko
2019-01-18
1
-12
/
+28
|
*
Fixing the problem with outputting word-level CEXes after retiming.
Alan Mishchenko
2019-01-17
1
-19
/
+37
|
*
Fixing the problem with outputting word-level CEXes.
Alan Mishchenko
2019-01-16
1
-1
/
+24
|
*
Various usability changes.
Alan Mishchenko
2018-11-18
1
-3
/
+14
|
*
Adding switch to 'write_pla' to write random onset minterms of the first PO ↵
Alan Mishchenko
2018-09-29
1
-2
/
+8
|
|
|
|
function (bug fix).
*
Adding switch to 'write_pla' to write random onset minterms of the first PO ↵
Alan Mishchenko
2018-09-28
2
-10
/
+154
|
|
|
|
function.
*
Adding switch 'clp -o' to reverse initial variable ordering.
Alan Mishchenko
2018-06-07
1
-1
/
+1
|
*
Integrating SAT-based CEX minimization (bug fix).
Alan Mishchenko
2018-03-25
1
-2
/
+2
|
*
Integrating SAT-based CEX minimization.
Alan Mishchenko
2018-03-25
1
-8
/
+20
|
*
Bug fix in 'write_aiger_cex'.
Alan Mishchenko
2017-12-20
1
-0
/
+1
|
*
Adding switch -a to 'write_verilog' to write factored forms without XORs and ↵
Alan Mishchenko
2017-12-03
4
-16
/
+29
|
|
|
|
MUXes.
*
Fixing minimize_assuptions using Glucose.
Alan Mishchenko
2017-10-02
1
-0
/
+1
|
*
Maintenance and updates.
Alan Mishchenko
2017-09-24
1
-1
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2017-07-22
1
-2
/
+2
|
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
1
-1
/
+1
|
*
Improving CEX minimization.
Alan Mishchenko
2017-02-10
1
-1
/
+1
|
*
Improvements in AIG visualization.
Alan Mishchenko
2017-02-05
1
-2
/
+2
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-30
1
-1
/
+1
|
*
Commenting out bailout in 'print_cex' when CEX has latches initialized to 1.
Alan Mishchenko
2016-11-30
1
-1
/
+2
|
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-26
1
-1
/
+1
|
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
4
-2
/
+391
|
*
Unsuccessful attempt to improve quality of factoring by limiting distance-1 ↵
Alan Mishchenko
2016-08-06
1
-12
/
+67
|
|
|
|
merge during preprocessing.
*
Extension in the detection code.
Alan Mishchenko
2016-07-19
1
-0
/
+2
|
*
New multi-output PLA reader and preprocessor (read_plamo) (updated dist-1 ↵
Alan Mishchenko
2016-06-17
1
-2
/
+54
|
|
|
|
merge).
*
New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge).
Alan Mishchenko
2016-06-16
2
-83
/
+355
|
*
Change to BENCH reader to read DFF with four inputs.
Alan Mishchenko
2016-06-16
1
-7
/
+30
|
*
New multi-output PLA reader and preprocessor (read_plamo).
Alan Mishchenko
2016-06-16
3
-0
/
+491
|
[next]