Commits

Author Commit Message Labels Comments Date
Dan Connolly
conversion to powerloom syntax sorta works, though semantics are iffy
convert-repo
update tags
timbl
Passes regression test. (make release)
Branches
runSmart
timbl
runSmart version now passes regression test. Fixed bug in state transition for light builtins slipping around for s second search
Branches
runSmart
timbl
Checking in for safety, list/append.n3 still loops, don't use for real work
Branches
runSmart
timbl
panic just deleted *.py, saved from editor... sigh
Branches
runSmart
timbl
show dan - doesn't work
Branches
runSmart
syosi
I forgot this in the last commit
Branches
branch-0-7-3-auto-regfilelist
syosi
An attempt to have Cwm keep track of the files used in the regression tests for you. It is not particularly beautiful Yosi
Branches
branch-0-7-3-auto-regfilelist
connolly
do the report first, in case the proof doesn't check
Branches
pfreport
connolly
remove extra diagnostic
Branches
pfreport
connolly
proof report method working in one case, though with dups
Branches
pfreport
timbl
works, no crs
Branches
listfix
timbl
works, no crs
Branches
listfix
timbl
still not working
Branches
listfix
timbl
All over the floor. Second half of llyn rewritten largely. Does NOT pass test
Branches
listfix
connolly
BEWARE - not very tested, 5 failures in retest. New compact internal repn of lists.
Branches
list_design
connolly
fix indentation of conclusion for rst output
connolly
fix reverse function proof
connolly
fix pso order in diagnostic
connolly
cwm makes bad proofs out of reverse built-ins
connolly
output text report using reStructuredText list-table syntax
connolly
unclosed formula was messing up proof generation fix per timbl Tue, 15 Dec 2009 08:53:04 -0500
syosi
fix two broken links
timbl
Can in principle do year starting at random month
timbl
Allow strings with leading or trailing space like ' -5.20' to be treated as numbers
timbl
Where we know currency, calculate normalized value
timbl
Fix bug when end tags indented
timbl
typo
timbl
Pass year as parametr
  1. Prev
  2. Next