Code

[core] Various minor improvements.#476

Code

Merged

duburcqa merged 3 commits intodevduburcqa/jiminy:devfrom various_improvementsduburcqa/jiminy:various_improvementsCopy head branch name to clipboardDec 28, 2021

+57-71

Commits

Commits on Dec 28, 2021

• [core] Various minor improvements.

  

  Alexis Duburcq

  committed
  52f86ed

  Copy full SHA for 52f86ed

• [core] Fix segfault when adding unspecified constraint.

  

  Alexis Duburcq

  committed
  fd40ac5

  Copy full SHA for fd40ac5

• [misc] Fix type checker issue.

  

  Alexis Duburcq

  committed
  753da2b

  Copy full SHA for 753da2b