8000

Labels Milestones New issue

请问litex社区有官方图标吗？

#227

· yogurt-shadow opened

on Dec 9, 2025

新手请教

#222

· nobodxbodon opened

on Nov 27, 2025

More problems with recursive <code>prove_algo</code> proofs

#220

· RebelPotato opened

on Nov 24, 2025

Keyword parameters

#218

· RebelPotato opened

on Nov 20, 2025

some suggestions about tutorial

#210

· RaymondDing917 opened

on Nov 6, 2025

LaTeX converter bug

#195

· kidherofun opened

on Oct 29, 2025

<code>^</code> bug

#178

· kidherofun opened

on Oct 23, 2025

Repository seems to be missing kernel_lib and to_latex

#177

· tj800x opened

on Oct 21, 2025

There are many enhancements to be done with ^, sqrt

#166

· malloc-realloc opened

on Oct 16, 2025

replace symbol with its value when checking specific facts

#165

· malloc-realloc opened

on Oct 16, 2025

big big update: do calculation in litex: eval_fn, return

#164

· malloc-realloc opened

on Oct 16, 2025

Some step need to be improved in polynomial transformation

#163

· kidherofun opened

on Oct 15, 2025

0