index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Expand
)
Author
Files
Lines
2011-11-18
* interp/category.boot (FindFundAncs): Tidy. Access input in
dos-reis
2
-18
/
+24
2011-11-17
* interp/i-eval.boot (evaluateType): Handle % and and signatures.
dos-reis
2
-3
/
+12
2011-11-16
* interp/category.boot (mkCategory): Tidy.
dos-reis
4
-44
/
+77
2011-11-16
* interp/category.boot (JoinInner): Remove effective dead code
dos-reis
2
-28
/
+7
2011-11-15
* interp/category.boot (JoinInner): Use idiomatic Boot for loops.
dos-reis
2
-77
/
+69
2011-11-14
* interp/category.boot ($NewCatVec): Remove.
dos-reis
2
-94
/
+101
2011-11-14
* interp/category.boot (filterConditionalCategories): Split out of
dos-reis
2
-21
/
+40
2011-11-14
* interp/category.boot (SigListMember): Remove as deadcode.
dos-reis
2
-24
/
+18
2011-11-14
* lisp/core.lisp.in: Export %sysInit.
dos-reis
3
-4
/
+11
2011-11-13
* interp/category.boot (JoinInner): Tidy.
dos-reis
2
-28
/
+26
2011-11-13
Fix SF/3436999
dos-reis
2
-76
/
+5
2011-11-13
* interp/sys-driver.boot (initializeDatabases): Honor --initial-db.
dos-reis
8
-81
/
+100
2011-11-13
* interp/br-data.boot (buildLibdbConEntry): Exit early if argument
dos-reis
6
-20
/
+104
2011-11-12
* interp/define.boot (getTargetFromRhs): Do not try to record
dos-reis
2
-2
/
+13
2011-11-11
* interp/define.boot (compDefineCapsuleFunction): Take first
dos-reis
2
-23
/
+31
2011-11-11
* interp/br-data.boot: Change NRTEVAL to %eval.
dos-reis
7
-11
/
+20
2011-11-11
* interp/c-util.boot (dbByteList): New accessor macro.
dos-reis
3
-12
/
+25
2011-11-11
* interp/compiler.boot (applyMapping): Emit special call for
dos-reis
6
-6
/
+50
2011-11-10
* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.
dos-reis
5
-31
/
+18
2011-11-10
* interp/daase.lisp (dbLookupFunction): New accessor macro.
dos-reis
5
-18
/
+32
2011-11-09
* interp/define.boot (compDefineFunctor1): Clear dbTemplate before
dos-reis
3
-1
/
+26
2011-11-09
* interp/define.boot (compFunctorBody): First argument is now a DB.
dos-reis
30
-105
/
+139
2011-11-08
fix thinkos
dos-reis
2
-2
/
+2
2011-11-07
Fix thinko
dos-reis
1
-1
/
+1
2011-11-07
* interp/lisplib.boot (isDomainForm): Tidy.
dos-reis
2
-0
/
+5
2011-11-07
* interp/lisplib.boot (getConstructorOpsAndAtts): Fold content in
dos-reis
3
-15
/
+21
2011-11-07
* interp/compiler.boot ($compileOnlyCertainItems): Remove.
dos-reis
5
-78
/
+32
2011-11-07
* utils/vm.H: Redefine value representation.
dos-reis
2
-76
/
+101
2011-11-06
* interp/c-doc.boot (checkBalance): Fix a latent logic bug.
dos-reis
3
-23
/
+24
2011-11-05
* algebra/Makefile.in: Rework bootstrap dependency.
dos-reis
2
-373
/
+859
2011-11-04
* interp/functor.boot (compCategories): Take second parameter as
dos-reis
5
-40
/
+40
2011-11-02
* interp/lisplib.boot (findModule): Tidy.
dos-reis
2
-2
/
+14
2011-11-02
* interp/spad-parser.boot (parseSpadFile): Use $lineStack not
dos-reis
4
-37
/
+43
2011-11-02
* interp/c-util.boot (dbSubstituteAllQuantified): New.
dos-reis
3
-5
/
+15
2011-11-02
Add compiler support for implicit parameters.
dos-reis
2
-10
/
+98
2011-10-31
* interp/i-funsel.boot (evalMmCond0): Tidy. Call evalMmGuard to
dos-reis
3
-9
/
+65
2011-10-31
null x ~> x = nil cleanup
dos-reis
1
-35
/
+35
2011-10-31
* interp/compiler.boot (evaluateConstructorModemap): Rename from
dos-reis
4
-22
/
+50
2011-10-30
* interp/define.boot (compDefineCategory2): Compute dual signature
dos-reis
3
-22
/
+22
2011-10-30
* interp/define.boot (compDefineCategory2): Compute dual signature
dos-reis
3
-11
/
+17
2011-10-30
* interp/sys-macros.lisp (MKPF1): Tidy.
dos-reis
12
-113
/
+203
2011-10-29
* interp/daase.lisp (dbCompilerData): New accessor macro.
dos-reis
6
-32
/
+67
2011-10-29
* interp/nruncomp.boot (NRTaddDeltaCode): Take a DB parameter.
dos-reis
3
-35
/
+45
2011-10-29
* interp/define.boot ($atList, $sigList): Remove.
dos-reis
2
-25
/
+38
2011-10-29
* interp/lisplib.boot (makePredicateBitVector): Take a DB argument.
dos-reis
6
-10
/
+24
2011-10-29
* interp/define.boot (getInfovecCode): Take a DB argument. Pass
dos-reis
7
-212
/
+36
2011-10-29
* interp/compiler.boot (compHasFormat): Simplify type form.
dos-reis
3
-3
/
+7
2011-10-29
* interp/nruncomp.boot (mkDomainCatName): Remove.
dos-reis
5
-8
/
+20
2011-10-28
* interp/daase.lisp (DATABASE): Add new field CAPSULE-DEFINITIONS.
dos-reis
7
-24
/
+25
2011-10-28
* interp/database.boot (orderPredTran): Tidy.
dos-reis
2
-72
/
+49
[next]