issues
search
uuverifiers
/
princess
The Princess Theorem Prover
Other
22
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Princess crashes while evaluating Epsilon terms in the partial model
#17
daniel-raffler
opened
2 weeks ago
1
Sort.sortOf returns the wrong type
#16
daniel-raffler
opened
3 weeks ago
3
Printing rational numbers in Princess
#15
daniel-raffler
closed
3 weeks ago
2
MatchError for bv_concat/4pr while trying to print a formula
#14
daniel-raffler
closed
1 month ago
2
Princess crashes in RShiftCastSplitter
#13
daniel-raffler
closed
3 weeks ago
5
Abbrev causes crashes when used with rational numbers
#12
daniel-raffler
closed
1 month ago
2
Princess does not support Real values in arrays
#11
daniel-raffler
closed
1 month ago
3
No model despite +model
#10
qOEJXOT4
closed
9 months ago
4
[Ostrich] String theory crashes when solving query with STR_LESS_EQUAL
#9
kfriedberger
closed
9 months ago
3
Model evaluation for rational theory crashes in MatchError
#8
kfriedberger
opened
11 months ago
1
Model evaluation for rational theory is incomplete and does not simplify terms
#7
kfriedberger
opened
11 months ago
0
Effect of option [+-]dnfConstraints
#6
qOEJXOT4
closed
1 year ago
6
Unexpected result of VALID
#5
qOEJXOT4
closed
1 year ago
4
[WIP] Quality of life improvements and cleanup
#4
amandasystems
opened
1 year ago
2
Address small typo in `bvsge`
#3
mario-bucev
closed
1 year ago
0
Inconsistant cast
#2
SimpleXiaohu
closed
1 year ago
0
Unsoundness with quantifiers and ADTs
#1
pruemmer
closed
2 years ago
2