2010-01-15 Anton Orlov <orlov@mccme.ru>
* Tests/nock.xsg:
- Nock interpreter (see
http://moronlab.blogspot.com/2010/01/nock-maxwells-equations-of-software.html).
* Tests/nock.xsg:
New file.
2009-02-20 Anton Orlov <orlov@mccme.ru>
* Gener.hs, PPT.hs, Parser/Parser.hs, Tests/test-gener.hs,
Tests/test.hs, Tests/test.xsg, URA.hs, XSG.hs:
- Nothing have been changed! Just update files on
http://botik.ru/~xsg/
2009-01-24 Yuri Klimov <klimov@revenge>
* PPT.hs, XSG.hs:
- Fair needs: take vars from both side of clash
2009-01-12 Yuri Klimov <klimov@revenge>
* Tests/test.xsg:
- Drive - Task from Andrei Nemytykh
2008-07-28 Anton Orlov <orlov@mccme.ru>
* Tests/test.xsg:
- fish puzzle
2008-06-26 Yuri Klimov <klimov@revenge>
* Tests/prelude.xsg: *** empty log message ***
* Tests/prelude.xsg:
- Some functions (combs, and, hang)
2008-06-25 Yuri Klimov <klimov@revenge>
* Tests/prelude.xsg:
- Prelude file for UGP summer school
* Tests/prelude.xsg:
New file.
* Tests/test-mgu.xsg, Tests/test.xsg:
- \! -> \?
2008-06-25 Anton Orlov <orlov@mccme.ru>
* Tests/test.xsg:
- flock of geese
2008-06-24 Anton Orlov <orlov@mccme.ru>
* Tests/test.hs: *** empty log message ***
2008-06-24 Yuri Klimov <klimov@revenge>
* Tests/ghc, Tests/ghc.bat, Tests/test.hs:
- Renaming executing file: test.exe -> xsg.exe.
2008-06-23 Yuri Klimov <klimov@revenge>
* Tests/test.xsg:
- Sequence
(http://people.csail.mit.edu/namin/bits/reasoned-schemer/sequence-program.scm.html)
2008-06-22 Yuri Klimov <klimov@revenge>
* Parser/.cvsignore, Tests/.cvsignore:
- cvsignore.
* Parser/.cvsignore, Tests/.cvsignore:
New file.
* Tests/ghc.bat, Tests/ghci.bat, Tests/hugs.bat:
- bat files for windows.
* Tests/test.hs:
- Work with ghci
* Tests/test.hs:
- test function prints result without quotes.
* Tests/ghci, Tests/hugs:
- ghci
- Hugs also works.
* PPT.hs:
- filter answers with Y-vars
* Tests/ghc, Tests/test.hs, PPT.hs, Parser/Parser.hs,
Parser/UU_Offside.hs, Parser/UU_Parsing.hs, URA.hs, XSG.hs:
- Version for GHC 6.8.2
2007-04-24 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs, Tests/test.xsg:
Y-vars branch in each function body
2006-12-26 Yuri Klimov <klimov@revenge>
* readme: no message
2006-06-30 Yuri Klimov <klimov@revenge>
* .cvsignore: *** empty log message ***
2006-01-24 Yuri Klimov <klimov@revenge>
* Tests/prime.xls.zip:
IsNotPrime (?) test results
* Tests/prime.xls.zip:
New file.
2005-09-09 Yuri Klimov <klimov@revenge>
* Tests/test.xsg:
Прочитал
http://www.livejournal.com/community/ru_declarative/19865.html
и написал combs на XSG (порождение всех С_n^k перестановок).
Может там рекламную компанию провести?
http://www.livejournal.com/community/ru_declarative/19109.html
2005-08-10 Anton Orlov <orlov@mccme.ru>
* Tests/test.xsg:
- Brainfuck: added inputs and bf_int function to directly call
interpretator.
* Tests/test.xsg:
- Brainfuck language interpretator by Andrei.
2005-08-07 Andrei Mishchenko <mishchenko@revenge>
* Tests/test.xsg:
`zip3` refactored. bug fix in `cycle`
2005-08-07 Yuri Klimov <klimov@revenge>
* Tests/test.xsg:
zip3
* Tests/test.xsg:
cyclic zip - zip2 & test7
2005-08-02 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs, XSG.hs, Tests/test-gener.hs, Tests/test.hs,
Tests/test.xsg:
Changes from Andrei: Y var, !, ?, @
2005-07-31 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs, Tests/test-gener.hs:
New Gener (and little changes at PPT and XSG). Now it works!
But does not support clashes.
* Tests/test-gener.hs:
New file.
* Gener.hs, PPT.hs, XSG.hs:
New Gener (and little changes at PPT and XSG). Now it works!
But does not support clashes.
* Tests/test-mgu.xsg:
File from lecture at MGU
* Tests/test-mgu.xsg:
New file.
2004-12-03 art <art@revenge>
* Tests/a:
test: do I have write permission?
2004-11-21 Andrei Mishchenko <mishchenko@revenge>
* Tests/test.xsg:
try sl_test1,2,3
2004-11-17 Andrei Mishchenko <mishchenko@revenge>
* Tests/test.xsg:
some more tests
* Tests/test.xsg: no message
* Tests/test.xsg:
ura show = parse
2004-11-15 Yuri Klimov <klimov@revenge>
* Tests/ghc.bat, Tests/ghci.bat:
Path was changed
2004-11-09 Yuri Klimov <klimov@revenge>
* XSG.hs:
Eq Exp, оказывается, никому не нужно...
2004-11-08 Yuri Klimov <klimov@revenge>
* PPT.hs, Tests/test.hs, URA.hs, XSG.hs:
Very small changes
* PPT.hs, XSG.hs:
Оказывается, Index нужен не слишком часто. В PPT я заменил
newIndex на его увеличение (+1) - стало работать быстрее.
2004-11-07 Yuri Klimov <klimov@revenge>
* PPT.hs, URA.hs, XSG.hs:
Упростил Renum. Кстати, renaming'у не нужен Index?
2004-11-06 Yuri Klimov <klimov@revenge>
* Tests/test.xsg:
Сравните:
takeAt' length !xs (concat xs cons !y !ys), y
elemIndices !y (concat !xs cons y !ys), length xs
* Tests/test.xsg:
New functions and examples.
* Tests/ghci: *** empty log message ***
* Tests/ghci, Tests/ghci.bat:
New file.
* Tests/ghci.bat, Tests/test.hs: no message
* PPT.hs, Parser/Parser.hs, Tests/test.hs, URA.hs, XSG.hs:
Another show (showsPrec -> Show).
* Tests/test.xsg:
New example: isNotPrime.
2004-11-05 Yuri Klimov <klimov@revenge>
* XSG.hs:
Better printing.
* PPT.hs: no message
* Parser/Parser.hs, XSG.hs:
Упрощена функция uncompile. Кстати, какие функции и с каким
типом должен экспортировать Parser.hs?
* Parser/Parser.hs, Tests/test.hs: no message
* Tests/test.hs:
New main!
* Tests/ghc, Tests/hugs: *** empty log message ***
* Tests/ghc, Tests/hugs:
New file.
* Parser/Parser.hs, XSG.hs: no message
* Parser/test.xsg:
Moved to Tests.
* Tests/ghc.bat, Tests/hugs.bat, Tests/test.hs, Tests/test.xsg:
New file.
* Tests/ghc.bat, Tests/hugs.bat, Tests/test.hs, Tests/test.xsg:
Parser and XSG tests.
* Parser/Parser.hs, XSG.hs:
Rewriting parser.hs. Compiler understands brackets.
2004-11-04 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs:
Small changes in compiler.
2004-10-24 Andrei Mishchenko <mishchenko@revenge>
* Parser/test.xsg: *** empty log message ***
2004-10-24 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs:
Less monads ;) but correct. Prev version passes SymbolTable
from one branch to another.
* Parser/Parser.hs:
Что-то меня потянуло в эти монады ;). Вот еще немного
изменений - промежуточный вариант (часть проверок отключена).
2004-10-23 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs: no message
* Parser/Parser.hs:
More monads.
* PPT.hs, Parser/Parser.hs: no message
2004-10-23 Andrei Mishchenko <mishchenko@revenge>
* XSG.hs:
afasd
* Parser/Parser.hs:
nil0 repaired!
2004-10-23 Yuri Klimov <klimov@revenge>
* Parser/test.xsg:
Not working function "nil0" is added.
2004-10-22 Yuri Klimov <klimov@revenge>
* Parser/test.xsg: no message
2004-10-22 Andrei Mishchenko <mishchenko@revenge>
* Parser/test.xsg:
more tests: test3,4,5
2004-10-22 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs, XSG.hs: no message
* Parser/Parser.hs, URA.hs, XSG.hs:
Better (I think) prining.
* PPT.hs, Parser/Parser.hs, URA.hs:
Index had added to ura, ppt, int.
* PPT.hs, URA.hs, XSG.hs: no message
* Gener.hs, PPT.hs, Parser/Parser.hs, Parser/test.xsg, URA.hs,
XSG.hs:
"vim:" is added
* URA.hs, XSG.hs:
URA corrected: were X-vars.
* Parser/Parser.hs, PPT.hs, URA.hs, XSG.hs:
Some code reformating.
* Parser/Parser.hs:
More monads.
* Parser/Parser.hs, Parser/test.xsg, XSG.hs:
Andrei's printing.
* Parser/test.xsg:
Как лучше: _2, I I 0 или _2, I _1? Ответ: (14780564
reductions, 29128001 cells, 375 garbage collections) и
(24294664 reductions, 47874614 cells, 893 garbage
collections).
2004-10-21 Andrei Mishchenko <mishchenko@revenge>
* Parser/test.xsg:
other sample xsg functions
* Parser/test.xsg: *** empty log message ***
2004-10-21 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs: no message
2004-10-21 Andrei Mishchenko <mishchenko@revenge>
* Parser/Parser.hs, Parser/test.xsg:
Bug?! cant generate a cycle and uncompile works wrong too...
2004-10-21 Yuri Klimov <klimov@revenge>
* PPT.hs, Parser/test.xsg:
A little better than Anton's variant.
2004-10-20 Anton Orlov <orlov@mccme.ru>
* PPT.hs:
Fixed substituion of a result.
2004-10-20 Yuri Klimov <klimov@revenge>
* Parser/Parser.hs:
Some monads...
* PPT.hs, Parser/Parser.hs, Parser/test.xsg, URA.hs, XSG.hs:
Big changes: State = Branch = (Cond, Terms, Exps). Going to
rewrite parser in monadic style.
2004-10-17 Yuri Klimov <klimov@revenge>
* PPT.hs, Parser/Parser.hs, Tests4.hs, URA.hs, XSG.hs:
Пытаюсь разделить внешнее и внутреннее представление. Теперь,
в частости, во внутреннем представлении все констукторы должны
быть пронумерованы.
* Parser/Parser.hs, Tests4.hs, URA.hs, XSG.hs:
Replace [] with initIdx, XSG.C -> XSG.c, XSG.VAR -> XSG.v2e.
* XSG.hs: no message
2004-10-16 Yuri Klimov <klimov@revenge>
* PPT.hs, Parser/Parser.hs, Parser/test.xsg, URA.hs, XSG.hs:
No more Conf and Class, only State and Exps.
2004-10-15 Yuri Klimov <klimov@revenge>
* PPT.hs, Tests4.hs, URA.hs, XSG.hs: no message
* Tests4.hs:
Moved to Positive
* Parser/Parser.hs, Parser/test.xsg:
New file.
* Parser/Parser.hs, Parser/test.xsg: no message
2004-10-13 Yuri Klimov <klimov@revenge>
* PPT.hs, Tests4.hs, URA.hs, XSG.hs:
Files from unofficial XSG CVS on Xenon. New W-vars are added.
Now programs like "split xs, xs :=: concat ys zs, ys zs."
working right! Parser comes soon.
2004-10-01 Yuri Klimov <klimov@revenge>
* Tests4.hs: no message
2004-06-11 Yuri Klimov <klimov@revenge>
* Tests4.hs, URA.hs, PPT.hs: no message
* Tests4.hs: *** empty log message ***
2004-05-28 Yuri Klimov <klimov@revenge>
* URA.hs, INT.hs, Tests4.hs, PPT.hs, XSG.hs: no message
2004-04-07 Yuri Klimov <klimov@revenge>
* PPT.hs, Tests4.hs, XSG.hs:
Работающая версия PPT без неравенств.
* PPT.hs, XSG.hs: no message
2004-03-31 Yuri Klimov <klimov@revenge>
* PPT.hs, XSG.hs, Tests3.hs: no message
* PPT.hs:
New branch Positive
2004-03-31 Anton Orlov <orlov@mccme.ru>
* XSG.hs, Parser/Parse-Tests.hs, Parser/Parse.hs,
Parser/StateParser.hs, Parser/Tests.txt, Parser/UU_BinaryTrees.hs,
Parser/UU_Offside.hs, Parser/UU_Parsing.hs, Parser/UU_Scanner.hs,
Gener.hs, INT.hs, Needs.hs, PPT.hs, Tests.hs, Tests2.hs, URA.hs,
fish.hs:
- Files have been converted to unix format.
2004-01-07 Yuri Klimov <klimov@revenge>
* PPT.hs, Tests2.hs, URA.hs: no message
2004-01-03 Yuri Klimov <klimov@revenge>
* Tests2.hs: no message
2004-01-03 Anton Orlov <orlov@mccme.ru>
* URA.hs, INT.hs, Needs.hs, Tests2.hs, XSG.hs:
*** empty log message ***
2004-01-01 Yuri Klimov <klimov@revenge>
* PPT.hs, URA.hs, XSG.hs: no message