aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
AgeCommit message (Collapse)AuthorFilesLines
2009-10-09 Fix SF/2875134dos-reis1-0/+3
* interp/ptrees.boot: New. (pfIdSymbol): Use it. (pfSymbolSymbol): Likewise. (pfInfApplication): Likewise. * testsuite/interpreter/sf-2875134.input: New.
2009-06-08 Fix SF/2799773dos-reis1-0/+5
* interp/c-util.boot (diagnoseUnknownType): Diagnose duplicate fields in Record or Union, or duplicate constants in Enumeration. * interp/i-eval.boot (checkRecordOrUnionFields): New. (evaluateType): Use it. * testsuite/interpreter/sf-2799773.input: New.
2009-05-29 Fix SF/2798220dos-reis1-0/+3
* algebra/fmod.spad.pamphlet (IntegerMod): Define before? * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial): Likewise. * algebra/pf.spad.pamphlet (InnerPrimeField): Likewise. * testsuite/interpreter/sf-2798220.input: New.
2009-05-25 Partial fix for AW/193 and AW/334.dos-reis2-0/+14
* algebra/algfunc.spad.pamphlet: Remove OrderedSet requirements. * algebra/combfunc.spad.pamphlet: Likewise. * algebra/defintef.spad.pamphlet: Likewise. * algebra/defintrf.spad.pamphlet: Likewise. * algebra/degred.spad.pamphlet: Likewise. * algebra/efstruc.spad.pamphlet: Likewise. * algebra/elemntry.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/expr.spad.pamphlet: Likewise. * algebra/expr2ups.spad.pamphlet: Likewise. * algebra/exprode.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/fr.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/fs2expxp.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/funcpkgs.spad.pamphlet: Likewise. * algebra/gaussian.spad.pamphlet: Likewise. * algebra/genups.spad.pamphlet: Likewise. * algebra/intalg.spad.pamphlet: Likewise. * algebra/intef.spad.pamphlet: Likewise. * algebra/integrat.spad.pamphlet: Likewise. * algebra/intpm.spad.pamphlet: Likewise. * algebra/irexpand.spad.pamphlet: Likewise. * algebra/kl.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/manip.spad.pamphlet: Likewise. * algebra/nlode.spad.pamphlet: Likewise. * algebra/odeef.spad.pamphlet: Likewise. * algebra/oderf.spad.pamphlet: Likewise. * algebra/openmath.spad.pamphlet: Likewise. * algebra/patmatch1.spad.pamphlet: Likewise. * algebra/patmatch2.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/primelt.spad.pamphlet: Likewise. * algebra/rdeef.spad.pamphlet: Likewise. * algebra/rdesys.spad.pamphlet: Likewise. * algebra/rule.spad.pamphlet: Likewise. * algebra/solverad.spad.pamphlet: Likewise. * algebra/sum.spad.pamphlet: Likewise. * algebra/transsolve.spad.pamphlet: Likewise. * testsuite/interpreter/aw-193.input: New. * testsuite/interpreter/aw-334.input: Likewise.
2009-04-12 Fix SF/2754400dos-reis1-0/+6
* interp/setvars.boot (setOutputFortran): Transform pathname from symbol to string. * testsuite/interpreter/sf-2754400.input: New.
2009-04-11 Fix SF/2749682dos-reis1-0/+1
* interp/sys-os.boot ($NaNvalue): Fix typo. * testsuite/interpreter/sf-2749682.input: New.
2009-02-08 Fix AW/103dos-reis1-0/+3
* algebra/catdef.spad.pamphlet (exquo$EuclideanDomain): Return 0 if first argument is 0. * algebra/integer.spad.pamphlet (exquo$Integer): Remove. * testsuite/interpreter/aw-103.input: New.
2009-02-05 Fix AW/440dos-reis1-0/+4
* algebra/integrat.spad.pamphlet (integrate$FunctionSpaceComplexIntegration): Use complexIntegrate for complex expressions. * testsuite/aw-440.input: New.
2009-02-052009-02-04 Waldek Hebisch <hebisch@math.uni.wroc.pl>dos-reis1-0/+2
Gabriel Dos Reis <gdr@cs.tamu.edu> Fix AW/441 * algebra/defintrf.spad.pamphlet (findRealZero$DefiniteIntegrationTools): Deal with simple zeros. * testsuite/interpreter/aw-441.input: New.
2009-01-31 Fix AW/83dos-reis1-0/+5
* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T. * testsuite/interpreter/aw-83.input (a): New.
2009-01-11 Fix SF/2491986dos-reis1-0/+4
* interp/i-syscmd.boot (displayValue): Fix thinko. * testsuite/interpreter/sf-2491986.input (a): New.
2008-12-22 * interp/i-eval.boot (evaluateType0): Check for builtindos-reis1-0/+7
constructors. (evaluateType): Likewise. * interp/i-spec2.boot (isType): Reject unsaturated constructors.
2008-11-18 * interp/nrunfast.boot (resolveNiladicConstructors): New.dos-reis1-0/+18
(newHasTest): Use it to handle signature export test. * testsuite/interpreter/has.input: New.
2008-10-18 Fix AW/293dos-reis1-0/+3
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex attribute.
2008-10-17 Fix AW/410dos-reis1-0/+3
* interp/i-syscmd.boot (displaySpad2Cmd): Handle constructor abbreviation.
2008-10-16 Fix AW/101dos-reis1-0/+2
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
2008-10-14 Fix AW/338dos-reis1-0/+3
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
2008-10-14 Fix AW/23dos-reis1-0/+7
* algebra/fspace.spad.pamphlet (isExpt): Tidy. * algebra/algfunc.spad.pamphlet (inroot): Likewise.
2008-10-09 SF/1872404 fixed.dos-reis1-0/+9
* testsuite/compiler/1872404.spad: New.
2008-10-09 SF/1872445 fixed.dos-reis1-0/+7
* testsuite/compiler/1872445.spad:
2008-08-10 Fix AW/422dos-reis1-0/+6
* interp/i-spec1.boot (upDeclare): Fields are not declarations. * interp/i-map.boot (getUserIdentifiersIn): Ignore field names. * testsuite/interpreter/aw-422.input: New.
2008-08-10(no commit message)dos-reis1-0/+1
2008-07-03 Fix AW/428dos-reis1-0/+5
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-05-29 Fix AW/421.dos-reis1-0/+3
* interp/i-spec2.boot (uphas): When compiling a function, don't bother evaluating type variables. * testsuite/interpreter/aw-412.input: Add.
2008-05-29 * interp/i-analy.boot (conceptualType): Only Mode, Domain, anddos-reis1-0/+10
Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis1-0/+1
* testsuite/interpreter/show.input: New.
2008-05-18 * interp/i-object.boot (wrapped2Quote): Reomve.dos-reis1-0/+1
(getValueNormalForm): New. * interp/i-code.boot (intCodeGenCOERCE): Use it. * interp/i-coerce.boot (coerceIntByMap): Likewise. * interp/i-eval.boot (getArgValue): Likewise. (getArgValue2): Likewise. * interp/i-funsel.boot (selectMms): Likewise. * interp/i-map.boot (rewriteMap): Likewise. * interp/i-spec2.boot (IFcodeTran): Likewise. (evalLET): Likewise. (upreturn): Likewise. * interp/g-cndata.boot (isConstructorName): New. * testsuite/interpreter/eval-dep-type.input: New.
2008-05-17 * interp/compiler.boot (compSetq1): Use %Comma, not Tuple.dos-reis1-0/+8
(setqMultiple): Likewise. * interp/def.lisp (DEF-IS2): Likewise. * interp/define.boot (compAdd): Likewise. * interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise. * interp/fortcall.boot (lmultiToUnivariate): Likewise. (functionAndJacobian): Likewise. (vectorOfFunctions): Likewise. * interp/mark.boot (markMultipleExplicit): Likewise. (markInsertBodyParts): Likewise. * interp/nruncomp.boot (NRTaddDeltaCode): Likewise. * interp/nrunopt.boot (NRTextendsCategory1): Likewise. * interp/postpar.boot (postTransform): Likewise. (postTran): Likewise. (postPretend): Likewise. (postConstruct): Likewise. (postBlockItem): Likewise. (postCategory): Likewise. (postForm): Likewise. (postTransScripts): Likewise. (postJoin): Likewise. (postMapping): Likewise. (postCollect): Likewise. (postInSeq): Likewise. (postType): Likewise. (post%Comma): Rename from postTuple. (unComma): Rename from unTuple. (comma2Tuple): Remove. * interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple. * interp/wi1.boot (compSetq1): Likewise. (setqMultiple):Likewise. * boot/translator.boot (compileBootHandler): Give up if translation to Lisp contained errors. * testsuite/compiler/aw-420.spad: New.
2008-01-25 Fix AW/272dos-reis1-0/+18
* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed functions. Compile them instead. * testsuite/interpreter/aw-272.input: New.
2008-01-22 Apply patch byStephen Wilson <<wilsons@multiboard.com>dos-reis1-0/+79
Fix AW/370 * interp/compiler.boot (compWithMappingMode): Consult current environment to decide which variabes are free. * testsuite/compiler/cwmm-test.spad: New.
2008-01-17 Fix SF/1849734dos-reis1-0/+6
* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2008-01-17extend the case.spad case.input to test the whole Syntax domain.chaosii2-0/+60
2008-01-16 Fix SF/1848975dos-reis1-0/+3
* interp/buildom.boot ($commonCategoryAncestors): New. ($commonCategoryDefaults): Likewise. (Record0): Use it. (Union): Likewise. (Mapping): Likewise. (Enumeration): Likewise. * testsuite/algebra/1848975.input: New.
2008-01-16 Fix SF/1872564dos-reis1-0/+7
* interp/compiler.boot (compPretend): Don't check for `new' compiler semantics. (compColonInside): Likewise. * testsuite/compiler/1872564.spad: New.
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis2-0/+15
* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New.
2008-01-13 Fix SF/1852076dos-reis1-0/+3
* 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/1867459dos-reis1-0/+8
* interp/postpar.boot (postError): Fix thinko. * interp/parse.boot ($defOp): Define. * testsuite/compiler/1867459.spad: New.