issues
search
dreal
/
dreal2
Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Problem with higher order functions when using invariants
#97
pricsi
opened
9 years ago
0
Network Automata DRH syntax
#96
danbryce
opened
9 years ago
1
Add 32-bit binaries to PPA
#95
soonhokong
opened
9 years ago
0
fix PPA
#94
soonhokong
closed
9 years ago
0
Compilation problems
#93
henrykmichalewski
closed
9 years ago
7
Network encodings and heuristics for planning
#92
danbryce
closed
9 years ago
0
Initial version of network heuristics
#91
danbryce
closed
9 years ago
0
Added networked hybrid system benchmarks
#90
kquine
closed
9 years ago
0
Fixes for Boolean Variables, Parameter invariants, and new planning heuristics
#89
danbryce
closed
9 years ago
0
icp_solver ignoring negated equality constraints
#88
danbryce
opened
9 years ago
7
Support for function invariants?
#87
danbryce
opened
9 years ago
1
dreach fix
#86
shmarovfedor
closed
9 years ago
0
add -z opt dreach
#85
shmarovfedor
closed
9 years ago
0
dReal/dReach exit codes
#84
shmarovfedor
closed
9 years ago
13
dReach-2.15.01 performance
#83
shmarovfedor
opened
9 years ago
3
meaning of -k flag in dReach
#82
shmarovfedor
opened
9 years ago
7
CAPD parse error
#81
danbryce
closed
9 years ago
6
Disjunctive Invariants
#80
danbryce
opened
9 years ago
3
Flows with m_T = [0, 0] generate [0,0] interval on flows
#79
danbryce
opened
9 years ago
0
Additions for AAAI15 paper
#78
danbryce
closed
9 years ago
1
update CAPD4
#77
soonhokong
closed
9 years ago
2
figure out why the version with spaceex takes more iterations
#76
soonhokong
opened
9 years ago
0
no set_logic -> segfault
#75
soonhokong
opened
9 years ago
0
dreach homepage explanations do not match sample model file
#74
stanleybak
opened
9 years ago
2
Undefined symbol in dReach
#73
shmarovfedor
closed
9 years ago
4
dReach returns a syntax error
#72
shmarovfedor
closed
9 years ago
2
Update heuristics
#71
wweic
opened
9 years ago
1
fix(bmc, basic, parse): fix jumpmap
#70
wweic
closed
9 years ago
4
dReach: respect the ordering of ODE variables in integral constraints
#69
soonhokong
opened
9 years ago
3
Bug on dReach path generation
#68
kquine
closed
9 years ago
7
Bug on large domains
#67
scungao
closed
9 years ago
7
Support for "Bool" sorts?
#66
danbryce
opened
9 years ago
7
preprocessing loses precision
#65
scungao
opened
9 years ago
11
variables with underscores in ODEs
#64
shmarovfedor
closed
9 years ago
2
sine model for benchmarks
#63
shmarovfedor
closed
9 years ago
8
unsat result when a TaylorHOE Exception occurs
#62
ghost
closed
9 years ago
3
Should be sat but unsat is returned
#61
shmarovfedor
closed
9 years ago
4
allow dReal to accept partially specified ODEs. needed for distributed systems.
#60
scungao
closed
9 years ago
2
no reliable way to extract model information
#59
robdockins
opened
9 years ago
0
segfault when 'produce-models' is set
#58
robdockins
opened
9 years ago
0
UNSAT for model with non-deterministic parameter but SAT for deterministic model
#57
shmarovfedor
opened
9 years ago
0
ICP explanations include innocent literals
#56
danbryce
opened
9 years ago
3
Variable (Interval) selection heuristic for ICP
#55
danbryce
closed
10 years ago
0
dReal gives unexpected result
#54
nikosarechiga
closed
10 years ago
3
Defining constant intervals in the flow
#53
shmarovfedor
opened
10 years ago
5
Fixed base case for relevance analysis "-e" identified by Fedor
#52
danbryce
closed
10 years ago
0
Incorrect smt2 encoding using "-e" flag for "-k=0"
#51
shmarovfedor
closed
10 years ago
1
dReach "-e" flag
#50
shmarovfedor
closed
10 years ago
10
Invariant bug
#49
shmarovfedor
closed
10 years ago
14
Unsat result in AUV problems with "fix(dsolvers/ode_solver): skip ODE computation for trivial problem"
#48
danbryce
closed
10 years ago
0
Next