Search results

Instruction assertions being ignored

T: BugSomething isn't workingSomething isn't working

Status: Open.

Bug

#758 In exo-lang/exo;

· yamaguchi1024 opened on Feb 7, 2025

Tensor/window Codegen always emits float *, which is incorrect for custom memories

C: CodegenThe final C code generationThe final C code generation

S: AvailableAvailable to be worked uponAvailable to be worked upon

T: BugSomething isn't workingSomething isn't working

Status: Open.

#742 In exo-lang/exo;

· yamaguchi1024 opened on Nov 7, 2024

branching on a stride triggers validation error in bounds checking

C: InternalImplementation detailImplementation detail

S: AvailableAvailable to be worked uponAvailable to be worked upon

T: BugSomething isn't workingSomething isn't working

Status: Open.

#740 In exo-lang/exo;

· meganfrisella opened on Nov 6, 2024

Implement a lightweight "diff" printing wrapper

C: APIsThe API exposed by the languageThe API exposed by the language

S: AvailableAvailable to be worked uponAvailable to be worked upon

T: New featureIssue for new featuresIssue for new features

Status: Open.

#739 In exo-lang/exo;

· yamaguchi1024 opened on Nov 5, 2024

Extern codegen generates multiple function with the same name and different types

C: CodegenThe final C code generationThe final C code generation

S: AvailableAvailable to be worked uponAvailable to be worked upon

T: BugSomething isn't workingSomething isn't working

Status: Open.

#737 In exo-lang/exo;

· yamaguchi1024 opened on Nov 5, 2024

Compiling configuration does not work

C: CodegenThe final C code generationThe final C code generation

S: AvailableAvailable to be worked uponAvailable to be worked upon

T: BugSomething isn't workingSomething isn't working

Status: Open.

#732 In exo-lang/exo;

· yamaguchi1024 opened on Oct 21, 2024

Deprecate ctxts

C: CodegenThe final C code generationThe final C code generation

Status: Open.

#712 In exo-lang/exo;

· yamaguchi1024 opened on Oct 5, 2024

replace_all failure?

C: SchedulingThe scheduling language and APIsThe scheduling language and APIs

T: BugSomething isn't workingSomething isn't working

Status: Open.

#699 In exo-lang/exo;

· gilbo opened on Sep 4, 2024

auto_stage_mem bounds arithmetic is wrong

C: Prog AnalysisRelated to formal analysis, SMT, etc.Related to formal analysis, SMT, etc.

C: SchedulingThe scheduling language and APIsThe scheduling language and APIs

T: BugSomething isn't workingSomething isn't working

Status: Open.

#698 In exo-lang/exo;

· gilbo opened on Sep 3, 2024

Unknown Z3 error from remove_loop

C: Prog AnalysisRelated to formal analysis, SMT, etc.Related to formal analysis, SMT, etc.

T: BugSomething isn't workingSomething isn't working

Status: Open.

#652 In exo-lang/exo;

· yamaguchi1024 opened on May 29, 2024

Restrict qualify pointers in generated C code

Status: Open.

#625 In exo-lang/exo;

· SamirDroubi opened on Apr 23, 2024

Forward cursors in partial_eval and add_assertion

Status: Open.

#617 In exo-lang/exo;

· yamaguchi1024 opened on Apr 16, 2024