⚲
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
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
10434
hifrog
To do
New
Normal
Automatically detect the bound in HiFrog for the sake of completeness
Sepideh Asadi
29/03/2019 14:52
9433
hifrog
To do
New
Normal
strong itp-lra-algorithm generates redundant formula
Sepideh Asadi
28/11/2018 22:43
7864
hifrog
To do
New
Normal
investigate the functionality of --no-assert-grouping
Sepideh Asadi
08/09/2018 20:23
7863
hifrog
To do
New
Normal
report system in HiFrog
08/09/2018 20:19
7862
hifrog
To do
New
Normal
enable summary re-use in CUF
Sepideh Asadi
08/09/2018 20:08
7861
hifrog
To do
New
Normal
A minimal necessary unwinding bound
07/09/2018 22:19
7860
hifrog
To do
New
Normal
follow up in EUF summaries (Grisha's idea)
Sepideh Asadi
07/09/2018 22:17
7859
hifrog
To do
New
Normal
checks for uninitialized locals in CBMC
07/09/2018 22:01
7805
hifrog
Bug
New
Normal
UFInterpolator.C
Sepideh Asadi
29/08/2018 13:43
7414
hifrog
Bug
In Progress
Normal
seg fault in reading non-linear elf summary in lra - sum-theoref
24/05/2018 14:40
7397
hifrog
Bug
New
Normal
seg fault in interpoating
Sepideh Asadi
24/05/2018 02:10
7391
hifrog
Bug
New
Low
LRA reading non-linear operations
Sepideh Asadi
22/05/2018 19:27
7280
hifrog
Bug
New
Normal
crash in solver in VTT (3)
07/05/2018 19:49
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
7277
hifrog
Bug
New
Urgent
timeout in ssh categories; several examples stop in early stages
07/05/2018 16:31
7276
hifrog
Bug
Resolved
Normal
crash on busybox categories; Ideally we should return UNSUPPORTED!
Martin Blicha
10/05/2018 09:27
7275
hifrog
Bug
New
Normal
supposed be UNSAT, but it is SAT
08/05/2018 12:31
7274
hifrog
Bug
New
Normal
Caught exception: byte_extract flatting with negative offset
06/05/2018 02:38
7272
hifrog
Bug
New
Normal
unusual long symext time
07/05/2018 11:54
7271
hifrog
Bug
Feedback
Normal
crash in ldv-challenges as signal 6: what(): map::at
Sepideh Asadi
07/05/2018 11:52
7116
hifrog
Bug
New
High
Segmentation fault in summary reuse in LRA
Antti Hyvärinen
19/04/2018 01:56
6932
hifrog
Bug
Resolved
Normal
Internal Assertion failure for ddv.c
22/06/2018 10:17
6037
hifrog
Bug
New
Normal
Error in generating interpolant in svcomp 17
02/01/2018 17:32
5720
hifrog
Bug
Resolved
High
Regression Test : reusing LRA summary aborted
Martin Blicha
13/11/2017 14:11
5549
hifrog
Bug
Closed
Low
.
29/09/2017 16:43
5548
hifrog
Bug
New
Low
in Lattice: supposed to be SAT, but the lattice gives
29/09/2017 16:43
5519
hifrog
Bug
Resolved
High
Function summary + UF/LRA does not work
Karine Even Mendoza
21/08/2017 14:03
5355
hifrog
Bug
New
Normal
/regression/hifrog/benchmarks/06_main5.c
Karine Even Mendoza
09/08/2017 15:07
5354
hifrog
Bug
Closed
Low
inconsistency of HIFROG with CBMC in tcas_asrt.c
Sepideh Asadi
13/08/2017 22:11
5353
hifrog
Bug
Feedback
Normal
SAT regression benchs have very long runtime with --theoref
Antti Hyvärinen
08/08/2017 15:49
5330
hifrog
Bug
New
Low
bug in cafe.c related to cprover framework
Karine Even Mendoza
09/08/2017 14:57
5327
hifrog
Bug
Feedback
Normal
time out in disk.c
Antti Hyvärinen
08/08/2017 15:09
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
5305
hifrog
Bug
Closed
Normal
Bug related to No support for "big" (> 32 bit)
Sepideh Asadi
19/06/2017 14:13
5304
hifrog
Bug
Feedback
Normal
crash on ~/hi-bench/main-bench/bench_SATpaper_128/
Sepideh Asadi
16/06/2017 18:07
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
5141
hifrog
Bug
Closed
Normal
bug in ntdrivers: Caught exception: symex_assign_rec: unexpected assignment to union member
Sepideh Asadi
26/05/2017 12:33
5107
hifrog
Bug
New
Normal
inconsistency in directory: product-lines
Karine Even Mendoza
30/05/2017 23:47
5105
hifrog
Bug
Closed
Normal
inconsistency of HIFROG with CBMC
Karine Even Mendoza
30/05/2017 23:36
5104
hifrog
Bug
Closed
Low
Why CBMC does not verify many benchs but we do!!! Is there something wrong?
Sepideh Asadi
16/06/2017 18:16
5101
hifrog
Bug
Closed
Normal
Caught exception for disk.c
02/05/2017 20:41
5100
hifrog
Bug
Closed
Normal
Error: No support for "big" (> 32 bit) integers so far.
Karine Even Mendoza
02/05/2017 22:41
5099
hifrog
Bug
New
Low
prop
Karine Even Mendoza
09/08/2017 14:58
5016
hifrog
Bug
Closed
Normal
when increasing bitwidth, wrong result is reported
Sepideh Asadi
16/06/2017 18:15
5015
hifrog
Bug
Closed
Normal
SAT is reported instead of UNSAT
Sepideh Asadi
16/06/2017 18:14
5014
hifrog
Bug
Closed
Normal
bug in /sv-comp16/c/bitvector/
Sepideh Asadi
16/06/2017 18:14
5012
hifrog
Bug
Closed
Normal
byte_add_1_true-unreach-call.c
03/05/2017 00:28
5010
hifrog
Bug
In Progress
Low
Theoref bug: GNU MP: Cannot reallocate memory
Antti Hyvärinen
09/06/2017 19:40
5009
hifrog
Bug
Closed
Normal
Theoref BUG: wrong result after refinement
Antti Hyvärinen
19/04/2017 18:16
5008
hifrog
Bug
Closed
Normal
theoref BuG: tcas_asrt
Sepideh Asadi
02/05/2017 23:12
5007
hifrog
Bug
Closed
Normal
theoref BUG : disk.c
16/04/2017 09:13
5006
hifrog
Bug
Closed
Normal
Theoref openSMT BUG: Opensmt supports only up to int size, not more!
Antti Hyvärinen
19/04/2017 17:51
5005
hifrog
Bug
Closed
Low
MEMORY LIMIT EXCEEDED
Sepideh Asadi
16/06/2017 18:14
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
4836
hifrog
Bug
Closed
Normal
./hifrog ~/dev/hi-bench/main-bench/funfrog_regression/01_choice/main2_ok.c --claim 1
Sepideh Asadi
19/04/2017 17:31
4809
hifrog
Bug
Closed
Normal
long verification time for /hi-bench/main-bench/TACAS17_ex/ex1_lra.c --claim 1 --logic qflra
Sepideh Asadi
26/05/2017 12:34
4808
hifrog
Bug
Closed
Normal
core dumped on ./hifrog --claim 2 ~/dev/hi-bench/main-bench/Funfrog15_bench/mem.c --logic prop
Karine Even Mendoza
02/05/2017 23:19
4689
hifrog
Bug
Closed
Normal
Caught exception: symex_assign_rec: unexpected assignment to union member
Karine Even Mendoza
03/05/2017 13:24
4688
hifrog
Bug
Closed
Normal
./hifrog --claim 2 ~/dev/hi-bench/main-bench/Funfrog15_bench/mem.c --logic prop/qfuf
Karine Even Mendoza
03/04/2017 20:53
4687
hifrog
Bug
Closed
Normal
qflra/uf/prop gives wrong result for claim 1 of /main-bench/Funfrog15_bench/s3.c
Karine Even Mendoza
01/04/2017 00:21
4686
hifrog
Bug
Closed
Normal
qflra/uf/prop gives wrong result for /main-bench/Funfrog15_bench/token.c
Karine Even Mendoza
02/05/2017 21:05
4681
hifrog
Bug
Closed
Normal
wrong result/core dump in Directory:main-bench/funfrog_regression/06_globals
Karine Even Mendoza
05/06/2017 19:34
4679
hifrog
Bug
Closed
Normal
VERIFICATION FAILED for /main-bench/TACAS17_ex/ex1_lra.c
Karine Even Mendoza
14/03/2017 14:36
(1-68/68)
Per page:
25
,
50
,
100
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...