index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
io
/
io.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2022-07-04
1
-19
/
+87
|
\
|
*
Supporting new resub problem format.
Alan Mishchenko
2022-06-02
1
-0
/
+53
|
*
Improving truth table handling.
Alan Mishchenko
2022-02-16
1
-0
/
+10
|
*
Improving truth table handling.
Alan Mishchenko
2022-02-03
1
-19
/
+24
*
|
read_cex: Allow reading cex that has extra registers
Jannis Harder
2022-07-01
1
-0
/
+6
*
|
distinquish between old and new format as well
Miodrag Milanovic
2022-05-06
1
-3
/
+3
*
|
Give more reasonable error on read_cex and handle status
Miodrag Milanovic
2022-05-06
1
-4
/
+7
*
|
Fix for unhandled aiw file commands
Miodrag Milanovic
2022-04-15
1
-2
/
+2
*
|
Make read_cex able to append if some latches are missing
Miodrag Milanovic
2022-04-13
1
-3
/
+11
*
|
fix buffer error
Miodrag Milanovic
2022-03-22
1
-2
/
+5
*
|
gcc 4.8 fix
Miodrag Milanovic
2022-03-04
1
-3
/
+3
*
|
read_cex (#12)
Miodrag Milanović
2022-03-04
1
-7
/
+285
*
|
Fixes and more cleanups in write_cex output code
Claire Xenia Wolf
2022-02-15
1
-34
/
+27
*
|
Cleanups in write_cex output format
Claire Xenia Wolf
2022-02-15
1
-2
/
+7
*
|
Enable writing of minimized Cex in non-names mode
Claire Xenia Wolf
2022-02-15
1
-3
/
+7
*
|
write_cex - add minimize using algorithm from cexinfo command
Miodrag Milanovic
2021-11-19
1
-4
/
+36
|
/
*
Updating LUT synthesis code.
Alan Mishchenko
2021-05-16
1
-5
/
+15
*
Adding an option to write Verilog with LUT instances (compiler warnings).
Alan Mishchenko
2020-10-31
1
-1
/
+1
*
Adding an option to write Verilog with LUT instances.
Alan Mishchenko
2020-10-31
1
-3
/
+19
*
Fixing a clang error related to 'unlink'.
Alan Mishchenko
2020-10-09
1
-0
/
+3
*
New command 'read_sf'.
Alan Mishchenko
2020-10-01
1
-0
/
+73
*
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
-6
/
+12
*
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
*
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
*
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 f...
Alan Mishchenko
2018-09-28
1
-8
/
+31
*
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
*
Adding switch -a to 'write_verilog' to write factored forms without XORs and ...
Alan Mishchenko
2017-12-03
1
-3
/
+16
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
1
-1
/
+1
*
Improving CEX minimization.
Alan Mishchenko
2017-02-10
1
-1
/
+1
*
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
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
1
-2
/
+115
*
New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge).
Alan Mishchenko
2016-06-16
1
-5
/
+9
*
New multi-output PLA reader and preprocessor (read_plamo).
Alan Mishchenko
2016-06-16
1
-0
/
+52
*
Detecting properties of internal nodes.
Alan Mishchenko
2016-06-12
1
-0
/
+58
[next]