RagnarGrootKoerkamp/BAPCtools

Issues

• `sanity_check` is slow

  #398 opened a month ago by RagnarGrootKoerkamp
  7

• Parse `n\in \{1, \dots 10\}` from statement as part of constraints checking

  #396 opened a month ago by RagnarGrootKoerkamp
  0

• Required python version

  #388 opened 2 months ago by RagnarGrootKoerkamp
  2

• bt export to DOMjudge uses UUID for problem label

  #389 opened 3 months ago by RagnarGrootKoerkamp
  2

• UUID cache

  #386 opened 3 months ago by RagnarGrootKoerkamp
  3

• Limits

  #385 opened 3 months ago by mzuenni
  0

• Automate exhaustive generation of small test cases

  #378 opened 6 months ago by roehrt
  7

• Support `\nextsample` and `\remainingsamples` in latex

  #373 opened 7 months ago by mzuenni
  0

• `--order-from-ccs` orders on number solved, disregarding tiebreaker number submitted

  #377 opened 7 months ago by vmcj
  5

• Add --solve-stats-expected for `bt solutions`

  #375 opened 7 months ago by vmcj
  3

• Make `--tree` incremental

  #370 opened 7 months ago by RagnarGrootKoerkamp
  1

• Mini-spec for `type:scoring`

  #372 opened 7 months ago by thorehusfeldt
  0

• Add support for multipass problems

  #346 opened 7 months ago by mzuenni
  1

• BAPCtools user :wave:

  #350 opened 7 months ago by byorgey
  1

• `bt pdf` encoding issue

  #367 opened 8 months ago by chrisgdt
  5

• Rethink `.gitignore` of `data/`

  #305 opened 9 months ago by RagnarGrootKoerkamp
  14

• Testdata semantics (validation flags) and inheritance

  #349 opened 9 months ago by thorehusfeldt
  3

• Separate universally and problem-specifically invalid inputs

  #352 opened 9 months ago by thorehusfeldt
  6

• Generators: reconsider -f --samples defaults

  #304 opened 9 months ago by thorehusfeldt
  3

• Add UUIDs

  #314 opened 9 months ago by RagnarGrootKoerkamp
  1

• data/bad: renaming and generation

  #303 opened 10 months ago by thorehusfeldt
  11

• Update problem skeleton

  #332 opened 10 months ago by thorehusfeldt
  4

• Generators documentation: more accessible terminology

  #286 opened 10 months ago by thorehusfeldt
  2

• Many `test/problems/*/problem.yaml`s break the specification

  #290 opened 10 months ago by thorehusfeldt
  5

• Generators: semantics of `#testgroup/testdata.yaml` key

  #293 opened 10 months ago by thorehusfeldt
  2

• Remaining TODOs for CUE schemas

  #301 opened 10 months ago by RagnarGrootKoerkamp
  24

• Answer validation: allow `.in`-less invalid testcases

  #335 opened 10 months ago by thorehusfeldt
  4

• Generation: allow duplicate _invalid_ input files

  #334 opened 10 months ago by thorehusfeldt
  8

• Distinguish output validation from `.ans`-validation

  #324 opened 10 months ago by thorehusfeldt
  10

• clean up `skip_double_build_warning`

  #331 opened 10 months ago by RagnarGrootKoerkamp
  0

• Warn if \problemtitle differs from problem.settings.name[language]

  #326 opened a year ago by thorehusfeldt
  6

• Make auto-numbering of `bt generate` consistent with DOMjudge numbering

  #325 opened a year ago by mpsijm
  12

• bt generate: sort by variable name

  #319 opened a year ago by thorehusfeldt
  5

• `bt pdf` should quick-generate samples

  #309 opened a year ago by RagnarGrootKoerkamp
  3

• `bt zip --kattis`: Export `problem_statement/**/*.{pdf|jpg|etc}`

  #323 opened a year ago by thorehusfeldt
  5

• input format validator: Any non-42 exit is a fail, not just 43.

  #318 opened a year ago by RagnarGrootKoerkamp
  3

• Support multiple statement languages for `bt zip --kattis`

  #320 opened a year ago by thorehusfeldt
  0

• Export all `data/secret/**/*.in`, not just `data/secret/*.in` in `bt export --kattis`

  #321 opened a year ago by thorehusfeldt
  1

• Warn, not err, on missing constraints validator

  #322 opened a year ago by thorehusfeldt
  0

• Write generated .gitignore file before generating

  #317 opened a year ago by RagnarGrootKoerkamp
  2

• generators.yaml: Allow `testcase.in: <input>` shortcut

  #316 opened a year ago by RagnarGrootKoerkamp
  6

• `bt run` should continue lazy judging until `TLE (aborted)`

  #313 opened a year ago by RagnarGrootKoerkamp
  0

• Generator tests

  #312 opened a year ago by RagnarGrootKoerkamp
  0

• rename `--skip-{visualizer,solution}` and `--ignore-validators` to `--no-*`

  #311 opened a year ago by RagnarGrootKoerkamp
  0

• `bt run` always regenerates

  #308 opened a year ago by RagnarGrootKoerkamp
  3

• Errors when generating duplicate cases

  #310 opened a year ago by RagnarGrootKoerkamp
  4

• `bt upgrade` port old problems to new spec

  #295 opened a year ago by RagnarGrootKoerkamp
  0

• Improve debugging failed input/output validation

  #289 opened a year ago by RagnarGrootKoerkamp
  0

• Make test/problems/identity work on Mac

  #284 opened a year ago by thorehusfeldt
  0

• generators: all `testdata.yaml` should be listed

  #283 opened a year ago by thorehusfeldt
  1