-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: dodona-edu/universal-judge
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Support default implementations for language-specific oracles
enhancement
New feature or request
#579
opened Feb 12, 2025 by
pdawyndt
Top-level specification of programming language is broken
bug
Something isn't working
#578
opened Feb 12, 2025 by
pdawyndt
TESTed-DSL inconsistencies and improvements
enhancement
New feature or request
#576
opened Dec 21, 2024 by
pdawyndt
Use here string instead of here document single line stdin
enhancement
New feature or request
#575
opened Dec 17, 2024 by
pdawyndt
i18n: support separate test suites for different natural languages
enhancement
New feature or request
#571
opened Dec 5, 2024 by
pdawyndt
Support literal translations (map type !natural_language)
enhancement
New feature or request
#570
opened Dec 4, 2024 by
BrentBlanckaert
Problem with typing in Haskell
bug
Something isn't working
programming language
#568
opened Nov 30, 2024 by
BrentBlanckaert
Add visitors to TESTed-AST to write better code
enhancement
New feature or request
#564
opened Nov 26, 2024 by
BrentBlanckaert
Internal error: ValueError: Exceeds the limit (4300 digits) for integer string conversion
bug
Something isn't working
#557
opened Nov 5, 2024 by
jorg-vr
Generate internal error if compiler fails due to memory limit exceeded
bug
Something isn't working
enhancement
New feature or request
#547
opened Oct 8, 2024 by
pdawyndt
Unexpected exceptions raised in main call may exposed TESTed internals
#542
opened Sep 25, 2024 by
pdawyndt
Remove types from Haskell judging in TESTed
bug
Something isn't working
programming language
#541
opened Sep 24, 2024 by
tibvdm
Extra dependencies
dependencies
Pull requests that update a dependency file
programming language
#537
opened Sep 11, 2024 by
MaybeJustJames
Testing usage of specific keywords?
enhancement
New feature or request
#528
opened Jun 15, 2024 by
DieterPi
Measure/estimate complexity (time and memory)
enhancement
New feature or request
#522
opened Jun 3, 2024 by
niknetniko
Dodona features for language-agnostic exercices
enhancement
New feature or request
#521
opened Jun 3, 2024 by
niknetniko
9 tasks
Support before/after in DSL
dsl
enhancement
New feature or request
#498
opened Feb 15, 2024 by
niknetniko
Specify interface that must be implemented
enhancement
New feature or request
#487
opened Dec 23, 2023 by
pdawyndt
Generate "final" variables if possible
enhancement
New feature or request
#483
opened Dec 19, 2023 by
niknetniko
Fetch stdin from file as an alternative to inlining it into test suite
enhancement
New feature or request
#479
opened Dec 2, 2023 by
pdawyndt
Previous Next
ProTip!
Follow long discussions with comments:>50.