Replies: 12 comments 35 replies
-
|
R2 や R3 の整備を真面目にやっていきたいところだなという気持ちに |
Beta Was this translation helpful? Give feedback.
-
|
まかせた |
Beta Was this translation helpful? Give feedback.
-
|
頼んだ |
Beta Was this translation helpful? Give feedback.
-
|
いや |
Beta Was this translation helpful? Give feedback.
-
|
グラフが密かどうかとかあれやこれやって何か基準があったりするのかな / 判定はできるのかな |
Beta Was this translation helpful? Give feedback.
-
|
噂によると Edge が |
Beta Was this translation helpful? Give feedback.
-
|
実用的にはそのグラフで両方試して早い方を使いたいが、両方試すと |
Beta Was this translation helpful? Give feedback.
-
|
verification-helper、100年くらいもすればなにか別のものに置き換わっていると思うんだけどね |
Beta Was this translation helpful? Give feedback.
-
|
verification-helper でも dependency graph (?) として計算していそうですね このパートだけやってくれるものとかありそうなもんだけど |
Beta Was this translation helpful? Give feedback.
-
|
ドキュメントは、いいか |
Beta Was this translation helpful? Give feedback.
-
|
doxygenはどうだろう |
Beta Was this translation helpful? Give feedback.
-
|
テストの実行時間の最大やメモリ使用量の最大を docs に自動で生成してほしい timestamps.*.json がそれらの情報をもたないと |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
This comment has been hidden.
This comment has been hidden.
-
|
まあ実際そろそろではある |
Beta Was this translation helpful? Give feedback.
This comment has been hidden.
This comment has been hidden.
This comment has been hidden.
This comment has been hidden.
This comment has been hidden.
This comment has been hidden.
-
|
clang-format、せっかく |
Beta Was this translation helpful? Give feedback.
-
(cd $(git rev-parse --show-toplevel) && clang-format -i $(find src/ test/ unit-test/ -name "*.hpp" -or -name "*.cpp"))とかで動くか？ |
Beta Was this translation helpful? Give feedback.
-
|
これができるなら |
Beta Was this translation helpful? Give feedback.
-
|
submodule とかがあると破壊されるかもしれないが、まあ現状そんなものはないので OK だと信じよう |
Beta Was this translation helpful? Give feedback.
-
|
PR template を試すには PR を送るしかないらしい |
Beta Was this translation helpful? Give feedback.
-
|
PRを送ろう |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
Luzhiled judge helperを作ろうという話 |
Beta Was this translation helpful? Give feedback.
-
|
https://github.com/competitive-verifier/competitive-verifier が気になっています |
Beta Was this translation helpful? Give feedback.
-
|
competitive-verifier/competitive-verifier の作者です。 機能基本的には verification-helper の移植です。 verification-helper との大きな違いとしては「ソースコード解析」「verify」「ドキュメント生成」が独立した機能になったことです。JSONで結果をやり取りするようにしています。これによって、C# などのソースコード解析が重い言語では別ライブラリで解析を行えるようになったり、GitHub Actions での並列実行ができるようになったりしました。 ちなみに、昨日のアップデートでテストケースごとの実行結果も表示するようになりました。example 移行competitive-verifier をローカルにインストールした後に、リポジトリ内で を実行すると verification-helper から移行できるようにしてるので移行は容易かと思います。 お二人のライブラリで試してみた結果です。 ei1333/libraryhttps://competitive-verifier.github.io/zzz_ei1333_library/ 個別の変更点として、dmoj は実行できないので IGNORE を追加しています。 luzhiled1333/comp-libraryhttps://competitive-verifier.github.io/zzz_luzhiled1333_comp-library/ DROPBOX_TOKEN を設定してないので AtCoder に失敗してますが、ほかは実行できています。 |
Beta Was this translation helpful? Give feedback.
-
|
C++20にしようぜという話 |
Beta Was this translation helpful? Give feedback.
-
|
今はもう2023年なんですよね |
Beta Was this translation helpful? Give feedback.
-
|
やっぱりドキュメントを書くパートとかちゃんとチェックするパートとかが露骨に面倒で、 |
Beta Was this translation helpful? Give feedback.
-
|
いや、別に適切なディレクトリに配置していってもいいんですけどね |
Beta Was this translation helpful? Give feedback.
-
|
PR の消化がネックで、 Projects で管理していきますか |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
Pokémon Sleepで フレンドになりましょう！ |
Beta Was this translation helpful? Give feedback.
-
|
|
Beta Was this translation helpful? Give feedback.
-
|
お腹が空きませんか? Uber Eats で初回のご注文額が ￥1,900 以上の場合に ￥1,000 の割引を受けることができます。規約が適用されます。この紹介コードを会計時にお使いください: eats-8nd9eg7b8u http://ubr.to/EatsGiveGet |
Beta Was this translation helpful? Give feedback.
-
|
ban チャンス |
Beta Was this translation helpful? Give feedback.
-
SNS ということです
なんでも書いてください
Beta Was this translation helpful? Give feedback.
All reactions