Search results

Analysis detects unbound identifiers in well-formed <code>letrec</code> expressions

bugSomething isn't workingSomething isn't working

Status: Open.

#9 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 16, 2023

Implement more primitive procedures

improvementImprovement to existing featureImprovement to existing feature

Status: Open.

#6 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 15, 2023

Implement fixpoint iteration more efficiently

improvementImprovement to existing featureImprovement to existing feature

Status: Open.

#4 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 15, 2023

Limit evaluation time for unit tests

featureNew feature or requestNew feature or request

Status: Open.

#3 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 15, 2023

Check contracts when calling primitive procedures

featureNew feature or requestNew feature or request

Status: Open.

#2 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 15, 2023

Track/report errors detected by the analysis

featureNew feature or requestNew feature or request

Status: Open.

#1 In thalesfm/racket-analyzer;

· thalesfm opened on Oct 15, 2023