Skip to content
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.

Sign up for GitHub

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

tutorial-systems #1330

Draft
wants to merge 23 commits into
base: dev
Choose a base branch
from
Draft

tutorial-systems #1330

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
57984d1
Your commit message
reevafaisal Jul 23, 2024
ccd557b
commit 2
reevafaisal Jul 25, 2024
328d8af
commit 3
reevafaisal Jul 25, 2024
9c17aeb
Added the environment module for scratch mode, page is producing som…
reevafaisal Aug 8, 2024
f43be77
fixed previous errors, no substantial chnages
reevafaisal Aug 8, 2024
d52b6db
added the grading module. still working on integrating into UI
reevafaisal Aug 21, 2024
ea07205
made a lot of progress. UI is working but still very buggy
reevafaisal Aug 21, 2024
0239092
trying to fix the editor states, saving this to try out a different a…
reevafaisal Aug 22, 2024
2eedbe1
fixed the looping issue, now debuging interface -> footer not showing…
reevafaisal Aug 28, 2024
914bf79
footer working for user implementation. Working on unlinking the two …
reevafaisal Sep 5, 2024
89e69be
succesfully unlinked the editor states
reevafaisal Sep 5, 2024
21e4f57
hidden tests editor linkage fixed
reevafaisal Sep 10, 2024
e7bd4b0
added intructor mode toggle to doc mode
reevafaisal Sep 10, 2024
ab7f94c
temp
reevafaisal Sep 23, 2024
a0ab52c
changed the put editor function to accept any editor state. Still did…
reevafaisal Sep 23, 2024
9b7d7ab
fixed the editor linkage issue, working on making sure user progress …
reevafaisal Sep 27, 2024
8f01458
integrated new persistent state
reevafaisal Oct 3, 2024
a6f225c
fixed editor bugs and made a separate tab for tutorials
reevafaisal Oct 11, 2024
d90f2df
pushing before working on merge conflicts
reevafaisal Oct 24, 2024
4e3ccec
manual merge solve attempt for src/haz3lweb/Init.ml
reevafaisal Oct 24, 2024
2cef72a
Resolved merge conflict in Init.ml
reevafaisal Oct 24, 2024
59404a4
Resolved merge conflict in Init.ml
reevafaisal Oct 24, 2024
5cdfc15
Solving merge conflicts on new dev - added scratch state
reevafaisal Oct 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
TEST_DIR="$(shell pwd)/_build/default/test"
HTML_DIR="$(shell pwd)/_build/default/src/haz3lweb/www"
SERVER="http://0.0.0.0:8000/"
SERVER="http://0.0.0.0:8080/"

.PHONY: all deps change-deps setup-instructor setup-student dev dev-helper dev-student fmt watch watch-release release release-student echo-html-dir serve serve2 repl test clean

Expand Down
Loading
Loading