Custom Query (1 match)
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#122 | Verify properties described using LTL formulas | new | feature | major | 4.4 |
Note: See TracQuery
for help on using queries.
^ —————. —.— . . —.— . . .————— . .
——— | | | | | | || | | | |
—(o)— | | | | | | | | | |———— '————|
——————— | | | | | | | || | |
————————— —————' —'— ' —'— ' ' '————— '
home manual roadmap issues status papers download
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#122 | Verify properties described using LTL formulas | new | feature | major | 4.4 |
—— paradise | fi muni | 2000 – 2018 ——