Search results

Allow for any order of model and formula args

discussionDetails are under discussionDetails are under discussion

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#225 In d702e20/CGAAL;

·falkecarlsen openedon Sep 15, 2023

Test 'strat_syn_despite_until_true' fails non-deterministically

bugSomething isn't workingSomething isn't working

Status: Open.

#223 In d702e20/CGAAL;

·falkecarlsen openedon Sep 12, 2023

Check multiple queries at once

enhancementNew feature or requestNew feature or request

Status: Open.

#217 In d702e20/CGAAL;

·NicEastvillage openedon Sep 12, 2023

Rewrite and reduce ATL formula

enhancementNew feature or requestNew feature or request

Status: Open.

#214 In d702e20/CGAAL;

·NicEastvillage openedon Aug 10, 2023

Test algorithms::certain_zero::test::test_dcz_negation_02 can fail non-deterministically

Status: Open.

#211 In d702e20/CGAAL;

·NicEastvillage openedon Jul 21, 2023

Separate Implementation and Integration Testing

refactoringRewriting or restructuring of existing featuresRewriting or restructuring of existing features

Status: Open.

#210 In d702e20/CGAAL;

·NicEastvillage openedon Jul 17, 2023

LCGS syntax update proposal

discussionDetails are under discussionDetails are under discussion

enhancementNew feature or requestNew feature or request

Status: Open.

#190 In d702e20/CGAAL;

·NicEastvillage openedon Jun 7, 2023

Rare SendErrors in Certain Zero

bugSomething isn't workingSomething isn't working

Status: Open.

#188 In d702e20/CGAAL;

·NicEastvillage openedon Jun 5, 2023

Symbol checker reduction of expressions

enhancementNew feature or requestNew feature or request

Status: Open.

#161 In d702e20/CGAAL;

·MathiasMehl openedon May 13, 2021

Option to select v0 when parsing ATL formulas

Status: Open.

#105 In d702e20/CGAAL;

·lars4509 openedon Mar 3, 2021

Features for ATL parser

enhancementNew feature or requestNew feature or request

Status: Open.

#104 In d702e20/CGAAL;

·MathiasMehl openedon Mar 2, 2021