issues
search
salmans
/
Razor
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Incorrect model when searching with limited depth
#80
jmoy
opened
7 years ago
0
use smtlib2-0.3.1
#79
pseudometric
closed
8 years ago
1
fix compilation; cleanup
#78
pseudometric
closed
8 years ago
1
couldn't build
#77
dandougherty
closed
8 years ago
2
Strange Implicit Mode Behavior
#76
thedotmatrix
closed
8 years ago
0
improving the REPL
#75
dandougherty
closed
8 years ago
3
An extra "next" in the history
#74
salmans
closed
9 years ago
0
Augmentation Syntatic Sugar
#73
salmans
opened
9 years ago
5
Augmentation fails after reaching to the end of stream
#72
salmans
closed
9 years ago
6
Two Open Questions About Relaxed (aka Collapsed) Mode
#71
thedotmatrix
closed
9 years ago
1
Haskell upgrade issues: SMTLib2 vs. logic-TPTP
#70
salmans
closed
9 years ago
7
False "Incomplete" flag
#69
salmans
opened
9 years ago
1
Razor returns wrong answers on PUZ047+1 and PUZ047-1 from TPTP
#68
salmans
opened
9 years ago
1
Generating ground sequents when the search is bounded in the relaxed mode
#67
salmans
closed
9 years ago
3
Support for TPTP inputs
#66
salmans
closed
9 years ago
3
Displaying current depth
#65
salmans
opened
9 years ago
5
some provenance information is missing / not being found
#64
thedotmatrix
closed
9 years ago
1
Provenance results are not reduced with respect to equivalence classes
#63
salmans
closed
9 years ago
4
undo does not undo unless augmentation is the last explore command
#62
thedotmatrix
closed
9 years ago
0
Augmentation does not add "fresh" elements to the domain
#61
thedotmatrix
closed
9 years ago
4
Unbounded Search
#60
salmans
closed
9 years ago
0
Displaying Exploration History
#59
salmans
closed
9 years ago
2
Displaying Constants in Provenance Information
#58
salmans
closed
9 years ago
0
Flexibile GEO Syntax
#57
thedotmatrix
opened
9 years ago
10
REPL command line syntax / mode transitions
#56
thedotmatrix
closed
8 years ago
4
get rid of equality for next models
#55
thedotmatrix
opened
9 years ago
0
be more informative to the user about the model finding pipeline
#54
thedotmatrix
opened
9 years ago
1
print performance information in debug mode
#53
thedotmatrix
opened
9 years ago
0
origin* command does not highlight / explain equivalence class information properly
#52
thedotmatrix
closed
9 years ago
1
Redundant information in sequents returned as provenance information
#51
thedotmatrix
closed
9 years ago
1
Displaying Augmentation History only on user's request
#50
salmans
closed
9 years ago
1
origin vs name command
#49
salmans
closed
9 years ago
0
Recursive provenance construction with functions
#48
salmans
opened
9 years ago
3
Change configuration settings from the REPL
#47
salmans
closed
9 years ago
1
Read the input file from the command line
#46
salmans
closed
9 years ago
0
Augmentation consistent with model and incrementality / undoing augmentations
#45
salmans
closed
9 years ago
12
Redirect user to "Incomplete Mode" when an incomplete model is returned
#44
thedotmatrix
closed
9 years ago
1
Add support for Yices
#43
salmans
opened
9 years ago
0
Lowercase for project name in cabal file
#42
ramsdell
closed
9 years ago
1
Razor's input file extensions
#41
salmans
closed
9 years ago
6
Closing the connection to the SMT solver
#40
salmans
closed
9 years ago
1
Bounding Lone quantifiers
#39
salmans
closed
9 years ago
0
Surprise Me: Relaxed model construction / Allowing random collapses
#38
salmans
opened
9 years ago
3
Optional non-purely minimal model construction
#37
salmans
closed
9 years ago
1
Repeated variables as function arguments
#36
salmans
closed
9 years ago
0
Improve REPL Interaction
#35
thedotmatrix
closed
9 years ago
11
Allow '_0 as a constant
#34
ramsdell
closed
9 years ago
1
Eliminate deprecated config settings
#33
salmans
closed
9 years ago
0
Restoring formula simplification
#32
salmans
closed
9 years ago
0
Organizing the interface to the Chase
#31
salmans
opened
9 years ago
1
Next