Code

Freertos port#4817

Code

Open

mokshasoft wants to merge 9 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom mokshasoft:freertos-portmokshasoft/Idris-dev:freertos-portCopy head branch name to clipboard

+987-27

Commits

Commits on Feb 15, 2020

• Add a bare-metal single-threaded RTS port

  mokshasoft

  committed
  69e2055

  Copy full SHA for 69e2055

• Add an IS_THREADED preprocessing flag for multi-threaded RTS ports

  mokshasoft

  committed
  5ac8a17

  Copy full SHA for 5ac8a17

• Add an Idris FreeRTOS multi-threaded RTS port

  mokshasoft

  committed
  ba15099

  Copy full SHA for ba15099

• freertos: Move isNull to idris_rts

  mokshasoft

  committed
  671f233

  Copy full SHA for 671f233

• freertos: Replace sprintf with itoa and ftoa implementations

  mokshasoft

  committed
  44959b4

  Copy full SHA for 44959b4

Commits on Feb 16, 2020

• Fixed incorrect termination of casted strings

  mokshasoft

  committed
  dcfb16e

  Copy full SHA for dcfb16e

• Use ftoa conversion only when compiling with the BARE_METAL flag

  mokshasoft

  committed
  bccec82

  Copy full SHA for bccec82

• Use 64 bit int conversion

  mokshasoft

  committed
  693fb60

  Copy full SHA for 693fb60

• Set the ftoa precision to 16

  mokshasoft

  committed
  da04514

  Copy full SHA for da04514