Issue Navigator - Clojure JIRA

Click to open or close

You are currently using a new, unsaved search.

Summary

Project: core.logic

Sorted by: Status descending, then Priority descending

Operations

Save it as a filter

Displaying issues 1 to 50 of 137 matching issues.

1 2 3 Next >>

Key	Summary	Assignee	Reporter	Status	Resolution	Created	Updated
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-91	nom/tie and spurious reification of predc constraint	David Nolen	Nada Amin	Resolved	Completed	02/Jan/13	02/Jan/13
LOGIC-88	disequality reification is broken	David Nolen	David Nolen	Resolved	Completed	29/Dec/12	02/Jan/13
LOGIC-53	core.logic converts defrecords to maps in it's query results	David Nolen	Martin Trojer	Resolved	Completed	18/Sep/12	02/Jan/13
LOGIC-95	disequality	David Nolen	Nada Amin	Resolved	Completed	04/Jan/13	04/Jan/13
LOGIC-18	clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude	David Nolen	David Nolen	Resolved	Completed	09/Oct/11	20/Nov/11
LOGIC-3	nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro	David Nolen	David Nolen	Resolved	Completed	19/May/11	21/May/11
LOGIC-1	Tabling bug	David Nolen	David Nolen	Resolved	Completed	18/May/11	21/May/11
LOGIC-6	no way to unify the first of a seq to one lvar and the rest to another	David Nolen	Kevin Downey	Resolved	Completed	01/Jun/11	02/Jun/11
LOGIC-5	cannot unify an lcons currently	David Nolen	Kevin Downey	Resolved	Completed	01/Jun/11	02/Jun/11
LOGIC-7	cannot emit lvars from macros	David Nolen	Kevin Downey	Resolved	Completed	01/Jun/11	24/Jul/11
LOGIC-8	tabled goals perisist across runs	David Nolen	Pepijn de Vos	Resolved	Completed	08/Jun/11	08/Jun/11
LOGIC-9	make run non-lazy, add lazy-run variant	David Nolen	David Nolen	Resolved	Completed	08/Jun/11	08/Jun/11
LOGIC-11	Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons	David Nolen	David Nolen	Resolved	Completed	14/Jul/11	24/Jul/11
LOGIC-29	Indexed relations return incorrect results for partially ground values	David Nolen	Brian Goslinga	Resolved	Completed	04/Mar/12	04/Mar/12
LOGIC-41	Unexpected behavior when using functions	David Nolen	Jens Bendisposto	Resolved	Declined	31/May/12	31/May/12
LOGIC-22	Unqualified Symbols at Macroexpansion via defrel	David Nolen	Ambrose Bonnaire-Sergeant	Resolved	Completed	24/Nov/11	25/Nov/11
LOGIC-21	Remove ?x variable pattern	David Nolen	David Nolen	Resolved	Completed	17/Nov/11	27/Nov/11
LOGIC-20	Switch conde style to use vectors instead of list	David Nolen	David Nolen	Resolved	Completed	17/Nov/11	27/Nov/11
LOGIC-32	Unification bug	David Nolen	David Nolen	Resolved	Completed	15/Mar/12	15/Mar/12
LOGIC-31	unifier is not commutative	David Nolen	Jens Bendisposto	Resolved	Completed	14/Mar/12	17/Mar/12
LOGIC-17	ClojureScript compatibility	David Nolen	David Nolen	Resolved	Completed	09/Oct/11	24/Mar/12
LOGIC-23	Locals not available in matche	David Nolen	Ryan Senior	Resolved	Completed	08/Dec/11	09/Dec/11
LOGIC-24	Suspected Regression from 0.6.5-0.6.6	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Resolved	Completed	23/Dec/11	10/Jan/12
LOGIC-27	runtime error when using ^:index	David Nolen	Jason Jackson	Resolved	Completed	15/Feb/12	13/May/12
LOGIC-54	Set unification does not operate symmetrically	David Nolen	Aaron Brooks	Resolved	Completed	21/Sep/12	27/Sep/12
LOGIC-55	Unification of sets allows for duplicate values leading to non-set-like behavior	David Nolen	Aaron Brooks	Resolved	Completed	21/Sep/12	27/Sep/12
LOGIC-56	Unification of sets does not consider all possibilities	David Nolen	Aaron Brooks	Resolved	Completed	21/Sep/12	27/Sep/12
LOGIC-37	The facts and retractions functions do not take the relation's namespace into account when resolving the index.	David Nolen	David Edgar Liebke	Resolved	Completed	03/May/12	27/Sep/12
LOGIC-46	Unification on Struct Maps Causes Error	David Nolen	Daniel Gregoire	Resolved	Completed	02/Aug/12	04/Oct/12
LOGIC-49	minimal map type for unifying only part of a map	David Nolen	David Nolen	Resolved	Completed	31/Aug/12	12/Oct/12
LOGIC-62	distincto bug	David Nolen	David Nolen	Resolved	Completed	25/Oct/12	26/Oct/12
LOGIC-60	Simple unification and partial-map support for ClojureScript	Paul deGrandis	Paul deGrandis	Resolved	Completed	25/Oct/12	26/Oct/12
LOGIC-57	poor performance when using tabling	David Nolen	David Nolen	Resolved	Completed	26/Sep/12	26/Oct/12
LOGIC-52	Bug in finite domains (+fd, infd)	David Nolen	naeg	Resolved	Completed	10/Sep/12	26/Oct/12
LOGIC-39	core.logic is inconsistent in how it handles nil and false	David Nolen	David Nolen	Resolved	Completed	17/May/12	26/Oct/12
LOGIC-63	Prep's use of metadata needs to be extended to other objects in ClojureScript	David Nolen	Paul deGrandis	Resolved	Completed	26/Oct/12	26/Oct/12
LOGIC-61	partial-map in ClojureScript does not correctly unify map members	David Nolen	Paul deGrandis	Resolved	Completed	25/Oct/12	26/Oct/12
LOGIC-67	match(e/a) in ClojureScript always creates free var	David Nolen	Thomas Karolski	Resolved	Completed	14/Nov/12	14/Nov/12
LOGIC-69	prep does not properly recurse terms	David Nolen	David Nolen	Resolved	Completed	19/Nov/12	21/Nov/12
LOGIC-72	Unification with partial-map fails when a map contains a map value with extra keys	David Nolen	Hugo Duncan	Resolved	Declined	22/Nov/12	23/Nov/12
LOGIC-73	Usage of c.c.l/prep can lead to a different result (compared to not using it)	David Nolen	Hugo Duncan	Resolved	Completed	23/Nov/12	23/Nov/12
LOGIC-75	Combining maps and finite domains in core.logic returns only one result	David Nolen	Frederik De Bleser	Resolved	Completed	11/Dec/12	12/Dec/12
LOGIC-58	make defrecord unification easier to adopt	David Nolen	David Nolen	Resolved	Completed	26/Sep/12	15/Dec/12
LOGIC-45	add everyo (?) when we want to apply a goal to every element of a sequence.	David Nolen	David Nolen	Resolved	Completed	31/Jul/12	15/Dec/12
LOGIC-81	predc constraint is not enforced when it could be	David Nolen	Nada Amin	Resolved	Completed	19/Dec/12	20/Dec/12
LOGIC-82	conso and seq, when unifying tail later	David Nolen	Nada Amin	Resolved	Completed	20/Dec/12	20/Dec/12
LOGIC-79	Setting finite domain on more than two lvars using domain fn throws UnsupportedOperationException	David Nolen	Frederik De Bleser	Resolved	Declined	18/Dec/12	20/Dec/12
LOGIC-85	another issue with predc constraint is not enforced when it could be	David Nolen	Nada Amin	Resolved	Completed	24/Dec/12	24/Dec/12
LOGIC-77	Finite-domain vars inside a vector crash when constrained.	David Nolen	Gary Fredericks	Resolved	Completed	15/Dec/12	24/Dec/12

1 2 3 Next >>

Displaying issues 1 to 50 of 137 matching issues.