root


Mode:

Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @62 [62] 07/26/10 00:33:08 thesz Сделал проверку ограничений на поля и (не) играемые роли.
(edit) @61 [61] 07/26/10 00:23:10 thesz Убрал throwError, сделал правильную инстанциацию ролей. Надо переходить к …
(edit) @60 [60] 07/26/10 00:11:40 thesz Сделал инстанциацию ролей.
(edit) @59 [59] 07/25/10 18:07:22 thesz Проба пера в BusC.
(edit) @58 [58] 07/24/10 21:15:19 thesz Приступил к созданию ролей.
(edit) @57 [57] 07/24/10 17:35:35 thesz Умеем создавать иерархию имён отношений.
(edit) @56 [56] 07/24/10 17:15:31 thesz Добавил прототипы функций, что создают и инстанцируют отношения.
(edit) @55 [55] 07/18/10 03:06:43 thesz Избавился от ненужного конструктора.
(edit) @54 [54] 07/18/10 02:58:33 thesz Сделал возможность описания алгебраических типов. Посмотрим, как ляжет.
(edit) @53 [53] 07/18/10 02:12:58 thesz Сделал создание объектов. На пути клонирование, удаление и связывание.
(edit) @52 [52] 07/10/10 23:47:38 thesz World creation in ORel. Going to Class creation.
(edit) @51 [51] 07/04/10 00:45:54 thesz Initial version of ORel
(edit) @50 [50] 06/12/10 23:21:05 thesz Draft of typed registers VM.
(edit) @49 [49] 06/09/10 00:50:04 thesz Added typed stack example.
(edit) @48 [48] 06/08/10 01:00:20 thesz I added some presentation about thinking and sport.
(edit) @47 [47] 03/11/10 21:41:57 thesz I added some sized expressions sample code.
(edit) @46 [46] 12/04/09 01:09:35 thesz Added C library implementing lazy lists in C.
(edit) @45 [45] 09/25/09 23:03:37 thesz Added entities, worked out translation to streams. Extended MIPS, now we …
(edit) @44 [44] 09/25/09 00:58:37 thesz Added separate Entities.hs where I will put various entities that cannot …
(edit) @43 [43] 09/23/09 02:12:49 thesz problem.hs has an approximate solution for strange type class problem I …
(edit) @42 [42] 09/23/09 01:16:37 thesz Added a distilled problem with ghc 6.10.1. Head to overcome that sloppy …
(edit) @41 [41] 09/21/09 01:26:56 thesz Added conditional expression translation, extended handling of MIPS …
(edit) @40 [40] 09/18/09 01:22:11 thesz another iteration over MIPS and transformation code.
(edit) @39 [39] 09/17/09 11:04:18 thesz Added an initial version of HHDL, Haskell Hardware definition Language.
(edit) @38 [38] 09/07/08 18:35:32 thesz Added experiment for computer vision at the end of source file. Also fixed …
(edit) @37 [37] 09/07/08 18:11:12 thesz Added translation versor and I put a more complete export list.
(edit) @36 [36] 09/07/08 17:56:05 thesz Fixed angle in cgaRotor.
(edit) @35 [35] 09/07/08 17:51:39 thesz And dot product seems to work properly. ;) I fixed some bugs in sign …
(edit) @34 [34] 09/07/08 01:45:18 thesz And dot product seems to work.
(edit) @33 [33] 09/06/08 18:12:33 thesz Added ConfGA.hs, _where_ wedge (outer) product does work.
(edit) @32 [32] 09/06/08 18:11:44 thesz Wedge (outer) products works.
(edit) @31 [31] 08/17/08 03:50:22 thesz Removed LANGUAGE pragma.
(edit) @30 [30] 08/16/08 19:26:32 thesz Committed a (seems to be) working version of expression manipularion …
(edit) @29 [29] 08/15/08 02:08:27 thesz initial version.
(edit) @28 [28] 08/07/08 19:07:39 thesz Added ArrDep?.hs, it will be renamed into ArrDF.hs immediately. We …
(edit) @27 [27] 08/05/08 02:47:04 thesz Now we reduce redundant inequalities so instead of x >= 3 and x >= 4 …
(edit) @26 [26] 08/02/08 18:16:22 thesz Fixed a type and started work on inequality constraint reduction.
(edit) @25 [25] 07/29/08 00:51:48 thesz Added license, usage and algorithm notes.
(edit) @24 [24] 07/27/08 00:25:57 thesz Added problem from Omega test paper. It is considered solvable by our …
(edit) @23 [23] 07/20/08 22:04:51 thesz Added tprob3 problem. And it works\!
(edit) @22 [22] 07/20/08 21:42:34 thesz Fixed a bug with tprob1. It seems that FM elimination doess work. Now we …
(edit) @21 [21] 07/20/08 20:02:07 thesz I wrote a Fourier-Motzkin implementation. It seem that there is a bug out …
(edit) @20 [20] 07/19/08 02:41:44 thesz IConstr miss tightening inequalities (reflected in error message) and …
(edit) @19 [19] 07/19/08 02:18:33 thesz OTest is put on hold. We go with IConstr.hs instead.
(edit) @18 [18] 07/13/08 02:15:36 thesz And we perform modHat transformation. Going to inequalities. I think that …
(edit) @17 [17] 07/12/08 23:37:03 thesz Now we exclude variables also from definitions.
(edit) @16 [16] 07/12/08 23:28:39 thesz OTest does all easy steps on equalities. Not tested.
(edit) @15 [15] 07/12/08 03:30:38 thesz OTest typechecks.
(edit) @14 [14] 07/12/08 03:20:22 thesz Little test is more friendly.
(edit) @13 [13] 07/12/08 03:16:28 thesz Described steps of Omega test. Also we have some code.
(edit) @12 [12] 07/12/08 01:31:33 thesz Removed unnecessary SP type.
(edit) @11 [11] 07/12/08 01:23:57 thesz A buggy and unconvenient fortran source code parser.
(edit) @10 [10] 07/04/08 03:04:46 thesz Added Makefile target 'demo'
(edit) @9 [9] 06/02/08 00:22:31 thesz Three different parser combinators libraries, each one with slightly more …
(edit) @8 [8] 04/02/08 02:29:53 thesz Presentation a little bit prettified even more.
(edit) @7 [7] 03/30/08 01:24:56 thesz Presentation a little bit prettified..
(edit) @6 [6] 03/29/08 03:03:49 thesz Added translated presentation about predecessors to that project.
(edit) @5 [5] 03/28/08 00:08:20 thesz A draft paper about ideas of the sorting dynamic dataflow machine.
(edit) @4 [4] 02/18/08 02:47:48 thesz Added script for conducting experiments. Added some experiments …
(edit) @3 [3] 02/16/08 15:17:09 thesz Fixed 'send back in time' bug in replicator.
(edit) @2 [2] 02/11/08 08:59:59 thesz Deleted unneccessary archive
(add) @1 [1] 02/10/08 23:58:19 thesz Initial commit
Note: See TracRevisionLog for help on using the revision log.