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