issues
search
dodona-edu
/
universal-judge
Universal judge for educational software testing
https://docs.dodona.be/en/tested
MIT License
9
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Clarify `context not executed` message
#342
pdawyndt
closed
1 year ago
1
Support multiline and multicolumn linters
#341
niknetniko
closed
1 year ago
0
Reduce number of files in repository
#340
niknetniko
closed
1 year ago
0
Add support for coverage information
#339
niknetniko
opened
1 year ago
1
Clean up pylint config
#338
niknetniko
closed
1 year ago
0
Bump mako from 1.1.6 to 1.2.2
#337
dependabot[bot]
closed
1 year ago
2
Mako cleanup
#336
niknetniko
closed
1 year ago
0
Remove Mako from dependencies
#335
niknetniko
closed
1 year ago
0
Don't use Mako templates to generate code
#334
niknetniko
closed
1 year ago
2
Analyse overhead for TESTed in Dodona
#333
pdawyndt
closed
1 year ago
9
Improve performance of feedback generation
#332
pdawyndt
closed
1 year ago
0
Bump dependencies
#331
niknetniko
closed
1 year ago
0
Run linting parallel to test processing
#330
pdawyndt
opened
1 year ago
0
Merge contexts across tabs
#329
pdawyndt
closed
1 year ago
1
Add an option to enable compiler optimisations
#328
niknetniko
closed
1 year ago
0
Don't use brackets for simple values in Haskell
#327
niknetniko
closed
1 year ago
1
Support options for automated conversion of casings
#326
niknetniko
opened
1 year ago
4
Support for array access
#325
niknetniko
opened
1 year ago
1
Support value access for dictionaries/maps
#324
niknetniko
opened
1 year ago
1
Various improvements
#323
niknetniko
closed
1 year ago
0
DSL Configuration options at root not passed to evaluator
#322
bsels
closed
1 year ago
0
Fix a few warnings found by CodeQL
#321
niknetniko
closed
1 year ago
0
Add codecov integration
#320
niknetniko
closed
1 year ago
0
Migrate to CodeQL
#319
niknetniko
closed
1 year ago
0
Re-add default value for test suites
#318
niknetniko
closed
1 year ago
0
Rename test plan to test suite
#317
niknetniko
closed
1 year ago
0
Remove runs from test suites and refactor DSL
#316
niknetniko
closed
1 year ago
0
Pin version of formatter
#315
niknetniko
closed
1 year ago
0
Don't cast integers in C#
#314
niknetniko
opened
1 year ago
0
Add support for C#
#313
niknetniko
closed
1 year ago
0
Properly apply console syntax highlighting
#312
niknetniko
closed
1 year ago
0
Apply console syntax highlighting on main calls
#311
niknetniko
closed
1 year ago
0
Add prompt to main calls
#310
niknetniko
closed
1 year ago
0
Properly handle invalid utf8 in output streams
#309
niknetniko
closed
1 year ago
0
Show prompt character for main calls
#308
niknetniko
closed
1 year ago
0
Improve command line argument display
#307
niknetniko
closed
1 year ago
0
Add CodeQL workflow for GitHub code scanning
#306
lgtm-com[bot]
closed
1 year ago
0
Add support for C#
#305
niknetniko
closed
1 year ago
1
Bump mako from 1.1.6 to 1.2.2
#304
dependabot[bot]
closed
1 year ago
0
Rename test plan to test suite
#303
niknetniko
closed
1 year ago
0
Rename rational to real
#302
niknetniko
closed
2 years ago
0
Add support for externalUrl in linter messages
#301
niknetniko
closed
2 years ago
0
Add formatter
#300
niknetniko
closed
2 years ago
0
Rename "rational" to "real"
#299
niknetniko
closed
2 years ago
0
Some maintenance & clean-up
#298
niknetniko
closed
2 years ago
0
Add formatter for TESTed
#297
niknetniko
closed
2 years ago
0
Fix CI by upgrading GHC
#296
niknetniko
closed
2 years ago
0
Better dependency management
#295
niknetniko
closed
4 months ago
1
Uses externalUrl format for dodona to report external urls in bash judge
#294
jorg-vr
closed
2 years ago
1
Render Haskell arguments without brackets
#293
chscholl
closed
1 year ago
1
Previous
Next