Code

tutorial-systems#1330

Code

Draft

reevafaisal wants to merge 23 commits intodevhazelgrove/hazel:devfrom tutorial-systemshazelgrove/hazel:tutorial-systemsCopy head branch name to clipboard

+29,061-23,058

Commits

Commits on Jul 23, 2024

• Your commit message

  reevafaisal

  committed
  57984d1

Commits on Jul 25, 2024

• commit 2

  reevafaisal

  committed
  ccd557b

• commit 3

  reevafaisal

  committed
  328d8af

Commits on Aug 8, 2024

• Added the environment module for scratch mode, page is producing some errors now even though I have made no changes to it.

  reevafaisal

  committed
  9c17aeb

• fixed previous errors, no substantial chnages

  reevafaisal

  committed
  f43be77

Commits on Aug 21, 2024

• added the grading module. still working on integrating into UI

  reevafaisal

  committed
  d52b6db

• made a lot of progress. UI is working but still very buggy

  reevafaisal

  committed
  ea07205

Commits on Aug 22, 2024

• trying to fix the editor states, saving this to try out a different approach

  reevafaisal

  committed
  0239092

Commits on Aug 28, 2024

• fixed the looping issue, now debuging interface -> footer not showing up in editors

  reevafaisal

  committed
  2eedbe1

Commits on Sep 5, 2024

• footer working for user implementation. Working on unlinking the two editors

  reevafaisal

  committed
  914bf79

• succesfully unlinked the editor states

  reevafaisal

  committed
  89e69be

Commits on Sep 10, 2024

• hidden tests editor linkage fixed

  reevafaisal

  committed
  21e4f57

• added intructor mode toggle to doc mode

  reevafaisal

  committed
  e7bd4b0

Commits on Sep 23, 2024

• temp

  reevafaisal

  committed
  ab7f94c

• changed the put editor function to accept any editor state. Still did not fix the refresh issue

  reevafaisal

  committed
  a0ab52c

Commits on Sep 27, 2024

• fixed the editor linkage issue, working on making sure user progress is saved

  reevafaisal

  committed
  9b7d7ab

Commits on Oct 3, 2024

• integrated new persistent state

  reevafaisal

  committed
  8f01458

Commits on Oct 11, 2024

• fixed editor bugs and made a separate tab for tutorials

  reevafaisal

  committed
  a6f225c

Commits on Oct 24, 2024

• pushing before working on merge conflicts

  reevafaisal

  committed
  d90f2df

• manual merge solve attempt for src/haz3lweb/Init.ml

  reevafaisal

  committed
  4e3ccec

• Resolved merge conflict in Init.ml

  reevafaisal

  committed
  2cef72a

• Resolved merge conflict in Init.ml

  reevafaisal

  committed
  59404a4

Commits on Oct 30, 2024

• Solving merge conflicts on new dev - added scratch state

  reevafaisal

  committed
  5cdfc15