Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 15 days ago
Took 1 hr 24 min
Success

Build #2819 (Mar 13, 2024, 10:47:00 PM)

Changes
  1. fold in Gregor's comments on OCaml (details)
  2. add comparison table for related work (details)

Started by timer

Revision: 223b6311b126e3205bfc3697b580ef3bf4e6ac94
Repository: cforall@plg.uwaterloo.ca:software/cfa/cfa-cc
  • refs/remotes/origin/master