Repository navigation

feat(grammar): add a number type for decimal values - #28

Draft

Trosper3 wants to merge 98 commits into

ReduxISU:mainfrom

Trosper3:feat/23-number

Draft

feat(grammar): add a number type for decimal values#28
Trosper3 wants to merge 98 commits into
ReduxISU:mainfrom
Trosper3:feat/23-number

Commits on Oct 1, 2026
- fix(collections): hash sets independently of element order
  Trosper3
  committed
  88bdc62
- fix(grammar): accept set edges in unorderedcross again
  Trosper3
  committed
  0f38e6f
- fix(grammar): reject list edges in unorderedcross
  Trosper3
  committed
  52b710f
- fix(grammar): make is int, is set and is list check their type
  Trosper3
  committed
  aa5b2e2
- feat(parser): read instance strings in one pass
  Trosper3
  committed
  8ba6e46
- fix(grammar): report shape and constraint failures as SpadeParseException
  Trosper3
  committed
  3935e69
- feat(collections): add multisets
  Trosper3
  committed
  42d4975
Commits on Oct 12, 2026
Commits on Oct 13, 2026
Commits on Oct 14, 2026
- Read int with the invariant culture, like number
  Trosper3
  committed
  1dd60a5
Commits on Oct 15, 2026
- ci: run the Redux Build System (rbs) report, soft for now
  Trosper3
  committed
  ac55d26
- style: run dotnet format
  Trosper3
  committed
  4d63d9a
- Merge branch 'ci/rbs' into fix/9-set-hashing
  Trosper3
  committed
  1f883b0
- test: add the test project to the solution and collect coverage
  Trosper3
  committed
  e895be2
- Merge branch 'fix/9-set-hashing' into fix/12-unorderedcross-edges
  Trosper3
  committed
  89de00a
- Merge branch 'fix/12-unorderedcross-edges' into fix/10-type-constraints
  Trosper3
  committed
  6e3c2d0
- Merge branch 'fix/10-type-constraints' into fix/2-instance-scanner
  Trosper3
  committed
  c6e951c
- style: run dotnet format
  Trosper3
  committed
  8f68aa3
- Merge branch 'fix/2-instance-scanner' into feat/1-multisets
  Trosper3
  committed
  bbac0c6
- style: run dotnet format
  Trosper3
  committed
  920a883
- Merge branch 'feat/1-multisets' into feat/18-describe-definition
  Trosper3
  committed
  986ec44
- style: run dotnet format
  Trosper3
  committed
  65be272
- Merge branch 'feat/18-describe-definition' into feat/19-error-part
  Trosper3
  committed
  cebae92
- style: run dotnet format
  Trosper3
  committed
  d258795
- Merge branch 'feat/19-error-part' into feat/22-is-string
  Trosper3
  committed
  b4834b1
- style: run dotnet format
  Trosper3
  committed
  485dac3
- Merge branch 'feat/22-is-string' into feat/23-number
  Trosper3
  committed
  1241c15
- style: run dotnet format
  Trosper3
  committed
  1e73384
- ci: run the devcontainer on SDK 10 alone
  Trosper3
  committed
  7145b7d
- Merge branch 'ci/rbs' into fix/9-set-hashing
  Trosper3
  committed
  75ed99a
- test: run the tests on .NET 10
  Trosper3
  committed
  8829639
- Merge branch 'fix/9-set-hashing' into fix/12-unorderedcross-edges
  Trosper3
  committed
  23a93e3
- Merge branch 'fix/12-unorderedcross-edges' into fix/10-type-constraints
  Trosper3
  committed
  0a3262d
- Merge branch 'fix/10-type-constraints' into fix/2-instance-scanner
  Trosper3
  committed
  ad07a09
- Merge branch 'fix/2-instance-scanner' into feat/1-multisets
  Trosper3
  committed
  615b81c
- Merge branch 'feat/1-multisets' into feat/18-describe-definition
  Trosper3
  committed
  4c3677f
- Merge branch 'feat/18-describe-definition' into feat/19-error-part
  Trosper3
  committed
  1b50981
- Merge branch 'feat/19-error-part' into feat/22-is-string
  Trosper3
  committed
  c37cff5
- Merge branch 'feat/22-is-string' into feat/23-number
  Trosper3
  committed
  0c19bac
- ci: keep the coverage note in rbs.toml free of a per-branch figure
  Trosper3
  committed
  082150d
- Merge branch 'fix/9-set-hashing' into fix/12-unorderedcross-edges
  Trosper3
  committed
  5ce502a
- Merge branch 'fix/12-unorderedcross-edges' into fix/10-type-constraints
  Trosper3
  committed
  0302438
- Merge branch 'fix/10-type-constraints' into fix/2-instance-scanner
  Trosper3
  committed
  3ee32cb
- Merge branch 'fix/2-instance-scanner' into feat/1-multisets
  Trosper3
  committed
  f9e9732
- Merge branch 'feat/1-multisets' into feat/18-describe-definition
  Trosper3
  committed
  f537955
- Merge branch 'feat/18-describe-definition' into feat/19-error-part
  Trosper3
  committed
  2a594f7
- Merge branch 'feat/19-error-part' into feat/22-is-string
  Trosper3
  committed
  08fe49b
- Merge branch 'feat/22-is-string' into feat/23-number
  Trosper3
  committed
  97b1a06
- Merge remote-tracking branch 'rx/main' into ci/rbs
  Trosper3
  committed
  278e91f
- Merge branch 'ci/rbs' into fix/9-set-hashing
  Trosper3
  committed
  32af284
- Merge branch 'fix/9-set-hashing' into fix/12-unorderedcross-edges
  Trosper3
  committed
  0e82c8a
- Merge branch 'fix/12-unorderedcross-edges' into fix/10-type-constraints
  Trosper3
  committed
  26214bd
- Merge branch 'fix/10-type-constraints' into fix/2-instance-scanner
  Trosper3
  committed
  c8f3b9d
- Merge branch 'fix/2-instance-scanner' into feat/1-multisets
  Trosper3
  committed
  2c08f26
- Merge branch 'feat/1-multisets' into feat/18-describe-definition
  Trosper3
  committed
  6255615
- Merge branch 'feat/18-describe-definition' into feat/19-error-part
  Trosper3
  committed
  b959337
- Merge branch 'feat/19-error-part' into feat/22-is-string
  Trosper3
  committed
  3c292e6
- Merge branch 'feat/22-is-string' into feat/23-number
  Trosper3
  committed
  79fcfd1
- fix(collections): freeze a collection once it is hashed
  Trosper3
  committed
  dbc816b
- Merge branch 'fix/9-set-hashing' into fix/12-unorderedcross-edges
  Trosper3
  committed
  1a78795
- Merge branch 'fix/12-unorderedcross-edges' into fix/10-type-constraints
  Trosper3
  committed
  62cc7d5
- Merge branch 'fix/10-type-constraints' into fix/2-instance-scanner
  Trosper3
  committed
  d3a486c
- Merge branch 'fix/2-instance-scanner' into feat/1-multisets
  Trosper3
  committed
  17e7b77
- fix(collections): freeze multisets once hashed
  Trosper3
  committed
  7041a2e
- Merge branch 'feat/1-multisets' into feat/18-describe-definition
  Trosper3
  committed
  c7a5966
- Merge branch 'feat/18-describe-definition' into feat/19-error-part
  Trosper3
  committed
  ad69499
- Merge branch 'feat/19-error-part' into feat/22-is-string
  Trosper3
  committed
  ac1faa3
- Merge branch 'feat/22-is-string' into feat/23-number
  Trosper3
  committed
  b045d63
Commits on Oct 16, 2026

Commits

Commits on Oct 1, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026