Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


LOGIC-184	requiring pldb issues warning about referring to indexed?	Unassigned	Michael Fogleman	Completed	Jul 17, 2017	Mar 6, 2018
LOGIC-167	Non-macro conjunction/disjunction functions	Unassigned	Alan Malloy	Completed	Feb 19, 2015	Mar 10, 2015
LOGIC-163	Namespace qualify pldb relations	Unassigned	Reid D McKenzie	Completed	Nov 9, 2014	Nov 12, 2014
LOGIC-161	fd/eq returns strange results	Unassigned	import	Completed	Oct 13, 2014	Oct 16, 2014
LOGIC-160	Disequality on pairs not respected	Unassigned	import	Completed	Jul 6, 2014	Jul 6, 2014
LOGIC-159	Weird behavior with negative-number domains	Unassigned	import	Declined	Jun 18, 2014	Jul 6, 2014
LOGIC-158	membero documentation does not describe arguments	Unassigned	import	Completed	May 30, 2014	Oct 15, 2014
LOGIC-155	Dynamic variables are not seen inside a logic query	Unassigned	import	Declined	Jan 28, 2014	Jul 6, 2014
LOGIC-152	Correct several unit tests	Unassigned	Andy Fingerhut	Completed	Dec 23, 2013	Dec 30, 2013
LOGIC-151	partitiono in c.c.logic.bench is emitting calls to 1-ary version of partition	Unassigned	Nicola Mometto	Completed	Dec 15, 2013	Dec 20, 2013
LOGIC-150	deftest test-root-1 in namespace clojure.core.logic.tests missing 'is'?	Unassigned	Andy Fingerhut	Completed	Dec 15, 2013	Dec 20, 2013
LOGIC-149	pair used in fd namespace	Unassigned	David Nolen	Completed	Dec 12, 2013	Jul 6, 2014
LOGIC-148	-jonc protocol to support conjo	Unassigned	David Nolen	Completed	Dec 3, 2013	Dec 4, 2013
LOGIC-147	polymorphic conjo constraint	Unassigned	David Nolen	Completed	Dec 3, 2013	Dec 3, 2013
LOGIC-145	partial-map bug	Unassigned	David Nolen	Completed	Nov 26, 2013	Nov 26, 2013
LOGIC-143	bring pldb into core.logic	Unassigned	Norman Richards	Completed	Oct 6, 2013	Oct 15, 2013
LOGIC-139	to-stream fails on constraints	Unassigned	Norman Richards	Completed	Jun 23, 2013	Jul 28, 2013
LOGIC-137	OOM when setting (interval 1 2) for 20 logic vars	Unassigned	gfredericks	Completed	May 11, 2013	Jul 28, 2013
LOGIC-135	membero should be updated to use disequality constraints	Unassigned	Austin Haas	Completed	May 7, 2013	Jul 28, 2013
LOGIC-134	Historic artifacts in the implementation of Choice prevent take* from being generally usable.	Unassigned	Austin Haas	Completed	May 7, 2013	Jul 28, 2013
LOGIC-132	"PMap is non-storable" exception when using featurec with nested feature map.	Unassigned	import	Completed	Apr 26, 2013	Jul 28, 2013
LOGIC-131	Docstrings for lvaro and nonlvaro need improvement.	Unassigned	Austin Haas	Completed	Apr 22, 2013	Jul 28, 2013
LOGIC-127	Swapping noms turns maps (and other collections) into seqs	Unassigned	Jirka Maršík	Completed	Apr 2, 2013	Jul 28, 2013
LOGIC-126	fd/* and fd/+ interaction bug	Unassigned	David Nolen	Completed	Mar 28, 2013	Jul 28, 2013
LOGIC-125	Using membero with a vector as an element	Unassigned	Matthew Smith	Completed	Mar 25, 2013	Jul 28, 2013
LOGIC-124	Order of args to fd/!= changes results (gives incorrect answer)	Unassigned	Ryan Senior	Completed	Mar 24, 2013	Jul 28, 2013
LOGIC-122	Subpattern {?x (?y ?y)} fails to unify	Unassigned	Jonas Enlund	Completed	Mar 15, 2013	Jul 28, 2013
LOGIC-121	Unifier fails on some nested forms	Unassigned	Jonas Enlund	Completed	Mar 14, 2013	Jul 28, 2013
LOGIC-120	(unify '[?x 1]) throws IllegalArgumentException	Unassigned	Jonas Enlund	Completed	Mar 14, 2013	Jul 28, 2013
LOGIC-118	prep does not make lvar of ?x if ?x is in a vector	Unassigned	Jonas Enlund	Completed	Mar 11, 2013	Nov 24, 2014
LOGIC-116	ClassCastException in core.logic depending on ordering	Unassigned	Matthew Smith	Completed	Mar 8, 2013	Jul 28, 2013
LOGIC-115	fd/interval with (== lb ub) fails	Unassigned	Herwig Hochleitner	Completed	Feb 19, 2013	Jul 28, 2013
LOGIC-113	A conde clause that beings with a fresh expression will initially fail	Unassigned	Austin Haas	Declined	Feb 13, 2013	Jul 28, 2013
LOGIC-112	Incorrect results with tabled resolution	Unassigned	import	Completed	Feb 5, 2013	Jul 28, 2013
LOGIC-111	conda expression that no longer works in rc2	Unassigned	David Nolen	Completed	Feb 4, 2013	Jul 28, 2013
LOGIC-110	Allow anonymous constraints	Unassigned	Kevin Lynagh	Completed	Feb 4, 2013	Jul 28, 2013
LOGIC-109	custom defc constraint does not run	Unassigned	Kevin Downey	Completed	Jan 28, 2013	Jul 28, 2013
LOGIC-108	featurec or something similar to provide recursive partial partial map constraints	Unassigned	Kevin Downey	Completed	Jan 24, 2013	Jul 28, 2013
LOGIC-107	Less dependencies for non-dev environments?	Unassigned	Jeroen van Dijk	Completed	Jan 22, 2013	Jul 28, 2013
LOGIC-106	cannot use fresh/conde in the invoke of a constraint	Unassigned	Nada Amin	Completed	Jan 20, 2013	Jul 28, 2013
LOGIC-105	java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId	Unassigned	import	Declined	Jan 17, 2013	Jul 28, 2013
LOGIC-104	-merge-doms for ::nom is not closed under composition	Unassigned	Nada Amin	Completed	Jan 11, 2013	Jul 28, 2013
LOGIC-103	another non-termination case with CLP(FD)	Unassigned	David Nolen	Completed	Jan 10, 2013	Jul 28, 2013
LOGIC-102	generalize the notion of hash for robustness	Unassigned	Nada Amin	Completed	Jan 7, 2013	Jul 28, 2013
LOGIC-101	nom/hash and variable noms	Unassigned	Nada Amin	Completed	Jan 7, 2013	Jul 28, 2013
LOGIC-100	pruning of unsatisfiable non-ground disequalities	Unassigned	Nada Amin	Completed	Jan 7, 2013	Jul 28, 2013
LOGIC-98	nominal unification misses after-the-fact fd constraints	Unassigned	Nada Amin	Completed	Jan 5, 2013	Jul 28, 2013
LOGIC-97	disequality pruning	Unassigned	Nada Amin	Completed	Jan 4, 2013	Jul 28, 2013
LOGIC-95	disequality	Unassigned	Nada Amin	Completed	Jan 4, 2013	Jul 28, 2013
LOGIC-94	nominal, spurious nil	Unassigned	David Nolen	Declined	Jan 3, 2013	Jul 28, 2013

1-50 of 130

Filters

Issues