Project

General

Profile

New issue Actions

Issues

Filters

Apply Clear Save

# Tracker Status Priority Subject Assignee Updated
82 Bug Closed Normal kind2 output for every Pierre-Loïc Garoche 02/17/2025 03:57 AM Actions
81 Bug Closed Normal Example with Enumeration is not supported by Lustrev Pierre-Loïc Garoche 02/19/2025 12:12 AM Actions
80 Bug Closed Normal Import error: node Memory_2047_001 is already defined. Pierre-Loïc Garoche 02/17/2025 03:58 AM Actions
79 Bug Closed Normal MCDC Conditions are repeated for variables with one atomic boolean condition Pierre-Loïc Garoche 08/18/2024 06:10 PM Actions
77 Bug Closed Normal lustrec-seal branch failed to compile a valid lustre file (compiled by master branch) Pierre-Loïc Garoche 02/19/2025 04:23 AM Actions
67 Bug Closed Normal Lusi generation failed because of parser in unstable branch Pierre-Loïc Garoche 02/18/2025 05:10 PM Actions
2294 Feature Closed Normal What is a Time Calculator? 09/23/2024 11:56 AM Actions
778 Feature Closed Normal Mod APK Download 08/18/2024 02:25 PM Actions
626 Feature Closed Normal hello 02/08/2025 07:03 PM Actions
266 Feature Closed Normal Escuchar las estaciones de radio en línea en la computadora 02/07/2025 09:45 PM Actions
106 Feature Closed Normal The NFL should be able to open 08/18/2024 04:11 PM Actions
105 Feature Closed Normal The NFL should be able to open 08/18/2024 08:38 PM Actions
746 Feature Closed Normal Youtube APK Christophe Garion 08/18/2024 03:40 PM Actions
(2076-2088/2088) Per page: 25, 50, 100

Also available in: Atom CSV PDF