Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-01-16 | Decorate each input line with its kind. | Gabriel Dos Reis | 2 | -1/+8 | |
2017-01-15 | Use library parser for bemol. | Gabriel Dos Reis | 3 | -77/+79 | |
2017-01-15 | Require C++14. | Gabriel Dos Reis | 7 | -12/+15 | |
2017-01-15 | Add s-expression parsing to libopen-axiom-core.a | Gabriel Dos Reis | 8 | -29/+23 | |
2017-01-15 | TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify | Gabriel Dos Reis | 6 | -24/+26 | |
Classify them as formatting tokens. Remove TokenValue::Artificial. | |||||
2017-01-02 | Include a native entry point for parsing Boot source files, and for | Gabriel Dos Reis | 16 | -76/+248 | |
transpiling to Lisp. | |||||
2016-12-29 | Add Boot support for native load unit specification in foreign | Gabriel Dos Reis | 17 | -17/+84 | |
function import. | |||||
2016-12-26 | * interp/i-output.boot (appChar): Don't modify string parameter. | Gabriel Dos Reis | 6 | -18/+21 | |
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency. | |||||
2016-04-07 | Merge pull request #4 from billpage/enumerate | Gabriel Dos Reis | 2 | -1/+4 | |
Enumerate | |||||
2016-04-05 | Fix conflict with catdef enumerate | Bill Page | 1 | -1/+1 | |
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335 | |||||
2016-04-05 | Add enumerate to domains that have Finite | Bill Page | 1 | -0/+3 | |
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335 | |||||
2016-02-14 | Fix typo in calculation of X_PRE_LIBS | Bill Page | 3 | -2/+6 | |
The previous value set "-Xt" when it should have been "-lXt". | |||||
2016-02-09 | Various cleanups | Gabriel Dos Reis | 3 | -23/+27 | |
Rename getFunctionTemplate to matchSignatureInTemplate. Rename lookupInheritedDefiningFunction to lookupRemoteDefiningFunction as the function wasn't really about inherited operators. Have it avoid returning functions that might need their domain domain to operate correctly. Simplify getOpCode: it only needs two arguments since the third was the length of the second argument. dbDefaultPackage? is no longer a macro. | |||||
2016-02-08 | Do not let domain closure escape lookupDefinitionFunction | Gabriel Dos Reis | 2 | -7/+4 | |
A successful call to compiledLookup will come up with any of the form that results from stuffSlot. Handle them here. Remove confused and dead code. | |||||
2016-02-08 | Tidy gerCapsuleDirectoryEntry | Gabriel Dos Reis | 1 | -2/+9 | |
Factor out candidatesForSlot. | |||||
2016-02-07 | Remove $NRTaddForm | Gabriel Dos Reis | 6 | -38/+37 | |
Use a %CompilerData slot to hold the corresponding data during the elaboration of a capsule. | |||||
2016-02-07 | Remove $NRTderivedTargetIfTrue | Gabriel Dos Reis | 3 | -8/+1 | |
It wasn't used in any meaningful way -- its value was always set to 'false'. Furthermore, it didn't match documentation. | |||||
2016-02-07 | PolynomialCategoryLifting: Weaken constraint on that parameter | Gabriel Dos Reis | 1 | -1/+1 | |
The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke. | |||||
2016-02-07 | Fix #1 | Gabriel Dos Reis | 3 | -2/+23 | |
Add explicit check for <X11/Intrinsic.h> | |||||
2016-02-07 | Look for QT5 in /opt/local/libexec/qt5 on OS X | Gabriel Dos Reis | 3 | -11/+39 | |
2016-02-07 | Various cleanups | Gabriel Dos Reis | 2 | -7/+7 | |
Use `domainDirectory dom` instead of `domainRef(dom,1)`. | |||||
2016-02-06 | Move $lookupDefaults out of newLookupInTable | Gabriel Dos Reis | 2 | -6/+7 | |
Move $lookupDefaults to he callers of newLookupInTable to surface variabilities in the control flow. | |||||
2016-02-06 | optNot: handle conjunction and disjunction operands | Gabriel Dos Reis | 1 | -0/+4 | |
2016-02-06 | Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup | Gabriel Dos Reis | 1 | -20/+18 | |
Rewrite `subtractIfCan` and `sup` in terms of the mathematical operations and exported operations. This makes the correctness of the algorithms stand out. | |||||
2016-02-04 | Add leadingTerm to IndexedDirectProductCategory | Gabriel Dos Reis | 1 | -8/+7 | |
2016-02-03 | Clean up IndexedDirectProductAbelianMonoid | Gabriel Dos Reis | 1 | -9/+2 | |
2016-02-02 | Merge branch 'master' of github.com-GabrielDosReis:GabrielDosReis/open-axiom | Gabriel Dos Reis | 2 | -1/+2 | |
2016-02-02 | Rename dbConstructorDefault to dbDefaultPackage | Gabriel Dos Reis | 5 | -30/+36 | |
And various cleanups. | |||||
2016-02-01 | Merge pull request #3 from billpage/alg-typo | Gabriel Dos Reis | 2 | -1/+2 | |
a typo and an omission | |||||
2016-02-01 | Remove dead code in compFunctorBody | Gabriel Dos Reis | 1 | -4/+0 | |
2016-02-01 | a typo and an omission | Bill Page | 2 | -1/+2 | |
2016-02-01 | Better indirect call resolution | Gabriel Dos Reis | 3 | -55/+57 | |
The infrastructure put in place in the last few commits now enables better indirect calls ('SPADCALL') to operations implemented in the same capsule. The improvement here is that the limitation of unconditional definition is removed. Now, even conditional definitions are resolved as long as the its predicate and the predicate of the current function match. | |||||
2016-02-01 | Support ')read' of Boot file | Gabriel Dos Reis | 2 | -10/+13 | |
Allow the system command to ')read' a Boot source file: the involves (1) compiling Boot to machine code (2) loading the resulting FASL in the current system Note that if the boot file has any dependency in terms of 'import', one needs to set up the $LoadDirectories appropriately, or else the system will crash. In particular, if you're modifying OpenAxiom source files you need to include the appropriate directories containing OpenAxiom fasl files. | |||||
2016-01-31 | Tidy noteCapsuleFunctionDefinition | Gabriel Dos Reis | 1 | -7/+9 | |
2016-01-31 | Defer compilation of capsule functions to compFunctorBody | Gabriel Dos Reis | 1 | -4/+3 | |
2016-01-31 | Rename compileConstrutor to compileConstructorIR | Gabriel Dos Reis | 1 | -17/+10 | |
Establish a distinct control path for compiling constructor bodies. Avoid routing these IRs via 'compile', which should be used only for capsule-level definitions. | |||||
2016-01-31 | Small cleanup in define.boot | Gabriel Dos Reis | 2 | -16/+3 | |
2016-01-31 | Tidy spadCompileOrSetq | Gabriel Dos Reis | 1 | -10/+5 | |
2016-01-31 | Remove support for --show-insn, and ")set )report insn" | Gabriel Dos Reis | 6 | -40/+15 | |
2016-01-31 | Remove a couple of global states from the compiler. | Gabriel Dos Reis | 2 | -17/+15 | |
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 | |