kframework/c-semantics

Issues

• cannot compile

  #638 opened 4 years ago by ShlKan
  1

• after kcc, a.out can't run

  #657 opened 3 years ago by Stevengre
  1

• Cannot run kcc script due to a current profile missing

  #656 opened 3 years ago by NotBad4U
  4

• Union bug

  #612 opened 5 years ago by h0nzZik
  1

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

  #609 opened 5 years ago by h0nzZik
  0

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

  #607 opened 5 years ago by h0nzZik
  0

• Do not supress linking errors

  #604 opened 5 years ago by h0nzZik
  0

• INSTALL.md#from-scratch Should `liblocal-lib-perl` be included in the packages to install

  #599 opened 5 years ago by rudolph9
  0

• make fails on in docker container

  #600 opened 5 years ago by rudolph9
  1

• C `sizeof(struct)` - bad order of evaluation

  #595 opened 5 years ago by h0nzZik
  0

• C union member problem

  #591 opened 5 years ago by h0nzZik
  1

• Deviation from Norrish's semantics for the simple assignment operator

  #580 opened 5 years ago by bsorav
  2

• Comma operator in C semantics

  #582 opened 5 years ago by h0nzZik
  0

• Throwing an exception containing a member

  #574 opened 5 years ago by h0nzZik
  1

• Uncaught exception: abort() called but not implicitly defined

  #575 opened 5 years ago by h0nzZik
  0

• Return struct: destructor is called before copy constructor

  #555 opened 5 years ago by h0nzZik
  0

• `<references>` cell garbage collection

  #571 opened 5 years ago by h0nzZik
  1

• Aggregate initialization bug

  #570 opened 5 years ago by h0nzZik
  0

• Destruction

  #562 opened 5 years ago by h0nzZik
  1

• Default argument conversion

  #568 opened 5 years ago by h0nzZik
  0

• Referring to an object outside of its lifetime.

  #561 opened 5 years ago by h0nzZik
  0

• Accidentally calling destructors of dynamically-alocated objects.

  #547 opened 5 years ago by h0nzZik
  3

• Fatal error: cannot load shared library dllunix while running interpreter

  #553 opened 5 years ago by zhmtechie
  2

• Bind const lvalue reference to a temporary of a class type

  #496 opened 5 years ago by h0nzZik
  3

• KCC builtins to make program stuck

  #544 opened 5 years ago by h0nzZik
  0

• locsWritten cell

  #526 opened 5 years ago by bsorav
  2

• Passing parameters by value

  #497 opened 5 years ago by h0nzZik
  1

• Trap: ugly error message

  #512 opened 5 years ago by h0nzZik
  0

• `clang-kast` inserts implicit calls to conversion functions

  #501 opened 5 years ago by h0nzZik
  1

• remove kcc_config files from version control

  #492 opened 5 years ago by charala1
  0

• per-profile directory for test output

  #491 opened 5 years ago by charala1
  0

• Rename `isBaseClassOf` to `isSameClassOrBaseClassOf`

  #487 opened 5 years ago by h0nzZik
  0

• Conversions by constructor

  #482 opened 5 years ago by h0nzZik
  0

• Builds and a.out should find krun in $PATH

  #483 opened 5 years ago by GJDitchfield
  2

• [C++] overload resolution bug

  #431 opened 5 years ago by h0nzZik
  1

• Overload resolution bug in Clang

  #480 opened 5 years ago by h0nzZik
  1

• [C++] clang-kast crashes on empty declaration

  #465 opened 5 years ago by h0nzZik
  0

• [C++] Reference binding bug

  #434 opened 5 years ago by h0nzZik
  3

• [C++] redeclared extern variables

  #452 opened 5 years ago by h0nzZik
  0

• [C++] `isVirtualBaseClassOf` gets stuck

  #447 opened 5 years ago by h0nzZik
  0

• include tests for fatpack distributables in CI

  #444 opened 5 years ago by charala1
  1

• re-build with no changes takes too long

  #425 opened 5 years ago by charala1
  1

• CI should test re-build times

  #438 opened 5 years ago by charala1
  1

• out-of-source build for parser

  #442 opened 5 years ago by charala1
  0

• Rvalue reference binding (again)

  #421 opened 5 years ago by h0nzZik
  0

• out-of-source build for clang-tools

  #429 opened 5 years ago by charala1
  1

• [C++] #include<iostream> EST_Unevaluated

  #432 opened 5 years ago by h0nzZik
  0

• update installation instructions

  #424 opened 5 years ago by charala1
  0

• Implement forward declaration of classes

  #413 opened 6 years ago by h0nzZik
  0

• Unable to install under Ubuntu 18.04: Failed to read artifact descriptor for com.runtimeverification.rv_match:ocaml-backend:jar:1.0-SNAPSHOT

  #404 opened 6 years ago by practicalswift
  6