Issues

• X is not a valid variable name?

  invalid
  Bug

  team-checkr/checkr#58 · Filter by author albertolluch opened on Mar 20, 2025
  2

  

• Broken link https://team-checkr.github.io/guide

  bug
  Bug

  team-checkr/checkr#60 · Filter by author albertolluch opened on Mar 20, 2025
  2

  

• Make it more clear that you are viewing the reference implementation

  enhancement
  team-checkr/checkr#55 · Filter by author oeb25 opened on Mar 8, 2024

• Debug build issues on Windows

  bug
  team-checkr/checkr#52 · Filter by author oeb25 opened on Feb 5, 2024

• Loops in Program Verificaiton

  student project idea
  team-checkr/checkr#45 · Filter by author albertolluch opened on May 25, 2023

• Program Graph Isomorphism

  student project idea
  team-checkr/checkr#44 · Filter by author albertolluch opened on May 25, 2023

• Specifying directory path in Inspectify

  bug
  team-checkr/checkr#37 · Filter by author martin045k opened on Mar 29, 2023
  5

• Enhancement: use arbitrary size integers

  enhancementwontfix
  team-checkr/checkr#20 · Filter by author albertolluch opened on Mar 17, 2023
  3

• Create a website to interact with inspectify without having to start a local server

  enhancement
  team-checkr/checkr#4 · Filter by author oeb25 opened on Jan 27, 2023