Commit Graph

1268 Commits (c8b1db0a3e2f9f0ea59c7335850708f695dbb344)

Author SHA1 Message Date
Aaron Schaefer 8eff6af322 Fix edge-case and perfect square errors with sum-proper-divisors 2007-12-29 14:09:50 -05:00
Slava Pestov 2b37b76d65 Working on profiler 2007-12-29 12:44:01 -05:00
Slava Pestov e2f270be70 Fix cleanup combinator in the case where always-cleanup throws an error 2007-12-29 12:35:51 -05:00
Slava Pestov e58cbb2cda : spin swap rot ; 2007-12-29 11:36:20 -05:00
Daniel Ehrenberg 4a28fe910d XML prettyprinter 2007-12-29 01:33:21 -05:00
Slava Pestov 74fb0ed298 Oops 2007-12-28 23:06:11 -05:00
Slava Pestov 78029f5464 windows.messages staging violation load fix 2007-12-28 22:52:24 -05:00
Slava Pestov f319b45de9 Freetype staging violation fix 2007-12-28 22:52:00 -05:00
Slava Pestov 58da31c071 New implementation of compiler error reporting 2007-12-28 22:51:36 -05:00
Slava Pestov 1caa78f618 Fixes for with-interactive-vocabs change 2007-12-28 21:50:09 -05:00
Slava Pestov ced9893a4e Get bootstrap.tools to load, update extra/ for USE-IF: removal 2007-12-28 21:46:06 -05:00
Slava Pestov 52ae410cc5 Removing USE-IF:, add with-interactive-vocabs, other fixes 2007-12-28 21:45:16 -05:00
Doug Coleman 67fe34ba88 Merge http://littledan.onigirihouse.com/factor 2007-12-28 11:04:44 -06:00
Samuel Tardieu 483028cc51 Update problems list and simplify code 2007-12-28 14:53:26 +01:00
Samuel Tardieu a680c3abc5 Fix bug in project Euler 134 and update timings wrt math.algebra code changes 2007-12-28 14:19:47 +01:00
Samuel Tardieu a9903e1bdc Remove some words in math.algebra and change implementation 2007-12-28 14:19:40 +01:00
Samuel Tardieu 9760eb4fb1 Update collect-benchmarks so that it does not rely onto computed stack effect 2007-12-28 14:19:19 +01:00
Daniel Ehrenberg c936895160 sequences.deep bug fix 2007-12-27 21:03:12 -05:00
Daniel Ehrenberg f536b4c057 Merge branch 'trees' 2007-12-27 20:17:08 -05:00
Daniel Ehrenberg 8a562bc81f Trees on the assoc protocol 2007-12-27 20:16:55 -05:00
Doug Coleman c1c9f5eddd Merge git://spitspat.com/git/factor 2007-12-27 16:39:33 -06:00
Doug Coleman c6ce216e03 Add ?first .. ?fourth to sequences.lib 2007-12-27 16:38:54 -06: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
Daniel Ehrenberg 05b76f181f Extra/trees changes 2007-12-27 13:56:03 -05:00
Samuel Tardieu caa2a606c2 Use math.primes in project Euler problems 2007-12-27 16:52:19 +01:00
Samuel Tardieu e17a77f5cd New module math.primes.factors 2007-12-27 16:52:18 +01:00
Samuel Tardieu 694dd297ad New module math.primes 2007-12-27 16:52:16 +01:00
Samuel Tardieu db6dbc5f16 Implement lreduce in lazy-lists 2007-12-27 16:01:28 +01:00
Samuel Tardieu 779f1ba01d Use related-words in lazy-lists documentation 2007-12-27 16:01:27 +01:00
Samuel Tardieu 3662ed8f0b Use s> and >s instead of r> and >r to avoid confusion 2007-12-27 15:17:34 +01:00
Slava Pestov 318b5f40c8 Update unit tests to use must-infer 2007-12-26 22:16:14 -05:00
Samuel Tardieu 76c76b81ed Simplify lazy-append nil? word
lazy-append tuples are always built using lappend. If list1 is nil, then
list2 is returned, hence nil? on a lazy-append object is always false.
2007-12-27 03:42:19 +01:00
Slava Pestov 58b2599593 Fix compiler 2007-12-26 21:37:18 -05:00
Samuel Tardieu 0bf5c6bf0f Simplify lazy-while and lazy-until constructs 2007-12-27 03:36:38 +01:00
Slava Pestov b810e92456 Move optimizer to extra/ 2007-12-26 21:21:12 -05:00
Slava Pestov f53fa196ac New must-infer word; \ foo must-infer asserts that foo's declared effect matches its inferred effect, put this in your unit tests 2007-12-26 20:54:38 -05:00
Slava Pestov 612b2bf78c Removed <uninterned> 2007-12-26 20:41:02 -05:00
Slava Pestov c5d91d12df Fix implementation of deferred words 2007-12-26 20:40:46 -05:00
Slava Pestov 2a24567546 Work in progress 2007-12-26 20:21:46 -05:00
Slava Pestov f624726e8e Fix bootstrap 2007-12-26 20:21:18 -05:00
Slava Pestov 9de32c7b2d Remove temporary hack now that new JIT works 2007-12-26 20:20:49 -05:00
Slava Pestov 93e1bdfcd7 Simplify JIT, fix tuples unit tests 2007-12-26 20:02:41 -05:00
Slava Pestov 1b9e04fdc5 Deferred words are now compound words 2007-12-26 17:28:34 -05:00
Slava Pestov c9a7138b76 Remove unused symbols 2007-12-26 17:17:39 -05:00
Slava Pestov f91ec96425 Fix code heap compaction and clean up VM a bit 2007-12-26 17:14:33 -05:00
Samuel Tardieu 4eb7aad50b Use math.algebra to solve project Euler problem 134 2007-12-26 23:08:43 +01:00
Samuel Tardieu c4529fb557 Add math.algebra module with some useful words.
- ext-euclidian implements the extended Euclidian algorithm
  - ring-inverse computes an inverse in a Z/nZ ring
  - chinese-remainder solves a multi-constraints modular equation
2007-12-26 23:08:15 +01:00
Samuel Tardieu 9f0fb715ab Factor solution to project Euler problem 134 2007-12-26 21:44:22 +01:00
Samuel Tardieu aaa4b2a62f Do not use Eratosthene sieve if n < 1e6 since we have a static primes list 2007-12-26 20:35:35 +01:00
Aaron Schaefer 0dfddab0f6 Remove unnecessarily complicated PE022 solution 2007-12-26 09:06:52 -05:00