⚲
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
863
cow
Bug
Resolved
Normal
Missing Mesh File for Wall2
Marco Favino
07/07/2015 11:36
6058
hifrog
Bug
New
Normal
MemoryException
02/01/2018 17:24
3514
OpenSMT 2
Bug
Resolved
Normal
LRALogic.C:614: void LRALogic::splitTermToVarAndConst(const PTRef&, PTRef&, PTRef&): Assertion `isRealTimes(term) || isRealDiv(term) || isRealVar(term) || isConstant(term)' failed.
Antti Hyvärinen
13/03/2017 18:29
7391
hifrog
Bug
New
Low
LRA reading non-linear operations
Sepideh Asadi
22/05/2018 19:27
5325
hifrog
Bug
New
Normal
Is it because of not supporting pointers?
Antti Hyvärinen
16/06/2017 12:46
7864
hifrog
To do
New
Normal
investigate the functionality of --no-assert-grouping
Sepideh Asadi
08/09/2018 20:23
6932
hifrog
Bug
Resolved
Normal
Internal Assertion failure for ddv.c
22/06/2018 10:17
7760
hifrog
Bug
New
Normal
Infinite loop in theory refinement
24/08/2018 16:05
5306
hifrog
Bug
Feedback
Normal
inconsistency with CBMC is s3.c
Antti Hyvärinen
08/08/2017 15:52
5107
hifrog
Bug
New
Normal
inconsistency in directory: product-lines
Karine Even Mendoza
30/05/2017 23:47
5548
hifrog
Bug
New
Low
in Lattice: supposed to be SAT, but the lattice gives
29/09/2017 16:43
12972
cow
Feature
New
High
Implementazione header e footer del CERDD
22/08/2019 10:38
7717
OpenSMT 2
To do
New
High
Implement theory propagation also for PRODUCE_PROOF version
16/08/2018 15:00
3500
OpenSMT 2
Bug
Resolved
Low
Hifrog - prop logic: Assertion `clause_in_A || clause_in_B' failed
Antti Hyvärinen
12/09/2016 14:18
5519
hifrog
Bug
Resolved
High
Function summary + UF/LRA does not work
Karine Even Mendoza
21/08/2017 14:03
7860
hifrog
To do
New
Normal
follow up in EUF summaries (Grisha's idea)
Sepideh Asadi
07/09/2018 22:17
7601
hifrog
To do
New
Normal
Fixing User-defined summaries
09/07/2018 23:19
6037
hifrog
Bug
New
Normal
Error in generating interpolant in svcomp 17
02/01/2018 17:32
7862
hifrog
To do
New
Normal
enable summary re-use in CUF
Sepideh Asadi
08/09/2018 20:08
5304
hifrog
Bug
Feedback
Normal
crash on ~/hi-bench/main-bench/bench_SATpaper_128/
Sepideh Asadi
16/06/2017 18:07
7276
hifrog
Bug
Resolved
Normal
crash on busybox categories; Ideally we should return UNSUPPORTED!
Martin Blicha
10/05/2018 09:27
7279
hifrog
Bug
Resolved
Normal
crash in VTT (2)
22/06/2018 10:29
7278
hifrog
Bug
Resolved
High
crash in VTT (1)
Martin Blicha
09/05/2018 15:41
7280
hifrog
Bug
New
Normal
crash in solver in VTT (3)
07/05/2018 19:49
7271
hifrog
Bug
Feedback
Normal
crash in ldv-challenges as signal 6: what(): map::at
Sepideh Asadi
07/05/2018 11:52
« Previous
1
2
3
Next »
(26-50/61)
Per page:
25
,
50
,
100
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...