Search results

feat(tellur_core): planning memory layout with <code>UnsafeCell&lt;T&gt;</code>

Status: Open.

#12 In comnipl/tellur;

· AsPulse opened on Jan 13, 2025

chore: visualization of trends in benchmark results

Status: Open.

#11 In comnipl/tellur;

· AsPulse opened on Jan 13, 2025

chore: Upload benchmark result with GitHub Actions

Status: Open.

#10 In comnipl/tellur;

· AsPulse opened on Jan 13, 2025

chore: make <code>TODO:</code> comments into issues

Status: Open.

Task

#8 In comnipl/tellur;

· AsPulse opened on Jan 13, 2025

chore: Tracking benchmark result

Status: Open.

Task

#6 In comnipl/tellur;

· AsPulse opened on Jan 13, 2025

feat(tellur_core): trait solving

crate/tellur_core

Status: Open.

#5 In comnipl/tellur;

· AsPulse opened on Jan 12, 2025

feat(tellur_core): prohibit taking multiple mutable references in planning

Status: Open.

#4 In comnipl/tellur;

· AsPulse opened on Jan 12, 2025

feat(tellur_core): detecting cycle and remove unused node in planning

Status: Open.

#3 In comnipl/tellur;

· AsPulse opened on Jan 12, 2025

feat(tellur_core): Type checking in Planing

crate/tellur_core

Status: Open.

Feature

#2 In comnipl/tellur;

· AsPulse opened on Jan 12, 2025