Code

MCP-0034 Ternary#2477

Code

Draft

henrikt-ma wants to merge 23 commits intomastermodelica/ModelicaSpecification:masterfrom

MCP/0034modelica/ModelicaSpecification:MCP/0034Copy head branch name to clipboard

Commits

Commits on Nov 22, 2019

• Initial commit of files on MCP branch

  henrikt-ma

  committed
  3696f8b

  Copy full SHA for 3696f8b

• Add pseudo code definition of Ternary

  henrikt-ma

  authored
  b7e8ce4

  Copy full SHA for b7e8ce4

• Define Ternary relations by means of total order, making Ternary useful as array dimension

  henrikt-ma

  committed
  38b433e

  Copy full SHA for 38b433e

Commits on Nov 24, 2019

• Mention the Boolean option type alternative in the rationale

  henrikt-ma

  committed
  7933c90

  Copy full SHA for 7933c90

Commits on Dec 5, 2019

• Elaborate on the interpretation of 'none' as either 'unknown' or 'undefined'

  henrikt-ma

  committed
  4f05aa8

  Copy full SHA for 4f05aa8

Commits on Dec 17, 2019

• Fix incorrect markdown for issue link

  henrikt-ma

  authored
  3715b9b

  Copy full SHA for 3715b9b

• Tidy up issue link

  henrikt-ma

  authored
  d2b42b0

  Copy full SHA for d2b42b0

Commits on Feb 9, 2020

• Updates after gaining experience with the prototype

  henrikt-ma

  committed
  fa8fa14

  Copy full SHA for fa8fa14

• Reuse 'none' instead of introducing 'neither' when giving example of 4-valued logic

  henrikt-ma

  committed
  a5164b5

  Copy full SHA for a5164b5

Commits on Jun 12, 2020

• Fix typo

  henrikt-ma

  authored
  e99fa56

  Copy full SHA for e99fa56

• Fix language

  henrikt-ma

  authored
  f27fb06

  Copy full SHA for f27fb06

Commits on Jun 10, 2021

• Fix typo

  henrikt-ma

  authored
  5d62e4f

  Copy full SHA for 5d62e4f

• Fix error in example of Ternary ==

  henrikt-ma

  authored
  50b985e

  Copy full SHA for 50b985e

Commits on Jun 21, 2021

• Logical connectives are defined _in accordance with_ Kleene

  Show description for 379c0bc
  henrikt-ma

  committed
  379c0bc

  Copy full SHA for 379c0bc

• Clarify that Ternary is not Kleene

  henrikt-ma

  committed
  0aa42c1

  Copy full SHA for 0aa42c1

Commits on Oct 12, 2021

• Clarify uniqueness in the external language mapping of values

  henrikt-ma

  committed
  cf846b7

  Copy full SHA for cf846b7

• Merge remote-tracking branch 'central/master' into MCP/0034

  henrikt-ma

  committed
  a59d27e

  Copy full SHA for a59d27e

Commits on Oct 25, 2021

• Mention collection of examples provided in separate repository

  henrikt-ma

  authored
  a44062a

  Copy full SHA for a44062a

• Merge remote-tracking branch 'central/MCP/0034' into MCP/0034+ternary-is-not-kleene

  henrikt-ma

  committed
  397ee9c

  Copy full SHA for 397ee9c

Commits on Oct 29, 2021

• Merge pull request #2958 from modelica/MCP/0034+ternary-is-not-kleene

  Show description for b62a65f
  christoff-buerger

  authored
  b62a65f

  Copy full SHA for b62a65f

Commits on Mar 14, 2023

• Change external language mapping of Ternary to int

  Show description for dd4a298
  henrikt-ma

  committed
  dd4a298

  Copy full SHA for dd4a298

Commits on Mar 24, 2023

• Change 'unknown' from keyword to top-level constant

  henrikt-ma

  committed
  1d896a3

  Copy full SHA for 1d896a3

• Add another line to the revision history

  henrikt-ma

  committed
  647a2c8

  Copy full SHA for 647a2c8