Issue Navigator - Clojure JIRA

Click to open or close

You are currently using a new, unsaved search.

Summary

Project: core.logic

Resolutions: Unresolved

Sorted by: Updated descending

Operations

Save it as a filter

Displaying issues 1 to 28 of 28 matching issues.

Key	Summary	Assignee	Reporter	Status	Resolution	Created	Updated
LOGIC-48	fd/in should provide a default domain if none specified	David Nolen	David Nolen	Open	Unresolved	30/Aug/12	17/May/13
LOGIC-80	add fne, anonymous version of defne	David Nolen	David Nolen	Open	Unresolved	18/Dec/12	17/May/13
LOGIC-137	OOM when setting (interval 1 2) for 20 logic vars	David Nolen	Gary Fredericks	Open	Unresolved	11/May/13	11/May/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-133	Add label goal	David Nolen	David Nolen	Open	Unresolved	29/Apr/13	29/Apr/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	04/Apr/13
LOGIC-128	add mod/rem/abs/min/max	David Nolen	David Nolen	Open	Unresolved	02/Apr/13	02/Apr/13
LOGIC-123	Allow unification with sequential in both directions	David Nolen	Mike Anderson	Open	Unresolved	23/Mar/13	26/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-114	stack overflow with conda/u	David Nolen	Austin Haas	Open	Unresolved	14/Feb/13	17/Mar/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-44	ex* could expand macros in patterns	David Nolen	Joe Osborn	Open	Unresolved	19/Jul/12	17/Mar/13
LOGIC-28	defrel cannot be called inside function	David Nolen	Jason Jackson	Open	Unresolved	15/Feb/12	17/Mar/13
LOGIC-26	Generate a better error when adding facts for arities that do not exist	David Nolen	David Nolen	Open	Unresolved	23/Jan/12	17/Mar/13
LOGIC-30	Add persistent memory tables	David Nolen	Brian Goslinga	Open	Unresolved	09/Mar/12	17/Mar/13
LOGIC-70	support for defaults in the simple unifier	David Nolen	David Nolen	Open	Unresolved	19/Nov/12	17/Mar/13
LOGIC-86	make `defc` more useful	David Nolen	David Nolen	Open	Unresolved	26/Dec/12	17/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-119	tie disequality	David Nolen	Nada Amin	Open	Unresolved	12/Mar/13	12/Mar/13
LOGIC-68	add Prolog meta-logical predicates bagof, setof, findall	David Nolen	David Nolen	Open	Unresolved	16/Nov/12	13/Feb/13
LOGIC-99	StackOverflow for large `appendo`	David Nolen	David Nolen	In Progress	Unresolved	05/Jan/13	07/Jan/13
LOGIC-89	Allow application again in pattern matches	David Nolen	David Nolen	Open	Unresolved	01/Jan/13	07/Jan/13
LOGIC-35	Core.logic equivalent of multimethods	David Nolen	Gabriel Pickard	Open	Unresolved	02/Apr/12	28/Dec/12
LOGIC-87	Decomplect the narrowing of the constraint space from the search order	David Nolen	Jamie Brandon	Open	Unresolved	27/Dec/12	28/Dec/12
LOGIC-47	is macro needs to be improved	David Nolen	David Nolen	Open	Unresolved	30/Aug/12	30/Aug/12
LOGIC-43	LVar should print readably	David Nolen	Alan Malloy	Open	Unresolved	05/Jul/12	05/Jul/12
LOGIC-38	Logic Threading Macro	David Nolen	Jason Jackson	Open	Unresolved	13/May/12	13/May/12

Displaying issues 1 to 28 of 28 matching issues.