Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 9 | -22180/+22132 | |
(Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases. | |||||
2008-01-15 | Daily bump | dos-reis | 3 | -11/+11 | |
2008-01-15 | * algebra/syntax.spad (autoCoerce$Syntax): Add overloads. | dos-reis | 5 | -6/+57 | |
* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New. | |||||
2008-01-14 | Daily bump | dos-reis | 3 | -11/+11 | |
2008-01-14 | * interp/compiler.boot (compSymbol): Don't handle possible | dos-reis | 13 | -9841/+26057 | |
case views here. (hasUniqueCaseView): Rename from getUniqueCaseView. Take the target mode as second argument. (compForm2): Use calling convention vector to determine infer flag parameter types. (compCase1): Uniformly handle `case-expressions'. Call genDeltaEntry for selected operator. (coerceExtraHard): Handle coercions from UnionType domains. (autoCoerceByModemap): Tidy. * interp/g-opt.boot (optCall): Be more verbose in diagnostics. * algebra/syntax.spad (Syntax): Rework. * algebra/coerce.spad.pamphlet (UnionType): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include UTYPE.o * share/algebra: Update databases. | |||||
2008-01-13 | Fix SF/1852076 | dos-reis | 4 | -5/+17 | |
* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New. | |||||
2008-01-13 | Fix SF/1867459 | dos-reis | 4 | -1/+19 | |
* interp/postpar.boot (postError): Fix thinko. * interp/parse.boot ($defOp): Define. * testsuite/compiler/1867459.spad: New. | |||||
2008-01-13 | 2008-01-13 Ralf Hemmecke <ralf@hemmecke.de> | dos-reis | 2 | -1/+7 | |
Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/bags.spad.pamphlet (Stack$map!): Cache the result in the underlying reference. | |||||
2008-01-13 | Daily bump | dos-reis | 3 | -11/+11 | |
2008-01-13 | commit forgotten file | dos-reis | 1 | -0/+4 | |
2008-01-11 | daily bump | dos-reis | 3 | -11/+11 | |
2008-01-11 | * interp/msg.boot (getStFromMsg): Fix typo. | dos-reis | 2 | -1/+5 | |
2008-01-10 | Daily bump | dos-reis | 3 | -11/+11 | |
2008-01-10 | Fix thinko | dos-reis | 2 | -1/+11 | |
2008-01-08 | Disable highlighting on Win32 | dos-reis | 3 | -8/+22 | |
2008-01-08 | * boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with C | dos-reis | 9 | -23/+71 | |
bindings. * interp/msgdb.boot (brightPrint0): Don't highlight if the standard output is not attached to a terminal. * interp/sys-driver.boot (stdStreamIsTerminal): New. * lib/cfuns-c.c (std_stream_is_terminal): New. | |||||
2008-01-08 | Automate FFI at Boot level | dos-reis | 5 | -9/+62 | |
2008-01-07 | * sman/sman.c: Remove debug and dead codes. | dos-reis | 2 | -92/+17 | |
2008-01-06 | * driver/main.c (main) [__WIN32__]: Fix off-by-one thinko. | dos-reis | 5 | -15/+19 | |
2008-01-05 | 2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 13 | -299/+489 | |
* configure.ac.pamphlet: For mingw host, default $prefix to C:/Program Files/OpenAxiom. Don't instantiate src/script/axiom. Instantiate src/driver/Makefile. Tidy. * Makefile.pamphlet: Tidy. * config/axiom-c-macros.h.in: Update. src/ 2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu> * scripts/axiom.in: Remove. * driver: New directory. * driver/main.c: New. Now implement driver as native application. | |||||
2008-01-01 | Annual ChangeLog rotation. | dos-reis | 25 | -1701/+1701 | |
2007-12-28 | (no commit message) | dos-reis | 3 | -3/+3 | |
2007-12-28 | update AXIOM_SRC_TARGETS | dos-reis | 2 | -2/+2 | |
2007-12-28 | Don't generate Makefile.in automatically. | dos-reis | 2 | -6/+9 | |
2007-12-27 | Remove more Makefile pamphlets and other leftover. | dos-reis | 23 | -2592/+145 | |
2007-12-27 | Remove src/booklets | dos-reis | 8 | -24/+5 | |
2007-12-27 | Remove booklets directory | dos-reis | 6 | -2890/+4 | |
2007-12-27 | Update TODO list | dos-reis | 1 | -0/+5 | |
2007-12-27 | Remove more Makefile pamphlets | dos-reis | 35 | -1733/+399 | |
2007-12-27 | Don't use pamphlet for src/lisp/Makefile | dos-reis | 6 | -164/+42 | |
2007-12-27 | Daily bump | dos-reis | 3 | -11/+11 | |
2007-12-27 | Clarify build and installation instructions. | dos-reis | 1 | -9/+12 | |
2007-12-19 | Test commit from windows box | dos-reis | 1 | -0/+2 | |
2007-12-19 | * nruncomp.boot (deltaTran): Fix thinko; handle the case where the | dos-reis | 5 | -11/+17 | |
domain of computation is the add form. | |||||
2007-12-18 | * nruncomp.boot: Remove dead code. | dos-reis | 2 | -46/+5 | |
2007-12-16 | SF/1850100 | dos-reis | 2 | -0/+17 | |
* bags.spad.pamphlet (parts$Stack): Implement. (map$Stack): Likewise. (map!$Stack): Likewise. | |||||
2007-12-16 | * nruncomp.boot (NOTES): Encode quasiquoted values too. | dos-reis | 7 | -21/+44 | |
($lookupDefaults): Define. (newLookupInDomain): Look up in the add-chain first. (newLookupInCategories): Likewise. (lazyMatch): Quasiquote is now like a Mapping. (newExpandLocalTypeForm): Quasiquote is no longer like QUOTE. * nrungo.boot (lookupInDomainAndDefaults): New. (compiledLookup): Use it. | |||||
2007-12-16 | Revert previous accidental commit. | dos-reis | 13 | -26/+52 | |
2007-12-16 | Daily bump | dos-reis | 13 | -52/+26 | |
2007-12-16 | * nruncomp.boot (buildFunctor): Use $NRTbase instead of hardcoded | dos-reis | 2 | -7/+14 | |
constant 6. (NRTcheckVector): Likewise. (deepChaseInferences): Likewise. | |||||
2007-12-15 | Daily bump | dos-reis | 3 | -11/+11 | |
2007-12-14 | * nruncomp.boot (deltaTran): Use NRTaddIndex. | dos-reis | 2 | -13/+16 | |
(deltaTran): Likewise. (genDeltaEntry): Likewise. (genDeltaSpecialSig): Likewise. (NRTassignCapsuleFunctionSlot): Likewise. (genSlotSig): Likewise. (NRTassocIndexAdd): Remove. | |||||
2007-12-13 | * makeGraph.c.pamphlet (discardGraph): Fix thinko. | dos-reis | 2 | -1/+5 | |
2007-12-13 | * c-util.boot (isAlmostSimple): A `case' expresion with a simple | dos-reis | 2 | -0/+6 | |
identified as first operand is a simple-expression. | |||||
2007-12-13 | * parse.boot: Register parsers by name, not by pointers. | dos-reis | 3 | -39/+43 | |
2007-12-12 | * define.boot (compDefineFunctor1): Don't set $NRTbase here. | dos-reis | 5 | -3/+13 | |
* nruncomp.boot ($NRTbase): Define as a constant. * setq.lisp: Don't set it. | |||||
2007-12-12 | * buildom.boot: Use $OutputForm instead of $Expression | dos-reis | 3 | -15/+23 | |
throughout. * compiler.boot (compAtom): Use $OutputForm instead of $Expression. (compSymbol): Likewise. (outputComp): Likewise. | |||||
2007-12-12 | * domain.spad (showSummary$Domain): New. | dos-reis | 2 | -1/+14 | |
2007-12-12 | Daily bump. | dos-reis | 3 | -11/+11 | |
2007-12-12 | * syntax.spad (case$Syntax): Add four overloads with flag | dos-reis | 2 | -26/+39 | |
parameters. Remove previous declaration. (conver$Syntax): Use cases to filter out erroneous input. (getOperator$Syntax): Remove dead code. |