Skip to content
This repository has been archived by the owner on May 11, 2021. It is now read-only.

Issues: dreal/dreal2

31 Open 49 Closed
31 Open 49 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Problem with higher order functions when using invariants
#97 opened Aug 13, 2015 by pricsi
Network Automata DRH syntax
#96 opened Apr 20, 2015 by danbryce
1
Add 32-bit binaries to PPA
#95 opened Apr 4, 2015 by soonhokong
icp_solver ignoring negated equality constraints question
#88 opened Mar 12, 2015 by danbryce
@soonhokong
7
Support for function invariants?
#87 opened Mar 11, 2015 by danbryce
1
dReach-2.15.01 performance
#83 opened Feb 20, 2015 by shmarovfedor
@soonhokong
3
meaning of -k flag in dReach
#82 opened Feb 16, 2015 by shmarovfedor
7
Disjunctive Invariants
#80 opened Feb 11, 2015 by danbryce
3
Flows with m_T = [0, 0] generate [0,0] interval on flows
#79 opened Feb 6, 2015 by danbryce
figure out why the version with spaceex takes more iterations question
#76 opened Jan 29, 2015 by soonhokong
@soonhokong
no set_logic -> segfault bug
#75 opened Jan 29, 2015 by soonhokong
@soonhokong
dreach homepage explanations do not match sample model file
#74 opened Jan 28, 2015 by stanleybak
2
Update heuristics
#71 opened Jan 24, 2015 by wweic
1
dReach: respect the ordering of ODE variables in integral constraints
#69 opened Jan 23, 2015 by soonhokong
@wweic
3
Support for "Bool" sorts?
#66 opened Jan 13, 2015 by danbryce
@soonhokong
7
preprocessing loses precision bug
#65 opened Dec 25, 2014 by scungao
@soonhokong
11
no reliable way to extract model information
#59 opened Oct 14, 2014 by robdockins
@soonhokong
segfault when 'produce-models' is set bug
#58 opened Oct 14, 2014 by robdockins
@soonhokong
UNSAT for model with non-deterministic parameter but SAT for deterministic model bug
#57 opened Sep 12, 2014 by shmarovfedor
@soonhokong
ICP explanations include innocent literals
#56 opened Aug 27, 2014 by danbryce
@soonhokong
3
Defining constant intervals in the flow enhancement
#53 opened Jul 14, 2014 by shmarovfedor
@soonhokong
5
Integration of pdf of normal distribution bug
#37 opened May 9, 2014 by shmarovfedor
@soonhokong
18
need infix <=> prefix converter enhancement
#33 opened Apr 30, 2014 by soonhokong
@soonhokong
eliminate boilerplate ocaml code enhancement
#32 opened Apr 30, 2014 by soonhokong
@soonhokong
Refine testing to check the SAT result precisely enhancement
#31 opened Apr 28, 2014 by soonhokong
@soonhokong
ProTip! Follow long discussions with comments:>50.