Merge remote-tracking branch 'origin/dev' into dyntype-proj

Not compiling. In progress

Author: 7h3kk1d

.github/workflows/claude-code-review.yml

@@ -0,0 +1,44 @@
+name: Claude Code Review
+
+on:
+  pull_request:
+    types: [opened, synchronize, ready_for_review, reopened]
+    # Optional: Only run on specific file changes
+    # paths:
+    #   - "src/**/*.ts"
+    #   - "src/**/*.tsx"
+    #   - "src/**/*.js"
+    #   - "src/**/*.jsx"
+
+jobs:
+  claude-review:
+    # Optional: Filter by PR author
+    # if: |
+    #   github.event.pull_request.user.login == 'external-contributor' ||
+    #   github.event.pull_request.user.login == 'new-developer' ||
+    #   github.event.pull_request.author_association == 'FIRST_TIME_CONTRIBUTOR'
+
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: read
+      issues: read
+      id-token: write
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - name: Run Claude Code Review
+        id: claude-review
+        uses: anthropics/claude-code-action@v1
+        with:
+          claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+          plugin_marketplaces: 'https://github.com/anthropics/claude-code.git'
+          plugins: 'code-review@claude-code-plugins'
+          prompt: '/code-review:code-review ${{ github.repository }}/pull/${{ github.event.pull_request.number }}'
+          # See https://github.com/anthropics/claude-code-action/blob/main/docs/usage.md
+          # or https://code.claude.com/docs/en/cli-reference for available options
+

.github/workflows/claude.yml

@@ -0,0 +1,50 @@
+name: Claude Code
+
+on:
+  issue_comment:
+    types: [created]
+  pull_request_review_comment:
+    types: [created]
+  issues:
+    types: [opened, assigned]
+  pull_request_review:
+    types: [submitted]
+
+jobs:
+  claude:
+    if: |
+      (github.event_name == 'issue_comment' && contains(github.event.comment.body, '@claude')) ||
+      (github.event_name == 'pull_request_review_comment' && contains(github.event.comment.body, '@claude')) ||
+      (github.event_name == 'pull_request_review' && contains(github.event.review.body, '@claude')) ||
+      (github.event_name == 'issues' && (contains(github.event.issue.body, '@claude') || contains(github.event.issue.title, '@claude')))
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: read
+      issues: read
+      id-token: write
+      actions: read # Required for Claude to read CI results on PRs
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - name: Run Claude Code
+        id: claude
+        uses: anthropics/claude-code-action@v1
+        with:
+          claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+
+          # This is an optional setting that allows Claude to read CI results on PRs
+          additional_permissions: |
+            actions: read
+
+          # Optional: Give a custom prompt to Claude. If this is not specified, Claude will perform the instructions specified in the comment that tagged it.
+          # prompt: 'Update the pull request description to include a summary of changes.'
+
+          # Optional: Add claude_args to customize behavior and configuration
+          # See https://github.com/anthropics/claude-code-action/blob/main/docs/usage.md
+          # or https://code.claude.com/docs/en/cli-reference for available options
+          # claude_args: '--allowed-tools Bash(gh pr:*)'
+

.gitignore

@@ -59,4 +59,8 @@ hazel.opam.locked.old
 
 # Code coverage
 _coverage/
-node_modules/** 
+node_modules/**
+node_modules
+
+# Claude Code
+.claude/

INSTRUCTORS.md

@@ -37,12 +37,8 @@ between the two without clearing your local storage (in browser dev tools).
 
 NOTE: This is only relevant to the EECS490 repo (which include the haz3lschool build target).
 
-1. Open the exercise in instructor mode and export a grading version (button in top bar) which generates an OCaml file.
+1. Update the `src/haz3lschool/Specs.re` module with `<module_name>.exercise`.
 
-2. Move the file to `src/haz3lschool/specs`.
+2. Run `make grade SUBMISSION=<path to submission json>` under project root to generate a grade report.
 
-3. Update the `src/haz3lschool/Specs.re` module with `<module_name>.exercise`.
-
-4. Run `dune exec ./src/haz3lschool/gradescope.exe <path_to_student_json>` under project root to print the grade report.
-
-To change the output format, adjust `Main.gen_grading_report` function in `Gradescope.re` .
+TODO: currently batch grading, export to gradescope, and autograder generation are have regressed. Next time 490 is taught, these can be added by consulting with commit b715dba2ce2949b7277a2d4de0451ccbea6a878c. 

LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2016-2024
+Copyright (c) 2016-2026
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

Makefile

@@ -2,7 +2,7 @@ TEST_DIR="$(shell pwd)/_build/default/test"
 HTML_DIR="$(shell pwd)/_build/default/src/web/www"
 SERVER="http://0.0.0.0:8000/"
 
-.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
+.PHONY: all deps change-deps setup-instructor setup-student dev dev-helper dev-student fmt watch watch-release release release-student grade echo-html-dir serve serve2 repl test clean
 
 all: dev
 
@@ -48,6 +48,12 @@ release: setup-instructor
 release-student: setup-student
 	dune build @src/fmt --auto-promote src --profile dev # Uses dev profile for performance reasons. It may be worth it to retest since the ocaml upgrade
 
+grade: 
+ifndef SUBMISSION
+	$(error Usage: make grade SUBMISSION=<path to submission json>)
+endif
+	python3 src/grading/grade/grade_individual.py $(SUBMISSION) .
+
 echo-html-dir:
 	@echo $(HTML_DIR)
 

OUTPUT.txt

@@ -0,0 +1,16 @@
+[
+  {
+    "name": "Oddly Recursive",
+    "report": {
+      "summary": "Overall: 0.0/4.0\n\nTest Validation: 0.0/1.0\n\nSource Code:\n\ntest not(false) end;\ntest not(not(true)) end; \n \n\nMutation Testing: 0.0/1.0\n\nImpl Grading: 0.0/2.0\n\nSource Code:\n\nlet odd: Int -> Bool =\n  fun n -> if n < 0 then odd(-n) else \n    if n == 0 then true else not(odd(n-1)) \nin  \n\n",
+      "overall": [ 0.0, 4.0 ]
+    }
+  },
+  {
+    "name": "Recursive Fibonacci",
+    "report": {
+      "summary": "Overall: 0.0/4.0\n\nTest Validation: 0.0/1.0\n\nSource Code:\n\n \n\nMutation Testing: 0.0/1.0\n\nImpl Grading: 0.0/2.0\n\nSource Code:\n\nlet fib : Int -> Int = \n  fun n ->  \nin  \n\n",
+      "overall": [ 0.0, 4.0 ]
+    }
+  }
+]

hazel

@@ -8,10 +8,10 @@ set -e
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
 # Path to the JS target relative to the script
-JS_TARGET="$SCRIPT_DIR/_build/default/src/hazelcli/cli.bc.js"
+JS_TARGET="$SCRIPT_DIR/_build/default/src/CLI/cli.bc.js"
 
 # Run Dune in the script's directory
-(cd "$SCRIPT_DIR" && dune build ./src/hazelcli/cli.bc.js)
+(cd "$SCRIPT_DIR" && dune build ./src/CLI/cli.bc.js)
 
 # Execute the compiled JavaScript with node
 node "$JS_TARGET" "$@"

package-lock.json

@@ -13,7 +13,8 @@
     "@esbuild-plugins/node-resolve": "^0.2.2",
     "hotkeys-js": "^3.8.7",
     "ninja-keys": "^1.2.2",
-    "algebrite": "^1.4.0"
+    "algebrite": "^1.4.0",
+    "web-worker": "^1.5.0"
   },
   "devDependencies": {
     "@types/node": "^22.14.0",