⚲
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
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
5002
hifrog
Bug
Closed
Urgent
--theoref bug: BitBlaster.C:477: BVRef BitBlaster::bbBvand(PTRef): Assertion `logic.getPterm(logic.getPterm(tr)[0]).size() == logic.getPterm(logic.getPterm(tr)[1]).size()' failed.
Antti Hyvärinen
19/04/2017 17:33
3491
OpenSMT 2
Bug
Resolved
Normal
Segmentation fault in opensmt when using function summaries
Antti Hyvärinen
12/09/2016 14:14
3511
OpenSMT 2
Bug
Closed
Normal
Assertion violation: const [with T = unsigned int; RegionAllocator<T>::Ref = unsigned int]: Assertion `r < sz'
Antti Hyvärinen
12/10/2016 17:23
3512
OpenSMT 2
Bug
Closed
Normal
counter example print: Cnfizer.C:891: lbool Cnfizer::getTermValue(PTRef) const: Assertion `val != (lbool((uint8_t)2))' failed.
Antti Hyvärinen
12/10/2016 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
4678
hifrog
Bug
Closed
Normal
hifrog: ../../../src/common/FastRational.h:768: FastRational FastRational::inverse() const: Assertion `num != 0' failed.
Antti Hyvärinen
01/04/2017 00:00
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
5326
hifrog
Bug
New
Normal
Seg fault when using slt with eq.
Antti Hyvärinen
16/06/2017 18:03
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
5226
hifrog
Bug
Closed
Normal
Fix unsupported op in CUF - unsignedbv
Karine Even Mendoza
06/06/2017 13:09
7795
hifrog
Bug
New
High
Type constraints option for LA theories
Martin Blicha
29/08/2018 15:29
5011
hifrog
Bug
Closed
Normal
Prop version returns SAT instead of UNSAT when using float vars
Sepideh Asadi
30/05/2017 20:10
5108
hifrog
Bug
Closed
Low
byte_add_2_true-unreach-call.c unwind 10 killed
Sepideh Asadi
16/06/2017 18:16
(1-14/14)
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...