team-checkr / checkr

team-checkr/checkr Issues

Make it more clear that you are viewing the reference implementation
Updated 6 months ago
Debug build issues on Windows
Updated 7 months ago
Loops in Program Verificaiton
Updated a year ago
Program Graph Isomorphism
Updated a year ago
Timeout child processes are not killed
Closed 4 months ago1
Bug when evaluating the expression with the && operator in Inspectify in Task 5 (Sign Analyser)
Closed a year ago1
Bug when inputting array-type data into Inspectify in Task 6 (Security Analyser)
Closed a year ago1
Specifying directory path in Inspectify
Closed a year ago
Specifying directory path in Inspectify
Updated a year ago5
Problem with custom fresh variable name start by _f in task 4
Closed a year ago2
Or and And in LogicOp
Closed a year ago3
Overflow handling for unary minus
Closed a year ago1
Operator Associativity in Inspectify
Closed a year ago1
Node ordering in inspectify should be consistent
Closed a year ago
When checko fails to push results for one repo, the whole pushing process stops
Closed a year ago4
Checko fails when checking out `results` branch
Closed a year ago2
Create results branch if it does not exists in `checko push-results-to-repos`
Closed a year ago1
num_shown should not be hard coded to 2 :)
Closed a year ago1
Trace Length not respected in Inspectify
Closed a year ago2
Bug in sign analysis?
Closed a year ago3
Enhancement: use arbitrary size integers
Updated a year ago3
Branches with undef conditions under non-deterministic semantics not handled properly?
Closed 4 months ago3
Support debugging graph output in Inspectify
Closed 4 months ago2
Inspectify Conversion of Non-Deterministic Graph to Deterministic Graph
Closed a year ago2
Do not crash when output is malformed
Closed a year ago1
Remove `box_syntax` and perhaps `box_patterns`
Closed 2 years ago1
Update input/output format to be of new shape
Closed 2 years ago
& and && are formatted incorrectly
Closed 2 years ago1
Add ignore option to `run.toml`
Closed 2 years ago
`skip ;` is not a valid GCL program
Closed 2 years ago1
Feature request: export of PGs in dot format in inspectify
Closed 2 years ago3
Feature request: Simultaneous display of program graphs
Closed 2 years ago2
Feature request: Inspectify just-parse option
Closed 2 years ago4
Cleanup the Justfile
Closed a year ago
Project is not recompiled on changes
Closed 2 years ago1
Build checko Docker image in CI
Closed a year ago2
Create a website to interact with inspectify without having to start a local server
Updated 2 years ago
Separate input generation from output generation in inspectify
Closed 2 years ago1
Setup starter repo for F#
Closed 2 years ago1
Add binaries for inspectify to a new branch in CI
Closed 2 years ago1