jscl.git
11 years agoRename ir-convert-functoid to convert-functional
David Vázquez [Thu, 23 May 2013 00:29:47 +0000 (01:29 +0100)]
Rename ir-convert-functoid to convert-functional

11 years agoFix comment
David Vázquez [Wed, 22 May 2013 23:36:19 +0000 (00:36 +0100)]
Fix comment

11 years agoSignal an error for invalid go tags in tagbody
David Vázquez [Wed, 22 May 2013 17:09:24 +0000 (18:09 +0100)]
Signal an error for invalid go tags in tagbody

11 years agoNODE-SPLITTING function
David Vázquez [Mon, 20 May 2013 21:42:13 +0000 (22:42 +0100)]
NODE-SPLITTING function

11 years agoFix unreachable blocks removing
David Vázquez [Mon, 20 May 2013 11:25:00 +0000 (12:25 +0100)]
Fix unreachable blocks removing

11 years agoFix bug in Ir normalization
David Vázquez [Sun, 19 May 2013 23:54:37 +0000 (00:54 +0100)]
Fix bug in Ir normalization

11 years agoFix bug with empty infinite loops
David Vázquez [Sun, 19 May 2013 23:18:09 +0000 (00:18 +0100)]
Fix bug with empty infinite loops

11 years agodelete-block ignores already deleted blocks
David Vázquez [Sat, 18 May 2013 12:57:43 +0000 (13:57 +0100)]
delete-block ignores already deleted blocks

11 years agoMerge branch 'master' into experimental-compiler
David Vázquez [Sat, 18 May 2013 12:50:12 +0000 (13:50 +0100)]
Merge branch 'master' into experimental-compiler

11 years agoNew function: dominate-p
David Vázquez [Sat, 18 May 2013 12:50:06 +0000 (13:50 +0100)]
New function: dominate-p

11 years agoExport _all_ standard symbols
David Vázquez [Sat, 18 May 2013 12:42:59 +0000 (13:42 +0100)]
Export _all_ standard symbols

11 years agoMerge branch 'satisfies' of https://github.com/orodley/jscl into satisfies-test
David Vázquez [Sat, 18 May 2013 12:37:35 +0000 (13:37 +0100)]
Merge branch 'satisfies' of https://github.com/orodley/jscl into satisfies-test

Conflicts:
src/toplevel.lisp

11 years agoMerge branch 'master' of github.com:davazp/jscl
David Vázquez [Sat, 18 May 2013 12:33:38 +0000 (13:33 +0100)]
Merge branch 'master' of github.com:davazp/jscl

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.

11 years agoMerge branch 'package-improvements' of https://github.com/Ferada/jscl into Ferada...
David Vázquez [Sat, 18 May 2013 12:32:37 +0000 (13:32 +0100)]
Merge branch 'package-improvements' of https://github.com/Ferada/jscl into Ferada-package-improvements

11 years agoRewrite RASSOC using SATISFIES-TEST-P
Owen Rodley [Sat, 18 May 2013 04:35:13 +0000 (16:35 +1200)]
Rewrite RASSOC using SATISFIES-TEST-P

11 years agoRewrite ASSOC using SATISFIES-TEST-P
Owen Rodley [Sat, 18 May 2013 04:32:50 +0000 (16:32 +1200)]
Rewrite ASSOC using SATISFIES-TEST-P

11 years agoRewrite MEMBER using SATISFIES-TEST-P
Owen Rodley [Sat, 18 May 2013 04:29:32 +0000 (16:29 +1200)]
Rewrite MEMBER using SATISFIES-TEST-P

11 years agoAdd TEST-NOT keyword argument to TREE-EQUAL
Owen Rodley [Sat, 18 May 2013 04:26:27 +0000 (16:26 +1200)]
Add TEST-NOT keyword argument to TREE-EQUAL

11 years agoTests for modified sequence functions
Owen Rodley [Sat, 18 May 2013 04:00:09 +0000 (16:00 +1200)]
Tests for modified sequence functions

11 years agoRewrite REMOVE using SATISFIES-TEST-P
Owen Rodley [Sat, 18 May 2013 03:39:17 +0000 (15:39 +1200)]
Rewrite REMOVE using SATISFIES-TEST-P

11 years agoRewrite POSITION using SATISFIES-TEST-P and add missing export
Owen Rodley [Sat, 18 May 2013 03:32:14 +0000 (15:32 +1200)]
Rewrite POSITION using SATISFIES-TEST-P and add missing export

11 years agoRewrite FIND using SATISFIES-TEST-P
Owen Rodley [Sat, 18 May 2013 03:26:43 +0000 (15:26 +1200)]
Rewrite FIND using SATISFIES-TEST-P

11 years agoAdd package tests.
Olof-Joachim Frahm [Sat, 18 May 2013 00:30:10 +0000 (02:30 +0200)]
Add package tests.

11 years agoFix return value.
Olof-Joachim Frahm [Sat, 18 May 2013 00:29:55 +0000 (02:29 +0200)]
Fix return value.

11 years agoFix typo
David Vázquez [Sat, 18 May 2013 00:28:46 +0000 (01:28 +0100)]
Fix typo

11 years agodo-blocks-{forward,backward] checks if reverse post-order information is available
David Vázquez [Sat, 18 May 2013 00:26:24 +0000 (01:26 +0100)]
do-blocks-{forward,backward] checks if reverse post-order information is available

11 years agoRestructuration and compute-dominators in progress
David Vázquez [Fri, 17 May 2013 23:33:36 +0000 (00:33 +0100)]
Restructuration and compute-dominators in progress

11 years agoUpdate CREDITS
David Vázquez [Fri, 17 May 2013 23:31:56 +0000 (01:31 +0200)]
Update CREDITS

New entry: Olof-Joachim Frahm

11 years agoMerge pull request #100 from Ferada/small-fixes
David Vázquez [Fri, 17 May 2013 23:28:24 +0000 (16:28 -0700)]
Merge pull request #100 from Ferada/small-fixes

Small fixes

11 years agoAdd and export DO-(ALL/EXTERNAL)-SYMBOLS.
Olof-Joachim Frahm [Fri, 17 May 2013 22:47:26 +0000 (00:47 +0200)]
Add and export DO-(ALL/EXTERNAL)-SYMBOLS.

11 years agoAdd and export PUSHNEW.
Olof-Joachim Frahm [Fri, 17 May 2013 22:47:05 +0000 (00:47 +0200)]
Add and export PUSHNEW.

11 years agoStrip declarations when compiling a block.
Olof-Joachim Frahm [Fri, 17 May 2013 22:43:07 +0000 (00:43 +0200)]
Strip declarations when compiling a block.

I.e. not only for LAMBDA.  Currently enabled for LET and LET*.

11 years agoAccept string designators in STRING=.
Olof-Joachim Frahm [Fri, 17 May 2013 22:40:43 +0000 (00:40 +0200)]
Accept string designators in STRING=.

11 years agoLIST-ALL-PACKAGES should return a fresh list.
Olof-Joachim Frahm [Fri, 17 May 2013 22:39:57 +0000 (00:39 +0200)]
LIST-ALL-PACKAGES should return a fresh list.

11 years agoAdd EQ as function so that #'EQ works.
Olof-Joachim Frahm [Fri, 17 May 2013 22:38:58 +0000 (00:38 +0200)]
Add EQ as function so that #'EQ works.

11 years agoGeneralize delete-empty-block to delete-block
David Vázquez [Fri, 17 May 2013 16:49:36 +0000 (17:49 +0100)]
Generalize delete-empty-block to delete-block

11 years agoAdd Samuel Chase to CREDITS
David Vázquez [Fri, 17 May 2013 16:20:59 +0000 (17:20 +0100)]
Add Samuel Chase to CREDITS

11 years agoMerge pull request #92 from samebchase/experimental
David Vázquez [Fri, 17 May 2013 16:15:20 +0000 (09:15 -0700)]
Merge pull request #92 from samebchase/experimental

Implemented string<

11 years agoAnother check in check-ir-consistency
David Vázquez [Fri, 17 May 2013 15:33:22 +0000 (16:33 +0100)]
Another check in check-ir-consistency

11 years agoir-normalize computes block ordering
David Vázquez [Fri, 17 May 2013 08:48:46 +0000 (09:48 +0100)]
ir-normalize computes block ordering

11 years agoMerge pull request #94 from abeaumont/master
David Vázquez [Fri, 17 May 2013 08:39:31 +0000 (01:39 -0700)]
Merge pull request #94 from abeaumont/master

Complete SUBST support with :test-not keyword parameter, error checking and tests

11 years agoMerge pull request #99 from abeaumont/clhs
David Vázquez [Fri, 17 May 2013 08:11:48 +0000 (01:11 -0700)]
Merge pull request #99 from abeaumont/clhs

Updated the status of some items in Conses dictionary

11 years ago[clhs] Mark some items in Conses Dictionary as DOING or DONE
Alfredo Beaumont [Thu, 16 May 2013 19:57:47 +0000 (21:57 +0200)]
[clhs] Mark some items in Conses Dictionary as DOING or DONE

11 years ago[clhs] Fix typo
Alfredo Beaumont [Thu, 16 May 2013 19:57:08 +0000 (21:57 +0200)]
[clhs] Fix typo

11 years agoActually merge
Samuel Chase [Thu, 16 May 2013 16:48:59 +0000 (22:18 +0530)]
Actually merge

11 years agoMerge branch 'master' of https://github.com/davazp/jscl into experimental
Samuel Chase [Thu, 16 May 2013 16:33:42 +0000 (22:03 +0530)]
Merge branch 'master' of https://github.com/davazp/jscl into experimental

Conflicts:
src/string.lisp
src/toplevel.lisp

11 years agoRemove deprecated comment
David Vázquez [Thu, 16 May 2013 14:59:52 +0000 (15:59 +0100)]
Remove deprecated comment

11 years agoRename ir-complete to ir-normalize
David Vázquez [Thu, 16 May 2013 14:52:49 +0000 (15:52 +0100)]
Rename ir-complete to ir-normalize

11 years agoSEQ_TODO to the first line
David Vázquez [Thu, 16 May 2013 14:12:17 +0000 (15:12 +0100)]
SEQ_TODO to the first line

11 years agoMerge pull request #95 from abeaumont/clhs
David Vázquez [Thu, 16 May 2013 14:07:23 +0000 (07:07 -0700)]
Merge pull request #95 from abeaumont/clhs

Add an implementation status document

11 years agoAdd an implementation status document
Alfredo Beaumont [Wed, 15 May 2013 18:10:47 +0000 (20:10 +0200)]
Add an implementation status document

11 years agoRemove unneeded whitespace
Alfredo Beaumont [Wed, 15 May 2013 15:25:42 +0000 (17:25 +0200)]
Remove unneeded whitespace

11 years agoModify SUBST to:
Alfredo Beaumont [Wed, 15 May 2013 12:56:54 +0000 (14:56 +0200)]
Modify SUBST to:
* use satisfies-test-p to check if tree items satisfy the test
* return the same (sub)tree if no substitution has been done. Implementation
  dependent test is changed accordingly.

11 years agoAdd SATISFIES-TEST-P utility function, to be used by functions with key, test
Alfredo Beaumont [Wed, 15 May 2013 12:54:21 +0000 (14:54 +0200)]
Add SATISFIES-TEST-P utility function, to be used by functions with key, test
and test-not keyword arguments.

11 years agoAdd COMPLEMENT function definition, including tests.
Alfredo Beaumont [Wed, 15 May 2013 12:53:23 +0000 (14:53 +0200)]
Add COMPLEMENT function definition, including tests.

11 years agoComplete SUBST support with :test-not keyword parameter, error checking and tests
Alfredo Beaumont [Tue, 14 May 2013 19:44:38 +0000 (21:44 +0200)]
Complete SUBST support with :test-not keyword parameter, error checking and tests

11 years agoSimple TRACE utility
David Vázquez [Wed, 15 May 2013 09:10:37 +0000 (10:10 +0100)]
Simple TRACE utility

11 years agoTIME macro
David Vázquez [Wed, 15 May 2013 08:37:02 +0000 (09:37 +0100)]
TIME macro

11 years agoPrint component for functionals in a component
David Vázquez [Tue, 14 May 2013 22:49:12 +0000 (23:49 +0100)]
Print component for functionals in a component

11 years agoUse numeric IDs
David Vázquez [Tue, 14 May 2013 22:25:38 +0000 (23:25 +0100)]
Use numeric IDs

11 years agoA few more primitives for testing
David Vázquez [Tue, 14 May 2013 21:58:57 +0000 (22:58 +0100)]
A few more primitives for testing

11 years agoGeneric opaque printer to avoid circular printing
David Vázquez [Tue, 14 May 2013 21:34:47 +0000 (22:34 +0100)]
Generic opaque printer to avoid circular printing

11 years agoAdd component slot to nodes
David Vázquez [Tue, 14 May 2013 21:16:04 +0000 (22:16 +0100)]
Add component slot to nodes

11 years agoSymbol could refer special variable
David Vázquez [Tue, 14 May 2013 14:33:43 +0000 (15:33 +0100)]
Symbol could refer special variable

11 years agoBasic FUNCTION IR Converter
David Vázquez [Tue, 14 May 2013 14:26:27 +0000 (15:26 +0100)]
Basic FUNCTION IR Converter

11 years agoMerge pull request #93 from abeaumont/master
David Vázquez [Mon, 13 May 2013 22:28:27 +0000 (15:28 -0700)]
Merge pull request #93 from abeaumont/master

Add SUBLIS support with tests (and STRINGP as a dependency)

11 years agoAdd test for (string< "aaa" "aaaaa")
Samuel Chase [Mon, 13 May 2013 06:34:38 +0000 (12:04 +0530)]
Add test for (string< "aaa" "aaaaa")

Updated implementation of string< so that the above test passes.

11 years agoAdd string< to toplevel
Samuel Chase [Mon, 13 May 2013 06:34:11 +0000 (12:04 +0530)]
Add string< to toplevel

11 years agoAdd ignore for emacs auto-save files
Samuel Chase [Mon, 13 May 2013 06:33:06 +0000 (12:03 +0530)]
Add ignore for emacs auto-save files

11 years agoMerge branch 'experimental' of github.com:samebchase/jscl into experimental
Samuel Chase [Sun, 12 May 2013 20:59:34 +0000 (02:29 +0530)]
Merge branch 'experimental' of github.com:samebchase/jscl into experimental

11 years agoImplemented string<
Samuel Chase [Sun, 12 May 2013 20:38:43 +0000 (02:08 +0530)]
Implemented string<

boot.lisp: implemented char<
string.lisp: implemented string<
strings.lisp: added tests. The added tests pass.

11 years agoImplemented string<
Samuel Chase [Sun, 12 May 2013 20:38:43 +0000 (02:08 +0530)]
Implemented string<

boot.lisp: implemented char-code
string.lisp: implemented string<
strings.lisp: added tests. The added tests pass.

11 years agoFix TAGBODY
David Vázquez [Sun, 12 May 2013 20:23:10 +0000 (21:23 +0100)]
Fix TAGBODY

11 years agoAdd test for string< and get it to fail
Samuel Chase [Sun, 12 May 2013 19:57:15 +0000 (01:27 +0530)]
Add test for string< and get it to fail

dummy string< created for test failure.

11 years agotypo
David Vázquez [Sun, 12 May 2013 19:50:15 +0000 (20:50 +0100)]
typo

11 years agoAdd test for string<
Samuel Chase [Sun, 12 May 2013 19:42:28 +0000 (01:12 +0530)]
Add test for string<

11 years agoPrimitive call nodes
David Vázquez [Sun, 12 May 2013 19:35:37 +0000 (20:35 +0100)]
Primitive call nodes

11 years agoChange Ecmalisp to JSCL in comment.
Samuel Chase [Sun, 12 May 2013 19:25:30 +0000 (00:55 +0530)]
Change Ecmalisp to JSCL in comment.

11 years agoIncorrect funcall IR conversion for testing
David Vázquez [Sun, 12 May 2013 17:29:29 +0000 (18:29 +0100)]
Incorrect funcall IR conversion for testing

11 years agoFix block
David Vázquez [Sun, 12 May 2013 15:42:24 +0000 (16:42 +0100)]
Fix block

11 years agoCorrect `ir-convert' comment
David Vázquez [Sun, 12 May 2013 15:05:13 +0000 (16:05 +0100)]
Correct `ir-convert' comment

11 years agoFix ir-complete
David Vázquez [Sun, 12 May 2013 13:58:47 +0000 (14:58 +0100)]
Fix ir-complete

11 years agoTAGBODY and GO translators
David Vázquez [Sun, 12 May 2013 13:52:43 +0000 (14:52 +0100)]
TAGBODY and GO translators

11 years agosublis: take sanity check out of recursive function
Alfredo Beaumont [Sun, 12 May 2013 11:59:17 +0000 (13:59 +0200)]
sublis: take sanity check out of recursive function

11 years agoAdd support for SUBLIS function, including tests
Alfredo Beaumont [Sun, 12 May 2013 11:46:49 +0000 (13:46 +0200)]
Add support for SUBLIS function, including tests

11 years agoAdd support for STRINGP function
Alfredo Beaumont [Sun, 12 May 2013 11:45:59 +0000 (13:45 +0200)]
Add support for STRINGP function

11 years agoMerge branch 'master' into new-compiler
David Vázquez [Sun, 12 May 2013 10:06:04 +0000 (11:06 +0100)]
Merge branch 'master' into new-compiler

11 years agoMerge pull request #91 from abeaumont/master
David Vázquez [Sun, 12 May 2013 10:02:15 +0000 (03:02 -0700)]
Merge pull request #91 from abeaumont/master

[test] Add tests for car and cdr variants

11 years agoSimplifications, better comments and BLOCK/RETURN-FROM IR translators
David Vázquez [Sun, 12 May 2013 02:34:58 +0000 (03:34 +0100)]
Simplifications, better comments and BLOCK/RETURN-FROM IR translators

11 years ago[test] Add tests for car and cdr variants
Alfredo Beaumont [Sat, 11 May 2013 19:51:10 +0000 (21:51 +0200)]
[test] Add tests for car and cdr variants

11 years agoRemove duplicated progn
David Vázquez [Sat, 11 May 2013 18:15:46 +0000 (19:15 +0100)]
Remove duplicated progn

11 years agoIR Translator: PROGN
David Vázquez [Sat, 11 May 2013 17:57:21 +0000 (18:57 +0100)]
IR Translator: PROGN

11 years agoRemove test code
David Vázquez [Sat, 11 May 2013 17:52:59 +0000 (18:52 +0100)]
Remove test code

11 years agoCoalesce nodes after IR manipulation
David Vázquez [Sat, 11 May 2013 17:48:12 +0000 (18:48 +0100)]
Coalesce nodes after IR manipulation

11 years agoMerge pull request #90 from abeaumont/master
David Vázquez [Sat, 11 May 2013 15:35:36 +0000 (08:35 -0700)]
Merge pull request #90 from abeaumont/master

Improvements to various lists functions

11 years agoSome typos in comments
David Vázquez [Sat, 11 May 2013 00:37:04 +0000 (01:37 +0100)]
Some typos in comments

11 years agoFix recursive conditional
David Vázquez [Fri, 10 May 2013 23:42:14 +0000 (00:42 +0100)]
Fix recursive conditional

11 years agoIR Cursors
David Vázquez [Fri, 10 May 2013 23:34:08 +0000 (00:34 +0100)]
IR Cursors

11 years agoFix IR conversion
David Vázquez [Fri, 10 May 2013 18:30:44 +0000 (19:30 +0100)]
Fix IR conversion

11 years agoBeginnings of the new compiler
David Vázquez [Fri, 10 May 2013 18:16:59 +0000 (19:16 +0100)]
Beginnings of the new compiler

WIP: Intermediate representation (IR) data structures and conversion