Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-12-27 | Bemol: Add 'module' as Boot keyword | Gabriel Dos Reis | 2 | -1/+2 | |
2017-12-27 | Remove antiquated check for alignas | Gabriel Dos Reis | 8 | -11/+102 | |
C++14 required, alignas and alignof are now well supported as C++11 features. | |||||
2017-12-27 | Fix build with SBCL | Gabriel Dos Reis | 1 | -2/+1 | |
ERROR does no expect a LIST. | |||||
2017-01-21 | Fix minor breakage when building gui | Bill Page | 1 | -1/+1 | |
Added -lopen-axiom-core | |||||
2017-01-20 | Format boot tokens. | Gabriel Dos Reis | 1 | -6/+34 | |
2017-01-17 | More cleanup. | Gabriel Dos Reis | 4 | -34/+24 | |
2017-01-17 | Misc cleanups. | Gabriel Dos Reis | 5 | -131/+120 | |
2017-01-17 | Simplify Tokenizer::get. | Gabriel Dos Reis | 1 | -59/+58 | |
2017-01-16 | Split Tokenizer::get into two functions. | Gabriel Dos Reis | 2 | -45/+55 | |
2017-01-16 | Include commentary lines in fragments. | Gabriel Dos Reis | 2 | -18/+31 | |
2017-01-16 | Remove Fragment::last_indent. | Gabriel Dos Reis | 3 | -8/+6 | |
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 | 4 | -7/+10 | |
2017-01-15 | Add s-expression parsing to libopen-axiom-core.a | Gabriel Dos Reis | 7 | -28/+19 | |
2017-01-15 | TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify | Gabriel Dos Reis | 4 | -13/+15 | |
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 | 14 | -64/+236 | |
transpiling to Lisp. | |||||
2016-12-29 | Add Boot support for native load unit specification in foreign | Gabriel Dos Reis | 12 | -16/+65 | |
function import. | |||||
2016-12-26 | * interp/i-output.boot (appChar): Don't modify string parameter. | Gabriel Dos Reis | 4 | -7/+10 | |
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency. | |||||
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-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 | 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 | 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 | |