Issues
- 0
Dependency Dashboard
#253 opened by renovate - 1
Installation page not found
#247 opened by Jonerbay - 3
building errors
#249 opened by shi27feng - 4
inou.yosys.tolg not populating the lgdb folder
#248 opened by myyiwere - 5
- 0
DCE per instance/type
#139 opened by renau - 1
- 2
- 12
/usr/bin/ld.gold: error: cannot find -lstdc++
#179 opened by kevinyuan - 0
cleaner to return invalid_index()
#148 opened by todo - 0
(joapena): check how to use regex
#149 opened by todo - 0
Automatic tech library
#136 opened by renau - 0
only verified for (simple) assignment expressions so far
#176 opened by todo - 0
no repeating yourself
#177 opened by todo - 0
add more true cases, if applicable
#178 opened by todo - 0
resolve experimental code into macro or remove
#173 opened by todo - 0
conditional function definition needs to have cond type
#174 opened by todo - 0
other things than for in notation?
#175 opened by todo - 0
Attach source info into node creation (line #, col #).
#170 opened by todo - 0
Change string rep. to something like "0d#". How would I do this to impact signed...
#172 opened by todo - 0
Figure out how to do this better since right now this leads to string_view out-o...
#171 opened by todo - 0
after garbage collect) or Last
#168 opened by todo - 0
Make sure this gives right value.
#169 opened by todo - 0
cleaner API to also dump token
#163 opened by todo - 0
make array's template parameters somehow inherit from ui
#164 opened by todo - 0
implement LEC\n");
#166 opened by todo - 0
check correctness of scanner with NEGATION token ("N")
#159 opened by todo - 0
check if hex constants are supported.
#160 opened by todo - 0
(martinus) add a fallback for very large strings?
#161 opened by todo - 0
This is slow. Can we do better?
#156 opened by todo - 0
check correctness of scanner with ASSERTION token ("I")
#158 opened by todo - 0
- 0
(joapena): check how labels are formated
#153 opened by todo - 0
is it possible to resolve this case?
#154 opened by todo - 0
?: It may be faster to do two passes with fast (first create nodes, then connect...
#155 opened by todo - 0
(joapena): check for better way to compare string
#150 opened by todo - 0
(joapena): add in the arguments
#151 opened by todo - 0
- 0
sync should be private
#140 opened by renau - 0
likely/unlikely
#145 opened by renau - 0
build a generic sram_async class
#165 opened by todo - 0
(martinus) we don't need to move everything, just the last one for the same buck...
#162 opened by todo - 0
?: It may be faster to do two passes with fast (first create nodes, then connec...
#146 opened by todo - 0
Use this API instead of Node(new_lg,...)
#147 opened by todo - 0
- 0
- 0
mockturtle
#137 opened by renau - 0
SAT Verification
#138 opened by renau - 0
SMT + Types
#143 opened by renau - 1
rams have problems with disconnected reads
#141 opened by renau