All issues

Search results

K Framework is not compatible with c-semantics master (fails even with Docker and bundled submodule)

Status: Open.

#660In kframework/c-semantics;

· sukeerth3 opened on May 11, 2025

after kcc, a.out can't run

Status: Open.

#657In kframework/c-semantics;

· Stevengre opened on Sep 1, 2021

Cannot run kcc script due to a current profile missing

Status: Open.

#656In kframework/c-semantics;

· NotBad4U opened on May 31, 2021

cannot compile

Status: Open.

#638In kframework/c-semantics;

· ShlKan opened on Aug 3, 2020

Linking should fail when main is defined both in C and C++.

Status: Open.

#609In kframework/c-semantics;

· h0nzZik opened on Feb 27, 2020

Linking should fail when a static function is used but not declared

Status: Open.

#607In kframework/c-semantics;

· h0nzZik opened on Feb 20, 2020

Do not supress linking errors

Status: Open.

#604In kframework/c-semantics;

· h0nzZik opened on Jan 17, 2020

C sizeof(struct) - bad order of evaluation

Status: Open.

#595In kframework/c-semantics;

· h0nzZik opened on Nov 5, 2019

Comma operator in C semantics

Status: Open.

#582In kframework/c-semantics;

· h0nzZik opened on Sep 26, 2019

Uncaught exception: abort() called but not implicitly defined

Status: Open.

#575In kframework/c-semantics;

· h0nzZik opened on Sep 16, 2019

Aggregate initialization bug

Status: Open.

#570In kframework/c-semantics;

· h0nzZik opened on Sep 12, 2019

Default argument conversion

Status: Open.

#568In kframework/c-semantics;

· h0nzZik opened on Sep 11, 2019