⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
CristalCaveGem
» LustreC
Overview
Activity
Issues
New issue
News
Files
Repository
Issues
View all issues
Summary
Issues
Filters
Add filter
Status
Tracker
Priority
Author
Assignee
Target version
Category
Subject
Description
Estimated time
% Done
Subproject
Assignee's role
Created
Updated
Closed
Start date
Due date
Related to
Duplicates
Duplicated by
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Project
Parent task
Author
Category
Target version
Start date
Due date
Estimated time
Total estimated time
% Done
Created
Closed
Related issues
Selected Columns
Tracker
Status
Priority
Subject
Assignee
Updated
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Show
Description
Totals
Estimated time
Apply
Clear
Save
#
Tracker
Status
Priority
Subject
Assignee
Updated
80
Bug
Closed
Normal
Import error: node Memory_2047_001 is already defined.
Pierre-Loïc Garoche
07/16/2019 07:43 PM
79
Bug
Closed
Normal
MCDC Conditions are repeated for variables with one atomic boolean condition
Pierre-Loïc Garoche
07/16/2019 07:46 PM
78
Bug
In Progress
Normal
Why generate MCDC conditions for constant flows?
Pierre-Loïc Garoche
07/16/2019 07:08 PM
77
Bug
Closed
Normal
lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)
Pierre-Loïc Garoche
07/16/2019 07:40 PM
76
Bug
New
Normal
Import error: Load error: imported node real_to_int declared in a regular Lustre file. File "include/conv.lusi", line 1, characters 0-64:
04/03/2019 04:00 AM
75
Bug
New
Normal
exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion failed
04/03/2019 03:58 AM
74
Bug
New
Normal
const is not supported inside contract
Pierre-Loïc Garoche
03/30/2019 03:34 AM
72
Bug
New
Normal
Simulinkd does not match Lustre using EMF backend when using nested Merge expression
Pierre-Loïc Garoche
03/22/2019 03:56 AM
67
Bug
Closed
Normal
Lusi generation failed because of parser in unstable branch
Pierre-Loïc Garoche
07/13/2018 05:22 PM
64
Bug
Closed
Normal
Typing error
05/16/2018 04:32 PM
63
Feature
New
Normal
Skip normalization step in mutation generation if it possible
Pierre-Loïc Garoche
10/07/2020 09:13 AM
« Previous
1
2
(26-36/36)
Per page:
25
,
50
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Loading...