Ecosyste.ms: Issues

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

GitHub / FMFI-UK-1-AIN-412/formalization-checker issues and pull requests

#23 - Better editing behaviour

Issue - State: open - Opened by crnkjck 9 months ago

#22 - Explicit order of propositions in exercises

Issue - State: open - Opened by crnkjck 9 months ago

#21 - Export formulas to workbook context

Issue - State: open - Opened by crnkjck 9 months ago

#20 - Unify the terminology

Issue - State: open - Opened by crnkjck 10 months ago

#19 - Bad requests submitted to the backend

Issue - State: open - Opened by crnkjck 10 months ago

#18 - Hinty sa nezmažú pri novej kontrole formuly

Issue - State: open - Opened by crnkjck 10 months ago

#17 - Kontrola syntaktickej štruktúry formúl

Issue - State: open - Opened by crnkjck 11 months ago

#16 - Chýba voliteľný striktný parser

Issue - State: open - Opened by crnkjck 11 months ago
Labels: enhancement

#15 - Reload after adding a bad formalization hint

Pull Request - State: closed - Opened by karkub over 1 year ago

#14 - Fix links from bad formalizations to progress

Pull Request - State: closed - Opened by karkub over 1 year ago - 1 comment

#13 - Reload after adding a bad formalization hint

Issue - State: closed - Opened by crnkjck almost 2 years ago

#12 - Broken links from bad formalizations to progress

Issue - State: closed - Opened by crnkjck almost 2 years ago - 1 comment

#11 - feedbacks frontend

Pull Request - State: closed - Opened by karkub almost 2 years ago - 1 comment

#10 - apiSlice: use backend url from redux

Pull Request - State: closed - Opened by 4zzz almost 2 years ago - 1 comment

#8 - Shortcut na skontrolovanie

Issue - State: closed - Opened by gardenerik almost 2 years ago - 1 comment

#7 - Modularization

Pull Request - State: closed - Opened by 4zzz almost 2 years ago

#6 - refactoring

Pull Request - State: closed - Opened by karkub about 2 years ago

#5 - Edit exercise and show student saved last solution

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

#4 - student progress in exercise

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

#3 - Login GitHub

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

#2 - Show structure in not correct formalization

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

#1 - exercise assignments

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