log
graph
tags
branches
changeset
browse
help
bootstrap
log
find changesets by author, revision, files, or words in the commit message
less
more
| rev 616:
(0)
-300
-100
-60
+60
+100
tip
age
author
description
2009-11-22
John Leuner
comment out more debug statements
2009-11-22
John Leuner
fix equal?
2009-11-22
John Leuner
comment out debug statements
2009-11-22
John Leuner
add new prolog test-suite
2009-11-04
John Leuner
match number before symbol
2009-11-04
John Leuner
use query as a list of goals
2009-11-04
John Leuner
delistify the contents of a list
2009-11-02
John Leuner
Enable unification of lists, allow _ to match anything
2009-10-29
John Leuner
read the prolog goal from the command line (using the parser) instead of hardcoding it
2009-10-29
John Leuner
add a partial "delistify" routine to be able to read literal lists with the parser
2009-10-26
John Leuner
factor out some code into prolog-support.church
2009-10-25
John Leuner
First functional version of prolog interpreter
2009-05-20
John Leuner
revert ometa-compiler expansions
2009-05-20
John Leuner
add expansion for not and many1 (this is just to keep a record, these changes will be reverted in next commit)
2009-05-19
John Leuner
new compiled parsers
2009-05-19
John Leuner
fix omany
2009-05-19
John Leuner
hard-code church runtime file names into church-test harness (fix this later)
2009-05-19
John Leuner
recompiled church-parser
2009-05-19
John Leuner
fix use of args in format to avoid bug when args variable is modified (in closure?)
2009-05-19
John Leuner
use new ometa expansions for omany
2009-05-18
John Leuner
instead of modify "rest-args" argument in-place, instead return the cons list representing the rest vars
2009-05-07
John Leuner
cleanup 'or' rule in ometa compiler to produce less redundant code
2009-05-07
John Leuner
use new 'or' expansion in OMeta compiler
2009-05-07
John Leuner
use new style compiler expansion for OMeta 'and' forms
2009-05-06
John Leuner
change church grammar to eat whitespace before newline in certain cases
2009-05-06
John Leuner
fix diff-extra-time
2009-05-04
John Leuner
add indented begin block to grammar
2009-05-04
John Leuner
comment out code to print timings
2009-04-26
John Leuner
cleanups
2009-04-17
John Leuner
fixup state test driver
2009-03-31
John Leuner
add blocks for optimized if when there is only a consequent or alternate
2009-03-31
John Leuner
check for constant 0 in if predicate
2009-03-21
John Leuner
merge
2009-03-21
John Leuner
use native dictionary for code-vector-hash-table
2009-03-21
John Leuner
use symbol as key for constant values in state-dynamic (in progress)
2009-03-21
John Leuner
convert code-vector-hash-table to native-dictionary
2009-03-21
John Leuner
remove church-cached-slot-index macro
2009-03-21
John Leuner
use apply2 instead of slow_apply for calling apply 'hash
2009-03-21
John Leuner
print address at which dispatch-matcher was installed
2009-03-21
John Leuner
call dispatch-match-failed with symbol and arguments
2009-03-20
John Leuner
fix Makefile rules for generating ometa-compiler
2009-03-20
John Leuner
Added tag alpha-3 for changeset f4e84133f19c
2009-03-20
John Leuner
move runtime file list into makefile (out of church-driver)
alpha-3
2009-03-20
John Leuner
change user class initialization to first create class objects and then set the super-class slot in separate pass
2009-03-20
John Leuner
remove debug statements
2009-03-20
John Leuner
comment out debug interrupt
2009-03-20
John Leuner
box addresses for code and data blocks in an array (don't tag them as fixnums)
2009-03-20
John Leuner
align code blocks
2009-03-19
John Leuner
enable dispatch matcher compilation
2009-03-19
John Leuner
convert some macros into methods
2009-03-19
John Leuner
add debugging statements
2009-03-19
John Leuner
remove match-pattern macro
2009-03-19
John Leuner
fix church-compile missed in last commit
2009-03-19
John Leuner
wrap block-names global state into an object for church-pass3
2009-03-19
John Leuner
backout Makefile changes. Change all obj.first to (first obj) (why did this break?)
2009-03-19
John Leuner
merge changes to make sexp-parser not depend on global state
2009-03-19
John Leuner
wrap sexp parser in a class with its own input stream
2009-03-19
John Leuner
save sexp-parser-stream in case of recursive parsing
2009-03-19
John Leuner
merge with changes up to 551:b794961771b1, but leave matcher compilation disabled
2009-03-19
John Leuner
add church-allocate-code-block to list of church externs
less
more
| rev 616:
(0)
-300
-100
-60
+60
+100
tip