Pinned issues
Issues
- 0
Login is too onerous
#60 opened by sidprasad - 0
User IDs are currently stored as cookies
#6 opened by sidprasad - 0
- 1
your selection is more restrictive
#51 opened by bennn - 0
Improve user model view
#52 opened by sidprasad - 1
- 0
- 0
Log exercise name alongside other data
#47 opened by sidprasad - 0
Split Entry/Exit ticket
#43 opened by sidprasad - 0
Add contact form
#44 opened by sidprasad - 0
- 0
- 0
Wiki Setup
#33 opened by sidprasad - 0
LTL to English improvements
#10 opened by sidprasad - 0
- 0
- 0
Trace generation issues
#37 opened by sidprasad - 0
Question being entirely skipped
#14 opened by SkylerAusten - 1
Missing space after semicolon in `Trace Alt`
#25 opened by SkylerAusten - 0
Misconception weights tend towards 1
#35 opened by sidprasad - 1
Mermaid Graphs for traces do not always load
#13 opened by sidprasad - 1
Errors in trace figures/visualizations
#29 opened by LuKuangChen - 0
- 0
Inconsistent textual representation for `red`
#30 opened by LuKuangChen - 0
User logs page usually just loads as "{}", even if I've completed some activities.
#26 opened by SkylerAusten - 0
UserIds are not persistent across sessions
#20 opened by sidprasad - 1
Issues with `1` in formulae
#22 opened by sidprasad - 1
Graphs not loading correctly
#24 opened by SkylerAusten - 0
Feedback for TraceSat questions
#9 opened by sidprasad - 0
`1` Generated Instead of Formula
#18 opened by karismajn - 0
Cycle doesn't appear to render in graph
#16 opened by SkylerAusten - 0
Error in Pre-loaded Q2
#17 opened by karismajn - 0
English to LTL question generation crashes
#11 opened by sidprasad - 0
Add support for open-response LTL questions
#8 opened by sidprasad