Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-01-13 | getSuperDomainFromDB: get data from generated code | Gabriel Dos Reis | 4 | -4/+11 | |
Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies. | |||||
2016-01-12 | Share more code between various parts of the compiler. | Gabriel Dos Reis | 4 | -6/+30 | |
2016-01-12 | More algebra dependencies | Gabriel Dos Reis | 3 | -26/+65 | |
2016-01-11 | Algebra layer 0 now starts with basic types | Gabriel Dos Reis | 2 | -422/+323 | |
This cuts down on the number of domains that need to be built during bootstrapping. | |||||
2016-01-09 | Switch getDualSignature to avoiding interpreter database | Gabriel Dos Reis | 5 | -18/+23 | |
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-09 | Every use of getDualSignature that does not ensure that builtin | Gabriel Dos Reis | 12 | -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-09 | instantiateNiladics\!: Tidy. | Gabriel Dos Reis | 1 | -2/+3 | |
2016-01-09 | Remove $AncestorsTable. Adjust users. | Gabriel Dos Reis | 4 | -43/+29 | |
2016-01-08 | Remove dead codes. | Gabriel Dos Reis | 3 | -34/+0 | |
2016-01-08 | Misc cleanup. | Gabriel Dos Reis | 1 | -24/+21 | |
2016-01-08 | Replace \*ANCESTORS-HASH\* with $AncestorsTable. | Gabriel Dos Reis | 3 | -16/+16 | |
2016-01-08 | Replace \*HASCATEGORY-HASH\* with $HasCategoryTable | Gabriel Dos Reis | 5 | -28/+25 | |
2016-01-07 | Remove 'parentsOf'; adjust users. | Gabriel Dos Reis | 3 | -13/+8 | |
2016-01-07 | ancestorsRecur: Tidy. | Gabriel Dos Reis | 1 | -2/+2 | |
2016-01-07 | computeAncestorsOf: First parameter is now a DB for the the constructor. | Gabriel Dos Reis | 2 | -5/+7 | |
2016-01-07 | Remove dead code. Add DB parameter for getFormModemaps. | Gabriel Dos Reis | 3 | -49/+25 | |
2016-01-06 | Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory? | Gabriel Dos Reis | 6 | -10/+16 | |
2016-01-06 | findOperatorImplementations: Take a DB parameter. | Gabriel Dos Reis | 1 | -8/+8 | |
2016-01-06 | optFunctorBody: Take a DB argument. | Gabriel Dos Reis | 3 | -19/+19 | |
2016-01-06 | macroExpand: Do not expand the definiendum in a definition. | Gabriel Dos Reis | 2 | -5/+10 | |
2016-01-04 | orDnf: Fix longstanding thinko. | Gabriel Dos Reis | 1 | -2/+2 | |
2016-01-03 | More algebra dependency layering. | Gabriel Dos Reis | 2 | -541/+857 | |
2016-01-01 | More algebra layering and dependencies. | Gabriel Dos Reis | 4 | -450/+514 | |
2015-12-31 | coerceEasy: Allow expansion of current domain in the target mode. | Gabriel Dos Reis | 3 | -20/+26 | |
2015-12-31 | Don't unconditionally reference primitive types if they are being defined. | Gabriel Dos Reis | 3 | -9/+21 | |
2015-12-31 | Avoid modulus bias in 'random()' usage. | Gabriel Dos Reis | 15 | -44/+35 | |
2015-12-31 | Improve 'random()' from Integer domain. | Gabriel Dos Reis | 4 | -7/+13 | |
2015-12-30 | Misc cleanup of Integer domain implementation. | Gabriel Dos Reis | 1 | -17/+15 | |
2015-12-30 | compCategories: Use DB parameter for current constructor's modemap. | Gabriel Dos Reis | 2 | -1/+8 | |
2015-12-30 | Thread database parameter through more compiler functions. | Gabriel Dos Reis | 4 | -74/+79 | |
2015-12-30 | Revert accidental modification causing FRAC miscompilation. | Gabriel Dos Reis | 1 | -3/+1 | |
2015-12-30 | Add more dependencies in the algberas' Makefile.am. | Gabriel Dos Reis | 6 | -123/+389 | |
2015-12-30 | Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵ | Gabriel Dos Reis | 10 | -73/+15 | |
-> T' signatures. | |||||
2015-12-30 | Remove redundant 'recip' signature from ModularRing and EuclideanModularRing | Gabriel Dos Reis | 1 | -4/+0 | |
2015-12-30 | Remove redundant signature for 'recip' from CliffordAlgebra | Gabriel Dos Reis | 1 | -4/+1 | |
2015-12-30 | Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵ | Gabriel Dos Reis | 15 | -97/+25 | |
central, noetherian, NullSquare, JacobiIdentity. | |||||
2015-12-30 | Move bemol.cc's Fragment to core library. | Gabriel Dos Reis | 4 | -111/+145 | |
2015-12-29 | Tidy C++ code tokenizing Boot and Spad inputs. | Gabriel Dos Reis | 14 | -9/+23 | |
2015-12-29 | Introduce '' for the slot number of the add-chain domain. | Gabriel Dos Reis | 9 | -27/+40 | |
2015-12-28 | stuffSlot: Take the function directly from getLookupFun. | Gabriel Dos Reis | 1 | -4/+1 | |
2015-12-27 | Write out a functor's operation table separately in generated code stream. | Gabriel Dos Reis | 4 | -3/+21 | |
2015-12-27 | Simplify representation of constants in functors. | Gabriel Dos Reis | 6 | -12/+10 | |
2015-12-27 | Use '%closure' instead of 'CONS' in functor data. | Gabriel Dos Reis | 4 | -8/+8 | |
2015-12-26 | Remove dead and bogus code for constant assginments. | Gabriel Dos Reis | 3 | -16/+10 | |
2015-12-26 | Extract two helper functions out of DescendCode. | Gabriel Dos Reis | 2 | -12/+22 | |
2015-12-26 | Rename 'lastItem' to 'last'. Remove the macro definition. | Gabriel Dos Reis | 4 | -9/+5 | |
2015-12-26 | LASTELEM is not used. Remove. | Gabriel Dos Reis | 2 | -2/+4 | |
2015-12-26 | Tidy NRTputInLocalReferences. | Gabriel Dos Reis | 1 | -9/+6 | |
2015-12-26 | Remove dispatchFunction. | Gabriel Dos Reis | 7 | -12/+18 | |
2015-12-26 | Remove definition of IDENTITY. | Gabriel Dos Reis | 1 | -5/+1 | |