Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Git Log


Commit Date  
[bb9b11] (HEADmaster) by Utz-Uwe Haus Utz-Uwe Haus

Fix monotone-ieq-oracle

It was using > instead of >= all along!

Signed-off-by: Utz-Uwe Haus <uuh@users.sf.net>

2013-07-19 14:46:56 Tree
[ef8d80] by Utz-Uwe Haus Utz-Uwe Haus

add clause->int/lsb and clause->int/msb functions

2013-06-27 14:57:10 Tree
[87d1ad] by Utz-Uwe Haus Utz-Uwe Haus

fix typo in sequence->clause/msb that lead to infinite recursion

2013-06-25 07:56:22 Tree
[acad27] (release-2013-04-30) by Utz-Uwe Haus Utz-Uwe Haus

Prepare for new release

add missing files for distribution
update wrt. new sourceforge site structure

Signed-off-by: Utz-Uwe Haus <uuh@users.sf.net>

2013-04-30 14:39:39 Tree
[bfb92c] by Utz-Uwe Haus Utz-Uwe Haus

Fix documentation generation script

Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>

2012-07-10 11:56:39 Tree
[f5e148] by Utz-Uwe Haus Utz-Uwe Haus

implement #:monotone-ieq-oracle #:make-monotone-ieq-oracle

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2011-09-08 12:31:27 Tree
[11f5bd] by Utz-Uwe Haus Utz-Uwe Haus

fix typo in documentation

2011-09-08 12:31:12 Tree
[629872] by Utz-Uwe Haus Utz-Uwe Haus

make-and-clause: new

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-07-23 09:52:16 Tree
[21821c] by Utz-Uwe Haus Utz-Uwe Haus

make-xor-clause: New

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-06-29 09:25:24 Tree
[98f4d4] by Utz-Uwe Haus Utz-Uwe Haus

improve print-object method for clutters

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-06-29 09:25:10 Tree
[bb6189] by Utz-Uwe Haus Utz-Uwe Haus

Avoid unwind-protect in query-oracle

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-02-17 19:10:18 Tree
[8affe9] by Utz-Uwe Haus Utz-Uwe Haus

Avoid use of trivial mask fo clause-subsumes checks in t-frequent set oracle

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-02-17 19:09:40 Tree
[2f2fcc] by Utz-Uwe Haus Utz-Uwe Haus

Implement minimize/maximize-clause for t-frequent-set oracle

Necessary for better performance of FMI code

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-01-19 21:31:28 Tree
[ee5698] by Utz-Uwe Haus Utz-Uwe Haus

Improve clause-contains and add clause-contains/mask on SBCL

Mainly for use in o-tfreq.lisp for now

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2010-01-19 21:30:43 Tree
[39f34c] by Utz-Uwe Haus Utz-Uwe Haus

Export t-frequent-set oracle constructor and type

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-09-04 09:11:37 Tree
[39ce50] by Utz-Uwe Haus Utz-Uwe Haus

Revert "Add t1-frequent/t2-infrequent oracle code"

This reverts commit 8afc61c617998c9b2dfc740a5ab34c1e09c1da3c.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-09-04 09:11:24 Tree
[a5dcd7] by Utz-Uwe Haus Utz-Uwe Haus

Add explanation to o-tfreq oracle code

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-09-04 09:11:07 Tree
[262bf1] by Utz-Uwe Haus Utz-Uwe Haus

Add t1-frequent/t2-infrequent oracle code

Re-uses t-frequent code which now returns the actual number of hits.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-09-04 09:10:53 Tree
[70a039] by Utz-Uwe Haus Utz-Uwe Haus

Use vector-based clause storage in hypergraph oracle.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-07-14 11:07:10 Tree
[7864c8] by Utz-Uwe Haus Utz-Uwe Haus

Minor speedups in clause-subsumes/clause-subsumed

Specialized variants that directly work on vectors of clauses, avoiding consing,
for toplevel checks: No harm on small instances, and speeds up checks when
trying to insert randomly generated vectors and large instances.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-07-14 09:48:10 Tree
[8801ff] by Utz-Uwe Haus Utz-Uwe Haus

Export get-num-oracle calls

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-07-14 09:47:23 Tree
[6d97a7] by Utz-Uwe Haus Utz-Uwe Haus

Factor out check-duality-recursion

This makes it easier to poke into the jg-tree for other purposes and unclutters
check-duality-helper.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-07-14 09:46:35 Tree
[875d55] by Utz-Uwe Haus Utz-Uwe Haus

Fix examples generatetion code.

Remove fimi from default test instances as we cannot depend on finding the instance
files after a compile without a major headache.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-07-14 09:46:08 Tree
[b9a5c1] by Utz-Uwe Haus Utz-Uwe Haus

Fix setf-function for clause-ref

Strange argument order conflict on SBCL. This version is cleaner anyway.

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-06-12 20:01:19 Tree
[bb503a] by Utz-Uwe Haus Utz-Uwe Haus

Allow optional destination clause for copy-clause-deep

Signed-off-by: Utz-Uwe Haus <uuh@sf.net>

2009-06-12 20:00:49 Tree
Older >