Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-01-30 | writeCapsuleLevelDefinitions: don't write into the index file | Gabriel Dos Reis | 2 | -9/+11 | |
2016-01-30 | compDefineCapsuleFunction: Tidy. | Gabriel Dos Reis | 1 | -5/+1 | |
2016-01-30 | Make signature definitions parts of %CompilationData. | Gabriel Dos Reis | 2 | -14/+8 | |
2016-01-30 | Do not rename mkpf. | Gabriel Dos Reis | 6 | -16/+15 | |
2016-01-30 | Normalize spelling of mkpf. | Gabriel Dos Reis | 8 | -17/+17 | |
2016-01-30 | Tidy category predicate conjunction. | Gabriel Dos Reis | 2 | -7/+5 | |
2016-01-30 | FreeModule: Tidy implementation. | Gabriel Dos Reis | 1 | -37/+29 | |
2016-01-30 | Remove superflous declarations. | Gabriel Dos Reis | 1 | -10/+4 | |
2016-01-28 | Fix storeBlanks\! | Gabriel Dos Reis | 1 | -2/+3 | |
2016-01-25 | Remove various crufts. | Gabriel Dos Reis | 36 | -356/+347 | |
2016-01-25 | Misc. cleanup | Gabriel Dos Reis | 9 | -56/+60 | |
2016-01-24 | Misc. fixes | Gabriel Dos Reis | 16 | -25/+31 | |
With the siwtch to a C++ compiler, the AC_PATH_XTRA has become less effective as it internally relies on the C compiler invokation. Fixed CXXFLAGS, CPPFLAGS, and LDFLAGS when detecting <X11/xpm.h> usability. Various bitmasks in src/hyper and src/graph were bogusly using 'char' (instead of 'unsigned char') when they specify values larger than 127. Caught by the C++ compiler, thanks to no-narrowing conversion. Fixed. Eventually the X11-based HD interface and graphics should be replaced by a more modern GUI interface. | |||||
2016-01-22 | finalizeLisplib: skip category packages | Gabriel Dos Reis | 1 | -1/+1 | |
The documentation for the operations from category packages is already present in the original category, so there is no value in duplicating them for the default packages. | |||||
2016-01-22 | Remove antiquated syntax for operator declaration. | Gabriel Dos Reis | 5 | -11/+7 | |
2016-01-22 | getConstructorFullNameFromDB: get it directly. | Gabriel Dos Reis | 2 | -6/+2 | |
2016-01-21 | getConstructorAncestorsFromDB: get them from generated code | Gabriel Dos Reis | 7 | -2962/+2950 | |
Ancestors for category constructors are stored in databases with parameter names of the form #1, #2, etc. called "formals", instead of the user-writtern parameters in the input souce code. However, the ancestors as previously stored in generated code used the input source-level parameter names. Changed to formals, so no rewrite needed before making databases. | |||||
2016-01-20 | getConstructorArgsFromDB: remove as redundant. | Gabriel Dos Reis | 4 | -10/+4 | |
2016-01-20 | getConstructorFromFromDB: get it from compiled code. | Gabriel Dos Reis | 2 | -9/+7 | |
2016-01-20 | Include compiled initdb in final system image. | Gabriel Dos Reis | 1 | -2/+6 | |
2016-01-20 | testExtend: Handle case where first argument is presented as an attribute. | Gabriel Dos Reis | 2 | -2/+5 | |
2016-01-19 | Skip interp.daase for a few database info in generated code. | Gabriel Dos Reis | 2 | -14/+9 | |
2016-01-19 | getConstructorCategory: get it from generated code for category constructors. | Gabriel Dos Reis | 4 | -4/+11 | |
2016-01-17 | subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe % | Gabriel Dos Reis | 20 | -1909/+1794 | |
2016-01-17 | Maybe: CoercibleTo OutputForm is now optional. | Gabriel Dos Reis | 1 | -5/+7 | |
2016-01-17 | Propagate renaming. | Gabriel Dos Reis | 2 | -2/+2 | |
2016-01-17 | Rename Magma to FreeMagma | Gabriel Dos Reis | 4 | -21/+21 | |
A breeze, given previous compiler work. Renaming matches FriCAS's. | |||||
2016-01-17 | getConstructorParentsFromDB: get data from compiled code. | Gabriel Dos Reis | 3 | -8/+11 | |
2016-01-16 | Reduce dependencies on databases to catgeory.daase during algebra build | Gabriel Dos Reis | 18 | -195/+194 | |
2016-01-13 | GETDATABASE: Remove dead alternatives. | Gabriel Dos Reis | 1 | -7/+1 | |
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 | |