New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GASとSMTの処理を分離する #2

Closed

2 tasks done

ghost opened this issue Jul 9, 2021 · 0 comments

Labels

ghost commented Jul 9, 2021 •

edited by ghost

Loading

libs/GAS/とlibs/SMT/の処理を完全に独立させる．

libs/GAS/で入出力例を生成し，libs/SMT/に渡して命令列を生成
libs/SMT/で命令列を生成し，libs/GAS/に渡して実行可能コードを生成

The text was updated successfully, but these errors were encountered:

ghost added the refactoring label

ghost mentioned this issue

バグの除去とリファクタリング #4

Merged

ghost pushed a commit that referenced this issue


          Merge pull request #4 from silab-nitkc/feature/#2

d105a7e

バグの除去とリファクタリング

ghost closed this as completed

This issue was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment