Issues

• Flag duplicate definitions of top-level variables

  upenn-cis1xx/camelot#99 · Filter by author armaanmahmed opened on Sep 13, 2026

• Updating the OPAM

  upenn-cis1xx/camelot#90 · Filter by author richard-zhang opened on Jan 20, 2023
  4

• False positive warning on nested if statements

  upenn-cis1xx/camelot#85 · Filter by author ksromanov opened on Oct 11, 2021
  2

• Narrow @ style violations

  upenn-cis1xx/camelot#82 · Filter by author KeenWill opened on Feb 19, 2021
  2

  

• Improve Arthur Documentation

  upenn-cis1xx/camelot#71 · Filter by author KeenWill opened on Oct 1, 2020

• Speedup CI

  upenn-cis1xx/camelot#69 · Filter by author KeenWill opened on Oct 1, 2020
  

• Issue warnings for illegal library code use

  upenn-cis1xx/camelot#61 · Filter by author Zdancewic opened on Sep 21, 2020
  2