Skip to content

issues Search Results · repo:timed-c/ktc language:C

Filter by

12 results
 (87 ms)

12 results

intimed-c/ktc (press backspace or delete to remove)

timed-c/ktc
ktc --version returns wrong version

The current version, as specified here is 1.1, but the version which is returned when running ktc --version is defined here as 1.0.0 and will therefore give the wrong output.
  • rymdllama
  • Opened 
    on Oct 8, 2021
  • #17

timed-c/ktc
Wrong use of portTICK_RATE_MS in cilktc-mist.h?

I noticed that in cilktc-mist.h it says #define cread_wait(chan, ptr, val) xQueueReceive( chan, ( ptr ), (val * portTICK_RATE_MS)) Shouldn t it be #define cread_wait(chan, ptr, val) xQueueReceive( chan, ...
  • erikflink
  • Opened 
    on Jul 6, 2021
  • #16

timed-c/ktc
Add instructions for installing KTC on Ubuntu 20.04 LTS

  • william-stacken
  • Opened 
    on Apr 26, 2021
  • #15

timed-c/ktc
Remove unused variables during transformation (freertos)

MIST
  • saranya-natarajan
  • Opened 
    on Jun 12, 2020
  • #14

timed-c/ktc
KTC macro expansion on option

MIST
  • saranya-natarajan
  • Opened 
    on Feb 21, 2020
  • #13

timed-c/ktc
Strange output from KTC

When running KTC I get this output which appears to relate to how many Timed C directives I use. Is it possible to have this output be better formatted or just be suppressed entirely? sdelay s.sid 6 ...
MIST
  • johnwikman
  • 2
  • Opened 
    on Feb 2, 2020
  • #11

timed-c/ktc
No trace output when requested

While trying to investigate #8, I tried to run docker run -v $(pwd):/src ktc:latest /opt/ktc/bin/ktc --enable-ext1 --save-temps=/src/tmp --home=/opt/ktc --out=/src/main_gen.c --trace /src/main.tc where ...
  • berezovskyi
  • Opened 
    on Sep 9, 2019
  • #9

timed-c/ktc
Docker: Error when running docker with a mounted volume

I am running the following command: docker run --name=ktc-docker -v /home/john/GitRepos/obcsw/build:/src ktc --out=/src/main-gen.c -w --enable-ext1 --save-temps -Dat91sam9g20 -I/src/include/ /src/src/__main__.timedc.c ...
  • johnwikman
  • 4
  • Opened 
    on Sep 9, 2019
  • #8

timed-c/ktc
add version to the generated files' header

so that we can debug which version of KTC was used to generate the code in question
  • berezovskyi
  • 2
  • Opened 
    on Sep 6, 2019
  • #7

timed-c/ktc
Version releases

We need to have releases so that docker images can be built for each version
  • berezovskyi
  • 1
  • Opened 
    on Sep 6, 2019
  • #6
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub