⚲
Project
General
Profile
Sign in
Register (only for users w/o CAMPUS or NetID)
Home
Projects
Help
Search
:
Jump to a project...
All Projects
USI & SUPSI Source Code Management (SCM)
Projects
Activity
Issues
Spent time
Gantt
Calendar
News
Issues
View all issues
Issues
Filters
Add filter
Status
Project
Tracker
Priority
Author
Assignee
Target version
Subject
Description
Estimated time
% Done
File
Updated by
Last updated by
Issue
Assignee's group
Assignee's role
Target version's Due date
Target version's Status
Created
Updated
Closed
Start date
Due date
Related to
Is duplicate of
Has duplicate
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Parent task
Author
Category
Target version
Start date
Due date
Estimated time
Pending effort
Total estimated time
Spent time
Total spent time
% Done
Created
Closed
Last updated by
Related issues
Files
Sprint
Position
Selected Columns
Project
Tracker
Status
Priority
Subject
Assignee
Updated
Story points
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Sprint
Story points
Show
Description
Last notes
Totals
Estimated time
Spent time
Apply
Clear
#
Project
Tracker
Status
Priority
Subject
Assignee
Updated
Story points
7860
hifrog
To do
New
Normal
follow up in EUF summaries (Grisha's idea)
Sepideh Asadi
07/09/2018 22:17
7861
hifrog
To do
New
Normal
A minimal necessary unwinding bound
07/09/2018 22:19
7862
hifrog
To do
New
Normal
enable summary re-use in CUF
Sepideh Asadi
08/09/2018 20:08
7863
hifrog
To do
New
Normal
report system in HiFrog
08/09/2018 20:19
7864
hifrog
To do
New
Normal
investigate the functionality of --no-assert-grouping
Sepideh Asadi
08/09/2018 20:23
9433
hifrog
To do
New
Normal
strong itp-lra-algorithm generates redundant formula
Sepideh Asadi
28/11/2018 22:43
10434
hifrog
To do
New
Normal
Automatically detect the bound in HiFrog for the sake of completeness
Sepideh Asadi
29/03/2019 14:52
10647
OpenSMT 2
Bug
New
Urgent
UF benchmark crash
11/04/2019 11:18
12972
cow
Feature
New
High
Implementazione header e footer del CERDD
22/08/2019 10:38
13356
hifrog
Bug
Resolved
Normal
Bug in Hifrog LRA encoding - resulting assertion violation for a safe bench
07/10/2019 00:11
13577
hifrog
Bug
New
Normal
prop incorrect result
07/10/2019 00:15
« Previous
1
2
Next »
(51-61/61)
Per page:
25
,
50
,
100
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...