aic-sri-international aic-expresso issues

aic-sri-international / aic-expresso

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

BSD 3-Clause "New" or "Revised" License

8 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump junit from 4.11 to 4.13.1

#47 dependabot[bot] opened 4 years ago
0
Comment on buggy example in ExpressoAPIExamples

#46 redoudou490 closed 6 years ago
0
Reified HasKind test not working

#45 GoogleCodeExporter closed 9 years ago
2
Solve issue with comparing Rationals

#44 GoogleCodeExporter opened 9 years ago
0
[deleted issue]

#43 GoogleCodeExporter closed 9 years ago
0
SemanticSubstitute sensitive to internal replacements map ordering

#42 GoogleCodeExporter opened 9 years ago
1
Investigate caching of context extension

#41 GoogleCodeExporter opened 9 years ago
0
A re-organization and hopefully optimization of TotalRewriter

#40 GoogleCodeExporter opened 9 years ago
22
Switch away from using global object GrinderUtil.DO_NOT_REQUIRE_ADDED_CONTEXTUAL_CONSTRAINT_FREE_VARIABLES_TO_BE_IN_CONTEXTUAL_VARIABLES

#39 GoogleCodeExporter opened 9 years ago
0
Default Rewriting Process to make internal collections exposed on API immutable

#38 GoogleCodeExporter opened 9 years ago
1
Update wiki cardinality pseudo-code to reflect rewriter name changes in r696

#37 GoogleCodeExporter opened 9 years ago
0
Cardinality computation, context variables do not appear to be shadowed by scoping variables on cardinality expression

#36 GoogleCodeExporter closed 9 years ago
4
Defect in Expressions.freeSymbols logic

#35 GoogleCodeExporter closed 9 years ago
3
Filtering out a rewriter should filter out rewriters invoked from within it

#34 GoogleCodeExporter opened 9 years ago
0
Some rewriters tracing in and out messages being filtered out without apparent reason

#33 GoogleCodeExporter closed 9 years ago
2
Re-organize Expressions API into something easier to understand

#32 GoogleCodeExporter opened 9 years ago
7
Add "Go to last line of branch" option in the TreeUtil

#31 GoogleCodeExporter closed 9 years ago
1
Improve performance of TreeUtil Search

#30 GoogleCodeExporter closed 9 years ago
2
TreeUtil sometimes stops being responsive during debugging

#29 GoogleCodeExporter closed 9 years ago
2
Fix Demo due to updates from rev 689 to 742

#28 GoogleCodeExporter closed 9 years ago
7
TreeUtil: Improve visual expansion of nodes

#27 GoogleCodeExporter closed 9 years ago
10
equals({ (on ) a | true }, { (on ) a }) not returning true

#26 GoogleCodeExporter opened 9 years ago
2
Intelligent Expression rewriting in TotalRewriter

#25 GoogleCodeExporter opened 9 years ago
2
Review use of Reentrant locks in AbstractSyntaxTree and AbstractExpression

#24 GoogleCodeExporter opened 9 years ago
1
Optimization when computing a message to a factor from a variable when the variable has no other neighbors

#23 GoogleCodeExporter closed 9 years ago
1
DPLL Style R_card logic enhancement

#22 GoogleCodeExporter opened 9 years ago
6
Integrate ability to run black box SAT solver's against propositionalized formulas in order to validate R_complete_simplify satisfiability logic

#21 GoogleCodeExporter opened 9 years ago
2
Created TPTP based test suite to help validate R_complete_simplify satisfiability logic

#20 GoogleCodeExporter opened 9 years ago
1
Add Distributive rewriters to R_simplify

#19 GoogleCodeExporter opened 9 years ago
0
Simplify contextual constraint when extending it and creating a sub-process

#18 GoogleCodeExporter opened 9 years ago
0
Standardize apart from expression with indexed variables

#17 GoogleCodeExporter opened 9 years ago
0
Include capabilities in quantified expressions equaling those of intensional sets, and unify them

#16 GoogleCodeExporter closed 9 years ago
2
Modules to no longer subclass Rewriters

#15 GoogleCodeExporter opened 9 years ago
0
R_simplified_if_then_else - else part not simplifying correctly.

#14 GoogleCodeExporter opened 9 years ago
0
R_simplify double negation not getting simplified

#13 GoogleCodeExporter opened 9 years ago
0
Add support for computational traces

#12 GoogleCodeExporter opened 9 years ago
0
Make R_cardExtensionalSet generate a normalized conditional expression

#11 GoogleCodeExporter opened 9 years ago
1
'whatever' constant being introduced in contexts with contextual constraint equal "false"

#10 GoogleCodeExporter opened 9 years ago
0
Add support for quantified expressions when unknown type size during direct cardinality computation

#9 GoogleCodeExporter opened 9 years ago
0
Provide Explanation for stack overflow when not flattening conjunctions on construction

#8 GoogleCodeExporter opened 9 years ago
0
Throw exception from R_card if called for quantified cases and no domain size information is available

#7 GoogleCodeExporter opened 9 years ago
0
Implement open interpretation provider for previous message expressions and bounds placeholders so that LambdaApplication applies properly

#6 GoogleCodeExporter opened 9 years ago
2
Add general purpose unifying conceptual map

#5 GoogleCodeExporter opened 9 years ago
0
GrinderUtil extend contextual variables logic needs to work with constants and not just logical variables

#4 GoogleCodeExporter opened 9 years ago
0
Is there away to have the process track scoped variables as well as to the superset (contextual variables)

#3 GoogleCodeExporter opened 9 years ago
0
Retrieve domain information associated with logical variables from models with multiple domains

#2 GoogleCodeExporter opened 9 years ago
0
Generalize AnytimeRefiner (RewriteRefiner) logic and make thread safe

#1 GoogleCodeExporter opened 9 years ago
0