Search results

Pathway to Merge Devel2.0

Status: Open.

Task

#54 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Apr 3, 2025

MAC Build error - CI/CD

help wanted

Status: Open.

#53 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Mar 27, 2025

make: makedepend: Command not found

Status: Open.

#46 In LAPKT-dev/LAPKT-public;

· bhomaidan1990 opened on Jun 27, 2022

Problem parsing empty initial state

Status: Open.

#41 In LAPKT-dev/LAPKT-public;

· Maumagnaguagno opened on Jun 16, 2021

CI/CD

Status: Open.

#38 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Jun 25, 2020

Package <code>LAPKT</code> release and upload it on <code>pypi</code>

enhancement

Status: Open.

#37 In LAPKT-dev/LAPKT-public;

· anubhav-cs opened on Jun 24, 2020

 ·  

LAPKT 2.0

Issue with <code>Watch literals successor generator</code>, output doesn't match.

bug

Status: Open.

#35 In LAPKT-dev/LAPKT-public;

· anubhav-cs opened on Jun 23, 2020

 ·  

LAPKT 2.0

Cmake enhancements

enhancement

Status: Open.

#33 In LAPKT-dev/LAPKT-public;

· anubhav-cs opened on Jun 23, 2020

 ·  

LAPKT 2.0

Documentation LAPKT 2.0

documentation

Status: Open.

#32 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Jun 23, 2020

 ·  

LAPKT 2.0

Clion integration - (python library interface)

enhancement

Status: Open.

#29 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Jun 19, 2020

Drop judy dependency

Status: Open.

#25 In LAPKT-dev/LAPKT-public;

· nirlipo opened on Jun 1, 2020

Goal Ordering cycles

enhancement

Status: Open.

#24 In LAPKT-dev/LAPKT-public;

· nirlipo opened on May 26, 2020