SVN Log


Commit Date  
[r1788] by lukaszkaiser

Printing Boolean formulas in varoius formats, updating news and scope in www.

2012-10-21 21:33:43 Tree
[r1787] by lukaszkaiser

More work on Diagrams and SAT.

2012-10-06 02:45:33 Tree
[r1786] by lukaszkaiser

Reduction work and Diagram shapes.

2012-10-04 17:39:58 Tree
[r1785] by lukaszkaiser

Reduction finding work, moving some things to Solver.

2012-10-02 11:20:33 Tree
[r1784] by lukaszkaiser

Separating reductions from structure explorer, debugging.

2012-09-28 21:54:00 Tree
[r1783] by lukstafi

New Speagram: GLB operator parsing bug fix; report error when GLB does not exist during normalisation (alternative solution: return exception).

2012-09-26 22:31:01 Tree
[r1782] by lukaszkaiser

More experiments with Diagram and SAT.

2012-09-25 23:34:37 Tree
[r1781] by lukstafi

New Speagram: better printing of hierarchical terms by using GLB notation, accurate although not semantically correct after assignment.

2012-09-25 22:16:31 Tree
[r1780] by lukstafi

New Speagram: rule inheritance bug fix; assignment of supertype in substituted term.

2012-09-25 11:42:46 Tree
[r1779] by lukstafi

New Speagram: removing sharp-sharp-sharp preprocessing and a rule inheritance bug fix.

2012-09-24 14:34:18 Tree
[r1778] by lukstafi

New Speagram: exposed GLB; rewrite rule inheritance; hierarchical terms test; changes to declaration syntax sugar.

2012-09-24 08:04:33 Tree
[r1777] by lukaszkaiser

Removing MSO assignments, merging AssingmentSet with Assignments.

2012-09-23 21:59:39 Tree
[r1776] by lukstafi

New Speagram: rewrite rules inheritance.

2012-09-22 09:57:39 Tree
[r1775] by lukstafi

New Speagram isa-match rewriting: principled built-in comparison.

2012-09-20 16:13:15 Tree
[r1774] by lukstafi

New Speagram: moving rewriting to isa_match and assorted bug fixes.

2012-09-19 16:38:54 Tree
[r1773] by lukaszkaiser

Removing MSO variable variant and 'x in X' syntax, adjusting tests and files.

2012-09-17 16:23:53 Tree
[r1772] by lukaszkaiser

More work on sat with Diagram, including the force heuristic for variable ordering (turned off by default for now, as it only speeds up some cases).

2012-09-15 21:10:51 Tree
[r1771] by lukstafi

Speagram minor debugging changes.

2012-09-12 17:33:04 Tree
[r1770] by lukstafi

Speagram: test fixes (memoisation not culprit).

2012-09-12 17:10:19 Tree
[r1769] by lukstafi

Speagram: fixed associativity in arithmetics, fixes in tests. Remaining: memoisation.

2012-09-12 16:07:36 Tree
[r1768] by lukstafi

Speagram: introducing 'let ground ... be ...' rules that match only ground terms. Fixes to lib/arithmetics.trs and tests/sasha_basic.trs

2012-09-11 13:58:22 Tree
[r1767] by lukstafi

New Speagram step 6: tests, remaining: problems with rewriting. Occurs check for type variable bounds. Printing of parentheses when necessary.

2012-09-08 16:12:11 Tree
[r1766] by lukstafi

New Speagram step 6: test trs files. Not rewriting types (will be handled by isa_match). Small fixes in rewriting. Refined disambiguation. Better function types and level indicators handling. Regression: memoisation does not work.

2012-09-05 05:39:58 Tree
[r1765] by lukaszkaiser

Testing for the sat-solver, proof that I do not understand VSIDS even in the first step (but why?).

2012-09-04 23:31:00 Tree
[r1764] by lukstafi

New Speagram step 6: library.

2012-09-02 14:15:03 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks