Issue Navigator - Clojure JIRA

Click to open or close

You are currently using a new, unsaved search.

Summary

Project: core.logic

Sorted by: Key descending

Operations

Save it as a filter

Displaying issues 1 to 50 of 138 matching issues.

1 2 3 Next >>

Key	Summary	Assignee	Reporter	Status	Resolution	Created	Updated
LOGIC-138	Allow tying multiple noms in one binder	David Nolen	Tom Jack	Open	Unresolved	10/Jun/13	10/Jun/13
LOGIC-137	OOM when setting (interval 1 2) for 20 logic vars	David Nolen	Gary Fredericks	Resolved	Completed	11/May/13	08/Jun/13
LOGIC-136	Make benchmark suite as easy to run as `lein test`	David Nolen	Austin Haas	Open	Unresolved	09/May/13	09/May/13
LOGIC-135	membero should be updated to use disequality constraints	David Nolen	Austin Haas	Resolved	Completed	07/May/13	07/May/13
LOGIC-134	Historic artifacts in the implementation of Choice prevent take* from being generally usable.	David Nolen	Austin Haas	Resolved	Completed	07/May/13	07/May/13
LOGIC-133	Add label goal	David Nolen	David Nolen	Open	Unresolved	29/Apr/13	29/Apr/13
LOGIC-132	"PMap is non-storable" exception when using featurec with nested feature map.	David Nolen	Martin Forsgren	Resolved	Completed	26/Apr/13	05/May/13
LOGIC-131	Docstrings for lvaro and nonlvaro need improvement.	David Nolen	Austin Haas	Resolved	Completed	22/Apr/13	07/May/13
LOGIC-130	StackOverFlowError when walking over set	David Nolen	Coen De Roover	Open	Unresolved	16/Apr/13	16/Apr/13
LOGIC-129	matcha/matchu are not faithful to the semantics of conda/condu	David Nolen	Austin Haas	Open	Unresolved	04/Apr/13	09/Jun/13
LOGIC-128	add mod/rem/abs/min/max	David Nolen	David Nolen	Open	Unresolved	02/Apr/13	02/Apr/13
LOGIC-127	Swapping noms turns maps (and other collections) into seqs	Nada Amin	Jiří Maršík	Resolved	Completed	02/Apr/13	10/Apr/13
LOGIC-126	fd/* and fd/+ interaction bug	David Nolen	David Nolen	Resolved	Completed	28/Mar/13	28/Mar/13
LOGIC-125	Using membero with a vector as an element	David Nolen	Matthew O. Smith	Resolved	Completed	25/Mar/13	25/Mar/13
LOGIC-124	Order of args to fd/!= changes results (gives incorrect answer)	David Nolen	Ryan Senior	Resolved	Completed	24/Mar/13	24/Mar/13
LOGIC-123	Allow unification with sequential in both directions	David Nolen	Mike Anderson	Open	Unresolved	23/Mar/13	26/Mar/13
LOGIC-122	Subpattern {?x (?y ?y)} fails to unify	David Nolen	Jonas Enlund	Resolved	Completed	15/Mar/13	17/Mar/13
LOGIC-121	Unifier fails on some nested forms	David Nolen	Jonas Enlund	Resolved	Completed	14/Mar/13	17/Mar/13
LOGIC-120	(unify '[?x 1]) throws IllegalArgumentException	David Nolen	Jonas Enlund	Resolved	Completed	14/Mar/13	17/Mar/13
LOGIC-119	tie disequality	David Nolen	Nada Amin	Open	Unresolved	12/Mar/13	12/Mar/13
LOGIC-118	prep does not make lvar of ?x if ?x is in a vector	David Nolen	Jonas Enlund	Open	Unresolved	11/Mar/13	17/Mar/13
LOGIC-117	one-shot constraints with multiple rands may run more than once	David Nolen	Nada Amin	Open	Unresolved	11/Mar/13	19/Mar/13
LOGIC-116	ClassCastException in core.logic depending on ordering	David Nolen	Matthew O. Smith	Resolved	Completed	08/Mar/13	17/Mar/13
LOGIC-115	fd/interval with (== lb ub) fails	David Nolen	Herwig Hochleitner	Resolved	Completed	19/Feb/13	19/Feb/13
LOGIC-114	stack overflow with conda/u	David Nolen	Austin Haas	Open	Unresolved	14/Feb/13	17/Mar/13
LOGIC-113	A conde clause that beings with a fresh expression will initially fail	David Nolen	Austin Haas	Resolved	Declined	13/Feb/13	15/Feb/13
LOGIC-112	Incorrect results with tabled resolution	David Nolen	Reinout Stevens	Resolved	Completed	05/Feb/13	13/Mar/13
LOGIC-111	conda expression that no longer works in rc2	David Nolen	David Nolen	Resolved	Completed	04/Feb/13	13/Feb/13
LOGIC-110	Allow anonymous constraints	David Nolen	Kevin Lynagh	Resolved	Completed	04/Feb/13	04/Feb/13
LOGIC-109	custom defc constraint does not run	David Nolen	Kevin Downey	Resolved	Completed	28/Jan/13	29/Jan/13
LOGIC-108	featurec or something similar to provide recursive partial partial map constraints	David Nolen	Kevin Downey	Resolved	Completed	24/Jan/13	17/Mar/13
LOGIC-107	Less dependencies for non-dev environments?	David Nolen	Jeroen van Dijk	Resolved	Completed	22/Jan/13	22/Jan/13
LOGIC-106	cannot use fresh/conde in the invoke of a constraint	David Nolen	Nada Amin	Resolved	Completed	20/Jan/13	21/Jan/13
LOGIC-105	java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId	David Nolen	Timo Westkämper	Resolved	Declined	17/Jan/13	18/Jan/13
LOGIC-104	-merge-doms for ::nom is not closed under composition	David Nolen	Nada Amin	Resolved	Completed	11/Jan/13	11/Jan/13
LOGIC-103	another non-termination case with CLP(FD)	David Nolen	David Nolen	Resolved	Completed	10/Jan/13	10/Jan/13
LOGIC-102	generalize the notion of hash for robustness	David Nolen	Nada Amin	Resolved	Completed	07/Jan/13	11/Mar/13
LOGIC-101	nom/hash and variable noms	David Nolen	Nada Amin	Resolved	Completed	07/Jan/13	07/Jan/13
LOGIC-100	pruning of unsatisfiable non-ground disequalities	David Nolen	Nada Amin	Resolved	Completed	07/Jan/13	07/Jan/13
LOGIC-99	StackOverflow for large `appendo`	David Nolen	David Nolen	In Progress	Unresolved	05/Jan/13	07/Jan/13
LOGIC-98	nominal unification misses after-the-fact fd constraints	David Nolen	Nada Amin	Resolved	Completed	05/Jan/13	11/Jan/13
LOGIC-97	disequality pruning	David Nolen	Nada Amin	Resolved	Completed	04/Jan/13	04/Jan/13
LOGIC-96	relevant-var? logic incorrectly discards a vars constraint set	David Nolen	David Nolen	Open	Unresolved	04/Jan/13	17/Mar/13
LOGIC-95	disequality	David Nolen	Nada Amin	Resolved	Completed	04/Jan/13	04/Jan/13
LOGIC-94	nominal, spurious nil	Nada Amin	David Nolen	Resolved	Declined	03/Jan/13	03/Jan/13
LOGIC-93	eliminate FDConstraint, use a template instead of delegation	David Nolen	David Nolen	Resolved	Completed	03/Jan/13	17/May/13
LOGIC-92	nominal is missing a few constraints-related tweaks	David Nolen	Nada Amin	Resolved	Completed	02/Jan/13	02/Jan/13
LOGIC-91	nom/tie and spurious reification of predc constraint	David Nolen	Nada Amin	Resolved	Completed	02/Jan/13	02/Jan/13
LOGIC-90	These three FD constraints seem to diverge with certain domains	David Nolen	Gary Fredericks	Resolved	Completed	01/Jan/13	01/Jan/13
LOGIC-89	Allow application again in pattern matches	David Nolen	David Nolen	Open	Unresolved	01/Jan/13	07/Jan/13

1 2 3 Next >>

Displaying issues 1 to 50 of 138 matching issues.