SourceForge has been redesigned. Learn more.


Commit Date  
[r1813] by lukaszkaiser

Constants support in structures and solver.

2012-12-09 00:40:04 Tree
[r1812] by lukaszkaiser

Tests for reduction finding.

2012-12-05 23:22:53 Tree
[r1811] by lukaszkaiser

Moving reductions to their own module.

2012-12-04 23:27:06 Tree
[r1810] by lukaszkaiser

Adding constants to formulas.

2012-12-03 23:40:47 Tree
[r1809] by lukaszkaiser

Debugging reduction finding.

2012-11-30 00:03:09 Tree
[r1808] by lukaszkaiser

Bash interface to reduction finding.

2012-11-28 23:04:20 Tree
[r1807] by lukaszkaiser

More reduction finding work.

2012-11-26 19:12:50 Tree
[r1806] by lukaszkaiser

Debugging reduction finder.

2012-11-20 23:37:14 Tree
[r1805] by lukaszkaiser

Reduction finder interface work, export functions and other small corrections.

2012-11-19 22:50:14 Tree
[r1804] by lukaszkaiser

Correcting the 2QBF -> lparse translation; still works for DNF only.

2012-11-10 19:40:03 Tree
[r1803] by lukaszkaiser

JS interface to camera and Picture ml (canny).

2012-11-08 21:51:08 Tree
[r1802] by lukaszkaiser

Distinguishing structures by formulas - correction.

2012-11-07 20:21:51 Tree
[r1801] by lukaszkaiser

More options to distinguish structures by formulas.

2012-11-07 19:22:43 Tree
[r1800] by lukstafi

Matrix and Picture: removing dependency on Bigarray and Graphics, minor optimizations.

2012-11-04 16:59:05 Tree
[r1799] by lukstafi

Canny with extending edges. Edge-delimited regions.

2012-11-02 14:25:58 Tree
[r1798] by lukstafi

Integers as elements of matrix literals. Canny algorithm two variants.

2012-11-01 01:35:09 Tree
[r1797] by lukstafi

Integers as elements of matrix literals. Canny algorithm two variants.

2012-11-01 01:33:14 Tree
[r1796] by lukstafi

Matrix building syntax. Matrix fold. Image convolution. Sobel operator test.

2012-10-30 23:58:45 Tree
[r1795] by lukaszkaiser

Basic interface to distinguishing formulas.

2012-10-30 22:47:50 Tree
[r1794] by lukaszkaiser

Build system corrections.

2012-10-29 21:57:54 Tree
[r1793] by lukstafi

Matrix syntax and operations: files missing in last commit.

2012-10-29 21:34:11 Tree
[r1792] by lukstafi

Vision directory for matrix and vision-related code. Matrix operations with Bigarray hidden behind interface. Syntax extension for matrices. Brightness (color-to-monochrome).

2012-10-29 20:34:35 Tree
[r1791] by lukstafi

Term: warning when input rewrite rule type is more general than both the LHS and the RHS types.

2012-10-27 11:05:52 Tree
[r1790] by lukaszkaiser

Changing binary 0 and 1 to special in term arithmetics, improving term interface, resurrecting Picture ml.

2012-10-26 17:29:50 Tree
[r1789] by lukaszkaiser

First JS interface to Term functions.

2012-10-24 20:30:27 Tree
Older >