Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dodona-edu/judge-prolog issues and pull requests

#19 - Increase Quickcheck timeout

Pull Request - State: closed - Opened by beardhatcode almost 3 years ago

#19 - Increase Quickcheck timeout

Pull Request - State: closed - Opened by beardhatcode almost 3 years ago

#18 - SilentLimitedBuffer fix: UnicodeDecodeError

Pull Request - State: closed - Opened by beardhatcode over 4 years ago - 2 comments

#17 - Remove main.sh

Pull Request - State: closed - Opened by beardhatcode over 4 years ago

#16 - Update judge to use new command line options. (and improve testing)

Pull Request - State: closed - Opened by beardhatcode over 4 years ago

#15 - Rework of judge

Pull Request - State: closed - Opened by beardhatcode almost 5 years ago

#14 - hotfix: remaining tuple

Pull Request - State: closed - Opened by beardhatcode almost 5 years ago

#13 - spell + better linting + nicer output when QC timeout

Pull Request - State: closed - Opened by beardhatcode almost 5 years ago

#12 - Remove main.sh and other useless files

Issue - State: closed - Opened by beardhatcode about 5 years ago

#11 - autopep8 + clean

Pull Request - State: closed - Opened by beardhatcode about 5 years ago - 1 comment

#10 - Create License

Pull Request - State: closed - Opened by rien over 5 years ago - 1 comment

#9 - remove annotations note

Pull Request - State: closed - Opened by beardhatcode over 5 years ago
Labels: migrated

#8 - WIP: linter results

Pull Request - State: closed - Opened by beardhatcode over 5 years ago - 1 comment
Labels: migrated

#7 - WIP: Attemt to make the checker cleaner

Pull Request - State: open - Opened by beardhatcode over 5 years ago
Labels: migrated

#6 - WIP: Simpletest

Pull Request - State: closed - Opened by beardhatcode over 5 years ago - 2 comments
Labels: migrated

#5 - Add customable timeouts

Issue - State: open - Opened by beardhatcode over 5 years ago
Labels: migrated

#4 - Check out prolog linter

Issue - State: closed - Opened by beardhatcode over 5 years ago
Labels: migrated

#3 - WIP: Add quickcheck

Pull Request - State: closed - Opened by beardhatcode over 5 years ago - 3 comments
Labels: migrated

#2 - Dodona does not accept the output

Issue - State: closed - Opened by beardhatcode over 5 years ago - 1 comment
Labels: migrated

#1 - Enhancements for the judge

Issue - State: open - Opened by dodona-server over 5 years ago
Labels: enhancement, migrated