Search results

X is not a valid variable name?

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

Bug

#58 In team-checkr/checkr;

· albertolluch opened on Mar 20, 2025

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

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#60 In team-checkr/checkr;

· albertolluch opened on Mar 20, 2025

Make it more clear that you are viewing the reference implementation

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In team-checkr/checkr;

· oeb25 opened on Mar 8, 2024

Debug build issues on Windows

bugSomething isn't workingSomething isn't working

Status: Open.

#52 In team-checkr/checkr;

· oeb25 opened on Feb 5, 2024

Loops in Program Verificaiton

student project idea

Status: Open.

#45 In team-checkr/checkr;

· albertolluch opened on May 25, 2023

Program Graph Isomorphism

student project idea

Status: Open.

#44 In team-checkr/checkr;

· albertolluch opened on May 25, 2023

Specifying directory path in Inspectify

bugSomething isn't workingSomething isn't working

Status: Open.

#37 In team-checkr/checkr;

· martin045k opened on Mar 29, 2023

Enhancement: use arbitrary size integers

enhancementNew feature or requestNew feature or request

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#20 In team-checkr/checkr;

· albertolluch opened on Mar 17, 2023

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

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In team-checkr/checkr;

· oeb25 opened on Jan 27, 2023