Search results

Implement <code>settings.logging.{limit,rotate}</code>

Status: Open.

#192 In tum-ei-eda/seal5;

· PhilippvK opened on Nov 13, 2025

Make Seal5Flow a ContextManager

type:enhancementNew feature or requestNew feature or request

Status: Open.

#191 In tum-ei-eda/seal5;

· PhilippvK opened on Nov 7, 2025

Handle Register groups

Status: Open.

#185 In tum-ei-eda/seal5;

· PhilippvK opened on Jun 25, 2025

Add Report Stage to Seal5Flow

priority:low

seal5:flow

Status: Open.

#182 In tum-ei-eda/seal5;

· PhilippvK opened on Jun 11, 2025

ExtensionNames ending with RV32/RV64 are not detected by Clang in <code>-march</code> string

priority:high

type:bugSomething isn't workingSomething isn't working

Status: Open.

#173 In tum-ei-eda/seal5;

· PhilippvK opened on Mar 6, 2025

Support custom immediate sizes

priority:high

seal5:model

seal5:settings

type:enhancementNew feature or requestNew feature or request

type:support

Status: Open.

#168 In tum-ei-eda/seal5;

· PhilippvK opened on Mar 4, 2025

CLI: Add <code>--log verbose/info/warning/debug</code> arg

Status: Open.

#165 In tum-ei-eda/seal5;

· PhilippvK opened on Feb 17, 2025

Automatically add inject_markers_patch (do not require user to provide <code>patches.yml</code>)

Status: Open.

#164 In tum-ei-eda/seal5;

· PhilippvK opened on Feb 17, 2025

Type infer pass fails with default settings

Status: Open.

#163 In tum-ei-eda/seal5;

· PhilippvK opened on Feb 17, 2025

Builtins patch causes recompilation if 1k+ files

priority:low

type:help wantedExtra attention is neededExtra attention is needed

Status: Open.

#162 In tum-ei-eda/seal5;

· PhilippvK opened on Feb 17, 2025

Proposal for refactored Intrinsics configuration

Status: Open.

#155 In tum-ei-eda/seal5;

· PhilippvK opened on Dec 30, 2024

Intrinsics/Builtins: Support more powerful intrinsics selection

layer:builtins

priority:low

type:enhancementNew feature or requestNew feature or request

type:help wantedExtra attention is neededExtra attention is needed

type:support

Status: Open.

#153 In tum-ei-eda/seal5;

· PhilippvK opened on Dec 13, 2024