aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2016-01-19getConstructorCategory: get it from generated code for category constructors.Gabriel Dos Reis1-1/+4
2016-01-17getConstructorParentsFromDB: get data from compiled code.Gabriel Dos Reis2-8/+5
2016-01-16Reduce dependencies on databases to catgeory.daase during algebra buildGabriel Dos Reis8-55/+77
2016-01-13GETDATABASE: Remove dead alternatives.Gabriel Dos Reis1-7/+1
2016-01-13getSuperDomainFromDB: get data from generated codeGabriel Dos Reis2-2/+5
Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12Share more code between various parts of the compiler.Gabriel Dos Reis3-6/+29
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis3-15/+5
Now that OpenAxiom emits the dual signature data also directly in the generated executable code for a constructor, there is no no need to consult the interpreter data base for that information. This change relies on the previous commit, e.g. getDualSignature should be considered invalid for builtin constructors. Any instanbility caused by this patch should be considered a latent bug that should be given high priority fixing.
2016-01-09Every use of getDualSignature that does not ensure that builtinGabriel Dos Reis12-36/+52
constructors are handled before the call is a bug. This patch fixes most the obvious and glaring places. Hopefully, the remaining cases will be exercised when getDualSignature bypasses the on-disk database mamouth.
2016-01-09instantiateNiladics\!: Tidy.Gabriel Dos Reis1-2/+3
2016-01-09Remove $AncestorsTable. Adjust users.Gabriel Dos Reis4-43/+29
2016-01-08Remove dead codes.Gabriel Dos Reis3-34/+0
2016-01-08Misc cleanup.Gabriel Dos Reis1-24/+21
2016-01-08Replace \*ANCESTORS-HASH\* with $AncestorsTable.Gabriel Dos Reis3-16/+16
2016-01-08Replace \*HASCATEGORY-HASH\* with $HasCategoryTableGabriel Dos Reis5-28/+25
2016-01-07Remove 'parentsOf'; adjust users.Gabriel Dos Reis2-13/+4
2016-01-07ancestorsRecur: Tidy.Gabriel Dos Reis1-2/+2
2016-01-07computeAncestorsOf: First parameter is now a DB for the the constructor.Gabriel Dos Reis2-5/+7
2016-01-07Remove dead code. Add DB parameter for getFormModemaps.Gabriel Dos Reis3-49/+25
2016-01-06Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?Gabriel Dos Reis5-10/+9
2016-01-06findOperatorImplementations: Take a DB parameter.Gabriel Dos Reis1-8/+8
2016-01-06optFunctorBody: Take a DB argument.Gabriel Dos Reis3-19/+19
2016-01-06macroExpand: Do not expand the definiendum in a definition.Gabriel Dos Reis1-5/+5
2016-01-04orDnf: Fix longstanding thinko.Gabriel Dos Reis1-2/+2
2015-12-31coerceEasy: Allow expansion of current domain in the target mode.Gabriel Dos Reis1-12/+14
2015-12-31Don't unconditionally reference primitive types if they are being defined.Gabriel Dos Reis1-7/+13
2015-12-31Improve 'random()' from Integer domain.Gabriel Dos Reis3-2/+5
2015-12-30compCategories: Use DB parameter for current constructor's modemap.Gabriel Dos Reis1-1/+3
2015-12-30Thread database parameter through more compiler functions.Gabriel Dos Reis4-74/+79
2015-12-30Revert accidental modification causing FRAC miscompilation.Gabriel Dos Reis1-3/+1
2015-12-30Add more dependencies in the algberas' Makefile.am.Gabriel Dos Reis4-11/+20
2015-12-30Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵Gabriel Dos Reis4-9/+9
central, noetherian, NullSquare, JacobiIdentity.
2015-12-29Introduce '' for the slot number of the add-chain domain.Gabriel Dos Reis8-27/+34
2015-12-28stuffSlot: Take the function directly from getLookupFun.Gabriel Dos Reis1-4/+1
2015-12-27Write out a functor's operation table separately in generated code stream.Gabriel Dos Reis3-3/+13
2015-12-27Simplify representation of constants in functors.Gabriel Dos Reis6-12/+10
2015-12-27Use '%closure' instead of 'CONS' in functor data.Gabriel Dos Reis4-8/+8
2015-12-26Remove dead and bogus code for constant assginments.Gabriel Dos Reis2-16/+2
2015-12-26Extract two helper functions out of DescendCode.Gabriel Dos Reis1-12/+17
2015-12-26Rename 'lastItem' to 'last'. Remove the macro definition.Gabriel Dos Reis2-5/+1
2015-12-26LASTELEM is not used. Remove.Gabriel Dos Reis1-2/+0
2015-12-26Tidy NRTputInLocalReferences.Gabriel Dos Reis1-9/+6
2015-12-26Remove dispatchFunction.Gabriel Dos Reis6-12/+9
2015-12-26Remove definition of IDENTITY.Gabriel Dos Reis1-5/+1
2015-12-26Introduce opcode '%constant' in lieu of IDENTITY.Gabriel Dos Reis7-7/+8
2015-12-26Use brackets instead of Lisp LIST for sequence literals.Gabriel Dos Reis7-15/+15
2015-12-25Do not reference symbol IDENTITY directly by name.Gabriel Dos Reis1-1/+1
2015-12-24Tidy uses of apply.Gabriel Dos Reis8-36/+36
2015-12-24Replace FUNCALL with apply.Gabriel Dos Reis31-82/+82
2015-12-23Retain Lisp code generated from algebra if asked.Gabriel Dos Reis1-2/+9
2014-11-29Replace direct use of MULTIPLE-VALUE-LIST FLOOR with integerAndFractionalPartsdos-reis2-8/+5