Commit Graph

23 Commits (da5abebcc8691feacb2df84afe6ce46f871a3104)

Author SHA1 Message Date
Slava Pestov 60290fbf52 Fix littledan bug #2 2008-01-31 00:49:18 -06:00
Slava Pestov b36ab0b048 Optimization 2008-01-17 17:55:51 -05:00
Slava Pestov 554a0d3877 Documentation updates 2008-01-11 03:32:25 -05:00
Slava Pestov 542b85889d Fix unit tests 2008-01-09 19:13:26 -05:00
Slava Pestov c8360f5ae5 Rename curry* to with 2008-01-09 17:36:30 -05:00
Slava Pestov ed29e2e5aa Notify definition-observers when words are forgotten 2008-01-09 17:51:55 -04:00
Slava Pestov 07e5441b14 Definition protocol cleanup 2008-01-06 12:13:44 -04:00
Slava Pestov b7327b6228 Redo the profiler 2008-01-02 20:36:36 -04:00
Slava Pestov 64b06f059a Unit test fixes 2007-12-30 17:14:15 -05:00
Slava Pestov 9c1454ef68 Rename real/imaginary slots of complex to real-part/imaginary-part to avoid clashing with the real class word; fix bug where redefining a generic as a class leaves the word in a weird state 2007-12-27 17:26:39 -05:00
Slava Pestov 9de32c7b2d Remove temporary hack now that new JIT works 2007-12-26 20:20:49 -05:00
Slava Pestov 7c75697ff3 Assorted fixes 2007-12-24 20:56:23 -05:00
Slava Pestov 6814e07f49 Unit test fixes 2007-12-24 19:40:09 -05:00
Slava Pestov 07a4022d62 Parser, definitions, source-files refactoring work in progress 2007-12-21 21:18:24 -05:00
Slava Pestov d7217801c3 Documentation fixes 2007-12-11 22:36:40 -05:00
Slava Pestov 588da9ab15 Documentation updates 2007-10-24 02:24:17 -04:00
U-SLAVA-FB3999113\Slava 8b54248c50 Get core unit tests to pass without number tower 2007-10-14 21:13:42 -04:00
Slava Pestov c64c2e8df8 Use forget-all in forget-vocab 2007-10-09 17:41:35 -04:00
Slava Pestov 6d3aa439c2 forget-all word 2007-10-09 17:35:09 -04:00
Slava Pestov a75c6ebb22 Update unit test 2007-09-28 00:16:09 -04:00
Slava Pestov cdad6df422 Fixing inference after cleanup 2007-09-27 04:50:24 -04:00
Slava Pestov 5e2c7e769d Clean up inference and fix hygiene issue with macros 2007-09-27 04:00:54 -04:00
Slava Pestov a96457cecc Initial import 2007-09-20 18:09:08 -04:00