⚲
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
3488
OpenSMT 2
Bug
Resolved
Normal
SIGSEGV in LRASolver
Antti Hyvärinen
12/09/2016 13:50
7116
hifrog
Bug
New
High
Segmentation fault in summary reuse in LRA
Antti Hyvärinen
19/04/2018 01:56
5353
hifrog
Bug
Feedback
Normal
SAT regression benchs have very long runtime with --theoref
Antti Hyvärinen
08/08/2017 15:49
5327
hifrog
Bug
Feedback
Normal
time out in disk.c
Antti Hyvärinen
08/08/2017 15:09
5326
hifrog
Bug
New
Normal
Seg fault when using slt with eq.
Antti Hyvärinen
16/06/2017 18:03
5325
hifrog
Bug
New
Normal
Is it because of not supporting pointers?
Antti Hyvärinen
16/06/2017 12:46
5306
hifrog
Bug
Feedback
Normal
inconsistency with CBMC is s3.c
Antti Hyvärinen
08/08/2017 15:52
5225
hifrog
Bug
New
Normal
SAT examples are terminate with "killed" when using the right/correct parameters
Antti Hyvärinen
31/05/2017 10:33
5218
hifrog
Bug
Feedback
Normal
Wrong result in ECA with global vars for Problem01_label38_false-unreach-call.c
Antti Hyvärinen
08/08/2017 16:48
5010
hifrog
Bug
In Progress
Low
Theoref bug: GNU MP: Cannot reallocate memory
Antti Hyvärinen
09/06/2017 19:40
4998
hifrog
Bug
Feedback
Normal
bug in QF_BOOL: wrong result for prop in benchs in directrory ntdrivers-simplified
Antti Hyvärinen
09/08/2017 14:55
4997
hifrog
Bug
New
Low
--theoref bug : quadratic explosion in ntdrivers-simplified benchmarks
Antti Hyvärinen
30/05/2017 18:45
10647
OpenSMT 2
Bug
New
Urgent
UF benchmark crash
11/04/2019 11:18
7717
OpenSMT 2
To do
New
High
Implement theory propagation also for PRODUCE_PROOF version
16/08/2018 15:00
3502
OpenSMT 2
Bug
Resolved
Normal
Refinement benchmarks: get an exception - Logic::getOriginalAssertion(PTRef): Assertion `flat2orig.find(flat) != flat2orig.end()' failed
12/09/2016 14:21
13577
hifrog
Bug
New
Normal
prop incorrect result
07/10/2019 00:15
13356
hifrog
Bug
Resolved
Normal
Bug in Hifrog LRA encoding - resulting assertion violation for a safe bench
07/10/2019 00:11
7863
hifrog
To do
New
Normal
report system in HiFrog
08/09/2018 20:19
7861
hifrog
To do
New
Normal
A minimal necessary unwinding bound
07/09/2018 22:19
7859
hifrog
To do
New
Normal
checks for uninitialized locals in CBMC
07/09/2018 22:01
7760
hifrog
Bug
New
Normal
Infinite loop in theory refinement
24/08/2018 16:05
7728
hifrog
To do
New
Normal
Refactor theory refinement code
21/08/2018 13:36
7601
hifrog
To do
New
Normal
Fixing User-defined summaries
09/07/2018 23:19
7600
hifrog
To do
Resolved
Normal
Cleaning check_sum_theoref_single
07/09/2018 21:50
7414
hifrog
Bug
In Progress
Normal
seg fault in reading non-linear elf summary in lra - sum-theoref
24/05/2018 14:40
« 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...