sksat

Results 136 comments of sksat

あとは`git_revision_template.c`がCとして合法になっていればいい

え,S2E系のCIだけ落ちてる...まさか...

`if(WIN32)`の方書き方ミスってただけだった.よかった.

`git_revision_template.c`を合法にするの,微妙に面倒なのでifdefしたらいい気もする

conflictしてたのでrebase

あと微塵もLibraryではないし`src_user`直下でもいい気もするんだよな

というか`.c`じゃなくてヘッダを生成する方がまだだいぶマシだなあ.そうするか.

coreに`git_revision.c`だけを置いておいて,そこから`src/src_user/git_revision.h`をinclude,でよいのでは?だいぶシンプルになる.

というかそれなら`git_revision.c`が要らないな.`c2a_core_main.c`でやってしまえばいい.