Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 29, 2024

• Stdlib_variants: Avoid types being implicitly duplicated by signature builder (#23)

  just-max

  authored
  17b3ba4

  Copy full SHA for 17b3ba4

• grading: don't swallow exceptions (#24)

  just-max

  authored
  424ca15

  Copy full SHA for 424ca15

Commits on Jul 15, 2024

• documentation fixes

  just-max

  committed
  9076885

  Copy full SHA for 9076885

• qcheck util: disable backtraces in qcheck tests

  just-max

  committed
  0f8987d

  Copy full SHA for 0f8987d

• Add thread counter (#21)

  Show description for e47c06d
  just-max

  authored
  e47c06d

  Copy full SHA for e47c06d

• Stdlib variants: better names, structure, and an alerting thread/event replacement (#22)

  Show description for 6870040
  just-max

  authored
  6870040

  Copy full SHA for 6870040

• Ctxlib: Move exn_info into Common, move syntax into submodule (#20)

  just-max

  authored
  5d0f9be

  Copy full SHA for 5d0f9be

• Test Runner: Add Option to Control OUnit Parallelism (#19)

  Show description for fcec91f
  just-max

  authored
  fcec91f

  Copy full SHA for fcec91f

Commits on Jun 8, 2024

• Automatic interface generation and an Stdlib with alerts (#17)

  Show description for fd07126
  just-max

  authored
  fd07126

  Copy full SHA for fd07126

Commits on May 26, 2024

• Add explicit --platform argument to Dockerfile FROM to fix build issues

  just-max

  authored
  45ab91c

  Copy full SHA for 45ab91c

• doc and formatting tweaks

  just-max

  committed
  2783479

  Copy full SHA for 2783479

Commits on May 15, 2024

• Add docker image for ARM64 (#16)

  just-max

  authored
  33dd240

  Copy full SHA for 33dd240

Commits on May 13, 2024

• GitHub Pages: fix missing odoc content (#15)

  Show description for 75dd306
  just-max

  authored
  75dd306

  Copy full SHA for 75dd306

• ounit util: fix signed division (pathological case)

  just-max

  committed
  5a00eb2

  Copy full SHA for 5a00eb2

• stdlib components: factor out Hide_stdlib_variants

  just-max

  committed
  f6a08e4

  Copy full SHA for f6a08e4

• ctx util: include backtrace in exception case

  just-max

  committed
  639fa98

  Copy full SHA for 639fa98

• test lib: add default timeout to assert_equal

  just-max

  committed
  8e47413

  Copy full SHA for 8e47413

• actually add the module

  just-max

  committed
  2b32279

  Copy full SHA for 2b32279

Commits on May 12, 2024

• add a test util module

  just-max

  committed
  539e1ee

  Copy full SHA for 539e1ee

• grading: don't try to create XML files if they don't exist

  Show description for c03a536
  just-max

  committed
  c03a536

  Copy full SHA for c03a536

Commits on Apr 20, 2024

• ast check: add ppx for ast checker

  just-max

  committed
  da8ad09

  Copy full SHA for da8ad09

• test runner: add a result postprocessing task

  just-max

  committed
  d91faf5

  Copy full SHA for d91faf5

• test runner: std_exec_test's argument is now relative to test-reports/

  just-max

  committed
  6454de1

  Copy full SHA for 6454de1

• test lib: cut back the JUnit cleanup/grading interface

  just-max

  committed
  e82f9c8

  Copy full SHA for e82f9c8

Commits on Apr 17, 2024

• github actions

  just-max

  committed
  3e7e022

  Copy full SHA for 3e7e022

• update dockerfile and github workflows to 5.1.1

  just-max

  committed
  5da9f6b

  Copy full SHA for 5da9f6b

• fix the AST checker executable for OCaml 5.1.1

  just-max

  committed
  21ff555

  Copy full SHA for 21ff555

• Update Stdlib overrides to 5.1.1

  Show description for 04d5c1b
  just-max

  committed
  04d5c1b

  Copy full SHA for 04d5c1b

• bugfix: basename -> dirname in prettify_results

  just-max

  committed
  1b4e8f7

  Copy full SHA for 1b4e8f7

Commits on Oct 15, 2023

• Test Lib: Grade multiple files (#11)

  Show description for 96f8e88
  just-max

  authored
  96f8e88

  Copy full SHA for 96f8e88

Commits on Oct 13, 2023

• split out a task for running dune exec and add env param in p_run

  just-max

  committed
  ad1bd3b

  Copy full SHA for ad1bd3b

Commits on Oct 12, 2023

• add short description of local pin/upgrade workflow

  just-max

  committed
  5e00a80

  Copy full SHA for 5e00a80

Commits on Oct 9, 2023

• grading: show messages in attributes

  just-max

  committed
  dd74d4b

  Copy full SHA for dd74d4b

• runner: restore show-anon false by default

  just-max

  committed
  dba135b

  Copy full SHA for dba135b

• runner: fix summary [X] in anon. tasks

  just-max

  committed
  c8ed85d

  Copy full SHA for c8ed85d

Pagination

Previous

Next