Skip to content
Started 7 mo 15 days ago
Took 1 hr 28 min
Success

Build #2798 (Feb 22, 2024, 10:47:00 PM)

Changes
  1. more proofreading on enumeration thesis (details)
  2. The two argument form of the conditional operator now only has two arguments all the way to the resolver. (details)
  3. Forgot to update comments from the last commit. (details)

Started by timer

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