| Presentation update |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Backquote-escape `val`; no need to use modified Clojure anymore |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add cljrun and CljSubst, using Clojure PersistentHashMap. Note: needs patched Clojure from hircus' rename-val branch, since Clojure's IMapEntry defines a val() getter that conflicts with a Scala keyword |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Switch mk-scheme launcher to load palprod* by default for testing |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Updated presentation (*before* new timing data) |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add ntimes timer for benchmarking |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Updated presentation draft: - substitution - constraints - some minor changes |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add map-based substitution |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Generate presentation handouts as well |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| - Documentation fixes - Also build scaladoc for examples |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| More documentation |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| examples: add SendMoreMoney example |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Move palprod_o example to the examples subpackage |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| More documentation |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Document the substitution implementation. Also fixes bug with length measurement on constraint subst |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| =/=: add test case |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Implementation of =/=. The functions that have to do extra checks for constraints have been refactored to be methods on the respective Substitution classes, ensuring that the penalty is not paid if not necessary |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add new case classes for constrained substitutions, and add a new flag to the runner function: - setting it to true enables the use of constrained substitutions; this is a bit slower - setting it to false allows for unconstrained goals to run faster. Constraints will just be ignored. |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Timing information for the previous substitution-as-list representation. As the new one is significantly faster, making it the new master |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Switch to a case-class representation of substitutions |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add =/= design document |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Updated presentation draft |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add implicit definition: (a === b) <=> mkEqual(a, b) |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Documentation for the palprod_o example |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Updated presentation draft |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| - run: improved to allow multiple goals |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| - Examples: ported palindrome products - Add needed operations to get palindrome to run - Add benchmark section to presentation. Still 3x slower than Petite Chez |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| MiniKanren: add cond_e, cond_i MKMath: add digit_o |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| Add *o |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
| - Make mk-scheme use full Scheme MK prelude file - Scala Kanren shell now loads the new prelude, and starts with variables x,y,z defined |
hircus
as Michel Alexandre Salim
|
More...
|
over 14 years ago
|
