⚲
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
5105
hifrog
Bug
Closed
Normal
inconsistency of HIFROG with CBMC
Karine Even Mendoza
30/05/2017 23:36
4997
hifrog
Bug
New
Low
--theoref bug : quadratic explosion in ntdrivers-simplified benchmarks
Antti Hyvärinen
30/05/2017 18:45
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
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
4689
hifrog
Bug
Closed
Normal
Caught exception: symex_assign_rec: unexpected assignment to union member
Karine Even Mendoza
03/05/2017 13:24
5012
hifrog
Bug
Closed
Normal
byte_add_1_true-unreach-call.c
03/05/2017 00:28
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
5008
hifrog
Bug
Closed
Normal
theoref BuG: tcas_asrt
Sepideh Asadi
02/05/2017 23:12
5100
hifrog
Bug
Closed
Normal
Error: No support for "big" (> 32 bit) integers so far.
Karine Even Mendoza
02/05/2017 22:41
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
5101
hifrog
Bug
Closed
Normal
Caught exception for disk.c
02/05/2017 20:41
5009
hifrog
Bug
Closed
Normal
Theoref BUG: wrong result after refinement
Antti Hyvärinen
19/04/2017 18:16
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
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
5007
hifrog
Bug
Closed
Normal
theoref BUG : disk.c
16/04/2017 09:13
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
4679
hifrog
Bug
Closed
Normal
VERIFICATION FAILED for /main-bench/TACAS17_ex/ex1_lra.c
Karine Even Mendoza
14/03/2017 14:36
« Previous
1
2
Next »
(51-68/68)
Per page:
25
,
50
,
100
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...