1. 酒屋の在庫問題のモデルをより詳細なものにした． 2. Tuple型の要素が3つ以上になったときの2つ目以降の要素に関する型推論が不適切であったのを修正．(2つ目以降の要素を別々に扱うか，まとめて1つのTuple型として扱うかがバラバラだった．) 3. variables グループ内における型情報の伝搬が不十分であった．

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code 1. 酒屋の在庫問題のモデルをより詳細なものにした． 2. Tuple型の要素が3つ以上になったときの2つ目以降の要素に関する型推論が不適切であったのを修正．(2つ目以降の要素を別々に扱うか，まとめて1つのTuple型として扱うかがバラバラだった．) 3. variables グループ内における型情報の伝搬が不十分であった． 2024_stable FACS2023 MODELS2025_submit Models2024 SimulatorVisualization apply-visitor-pattern ast-algebra ast-core ast-core-refactor bug-pathParam bug-swingNativeReceiver commonToControlFlowAndDependencyModelings controlFlowModeling dependencyModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 hieararchicalLayout hierarchical-control-flow-modeling htmlGUi importVisualModelingUpdates integratedCodeGenerator language-server master outputChannelAsAClass refactor search simulationLayout simulator swingInterface test two-stage-modeling update-dtram-parser update-parser updateHierarchicalResources
1 parent 707d617 commit ce845e8aa33e76812ffd5b5da5fd04e50e07191f Naoya Nitta authored on 18 May 2022

Browse code

1. 酒屋の在庫問題のモデルをより詳細なものにした．

2. Tuple型の要素が3つ以上になったときの2つ目以降の要素に関する型推論が不適切であったのを修正．(2つ目以降の要素を別々に扱うか，まとめて1つのTuple型として扱うかがバラバラだった．)
3. variables グループ内における型情報の伝搬が不十分であった．

2024_stable FACS2023 MODELS2025_submit Models2024 SimulatorVisualization apply-visitor-pattern ast-algebra ast-core ast-core-refactor bug-pathParam bug-swingNativeReceiver commonToControlFlowAndDependencyModelings controlFlowModeling dependencyModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 hieararchicalLayout hierarchical-control-flow-modeling htmlGUi importVisualModelingUpdates integratedCodeGenerator language-server master outputChannelAsAClass refactor search simulationLayout simulator swingInterface test two-stage-modeling update-dtram-parser update-parser updateHierarchicalResources

1 parent 707d617 commit ce845e8aa33e76812ffd5b5da5fd04e50e07191f

Naoya Nitta authored on 18 May 2022

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/models/StockManagement.model

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java

Show line notes below