sksat
sksat
## 概要 - C2Aは32bit想定 - とはいえ32bit依存はそんなに無い，はず - SILSをやる時にC2Aが64bitビルドできるとうれしい - 関連: https://github.com/ut-issl/s2e-core/issues/135 - モック的にでもよい - (C2Aの)検証としてはSILSでも32bitでやるべきじゃない？という話とはまた別 ## 詳細 - `-m32`を付けないようにするオプションを増やす - 実際には `USE_32BIT_COMPILER` と同等のものを生やすか名前を変えればよさそう ## close条件 どうなったらcloseできるか ## 備考 なにかあれば ##...
## 概要 `git_revision.c`がトラッキングされていると，ビルドする度に無意味なdiffが発生する上誤ってcommitしてしまうことがある． そのため，`git_revision.c`を生成するのではなく，コンパイルオプションに渡してdefineすることでgit revisionを埋め込むようにする． ## Issue NA ## 詳細 - `git_revision.c`は`GIT_REVISION_C2A_CORE`のような定数を埋め込むだけにする - `git_revision.c`, `git_revision.h`をcoreに移した - 定数が定義されてない時は`"0000000000000000000000000000000000000000"`などが入る ## 検証結果 test へのリンクや，検証結果へのリンク ## 影響範囲 詳しくはExample minimum userの`git_revision.h`を参照のこと． - 全user共通 - 各ビルド環境で`src/src_user/Library/git_revision.c`ではなく`src/src_core/git_revision.c`を使うようにする...
### Steps to Reproduce ```sh $ cd /tmp $ rye init hoge --build-system pdm $ rye init fuga $ rye add --path ../fuga fuga Added fuga @ file:///${PROJECT_ROOT}/../fuga as regular...
## 概要 watchdog timer のコマンド定義を `watchdog_timer.h` から分割する ## Issue/PR - #581 - #586 が先 ## 詳細 ## 検証結果 CI が通ればよし ## 影響範囲 - C2A user の `command_source.h` で `watchdog_timer.h` ではなく...
## 概要 `task_dispatcher` のコマンド定義を `task_dispatcher.h` から分割する ## Issue/PR - #581 - #585 が先 ## 詳細 ## 検証結果 CI が通ればよし ## 影響範囲 - C2A user の `command_source.h` で `task_dispatcher.h` ではなく `task_dispatcher_cmd.h`...
## 概要 `ObcTime` の設定を `obc_time.h` から分割する ## Issue/PR - #581 - #583 が先 ## 詳細 - `time_manager.h` が C2A user に依存しなくなる - TimeManager のコマンドの関数定義は `time_manager_cmd.h` に分割される ## 検証結果 CI が通ればよし...
## 概要 - c2a-core からランタイムに提供するインターフェースであることを明示したい - 取扱いのしやすさのために，できればこのヘッダは C2A user への依存をなくしたい ## 詳細 - [x] `c2a_core_main.h` - `void C2A_core_init(void)` - `void C2A_core_main(void)` - [ ] `System/TimeManager/time_manager.h`: #583, #585 - `void TMGR_init(void)`...
## 概要 こういうやつ: https://github.com/ut-issl/c2a-core/blob/6a70ce98d9556337e5c5c7a98693cd13b274301f/Examples/minimum_user/src/src_user/Settings/System/obc_time_params.h#L8-L16 ## 詳細 - 現状，core のヘッダでデフォルトの設定値を define しておいて，その直後で user の settings のヘッダを include しておき，user 側で undef して書き換える，というのが横行している - これは以下の理由でとてもよくないため，どうにかしたい - 一般に `#undef` を多用するのはアンチパターン - define によって実現したいのは「定数値」の表現なのに，途中で書き換わっている -...
## 概要 他の tool 類と異なり， [c2a-tlm-cmd-code-generator](https://github.com/ut-issl/c2a-tlm-cmd-code-generator) については依存関係が逆（C2A が code generator に依存している）ので，リリースルール中の文言を修正 ## 詳細 詳しく ## 影響範囲 [c2a-tlm-cmd-code-generator ](https://github.com/ut-issl/c2a-tlm-cmd-code-generator) のリリースルール ## 補足 何かあれば