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
2008-07-26
(no commit message)
dos-reis
1
-0
/
+12
2008-07-25
2008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>
dos-reis
4
-25
/
+60
2008-07-23
Tidy
dos-reis
1
-1
/
+1
2008-07-23
* boot/strap: Update cached Lisp translation.
dos-reis
3
-53
/
+129
2008-07-23
Misc cleanup.
dos-reis
6
-38
/
+110
2008-07-20
* interp/compiler.boot (compNot): Rename from compileNot.
dos-reis
2
-3
/
+7
2008-07-17
* input/pat.input.pamphlet (square): Define square an operatpr.
dos-reis
2
-0
/
+3
2008-07-15
Fix SF/2015650
dos-reis
2
-1
/
+10
2008-07-15
* share/algebra: Update databases.
dos-reis
9
-21915
/
+21910
2008-07-12
* interp/i-funsel.boot (findUniqueOpInDomain): Use evaluation type
dos-reis
3
-8
/
+20
2008-07-11
* interp/sys-driver.boot (initializeGlobalState): New.
dos-reis
4
-16
/
+23
2008-07-11
* interp/nruncomp.boot (NRTencode): Don't encode enumerations.
dos-reis
2
-4
/
+13
2008-07-11
* interp/compiler.boot (compQuote): Restrict quoting to literal
dos-reis
4
-7
/
+20
2008-07-09
* interp/i-spec2.boot (findConstantInDomain): Abstract from
dos-reis
3
-9
/
+24
2008-07-09
* interp/template.boot (evalSlotDomain): Likewise.
dos-reis
6
-11
/
+24
2008-07-07
* interp/spad.lisp (S-PROCESS): Remove Old Boot specific codes.
dos-reis
17
-96
/
+61
2008-07-07
* boot/initial-env.lisp: Export $InteractiveMode and
dos-reis
8
-127
/
+66
2008-07-06
* interp/parse.boot ($normalizeTree): New.
dos-reis
7
-23
/
+54
2008-07-06
* interp/parse.boot (parseTran): Don't set $op. Don't strip parse
dos-reis
2
-63
/
+113
2008-07-05
* interp/nruncomp.boot (NRTassocIndex): Document.
dos-reis
4
-9
/
+25
2008-07-04
* interp/compiler.boot (compFormMatch): Tidy.
dos-reis
9
-23
/
+108
2008-07-04
Fix AW/429
dos-reis
2
-2
/
+7
2008-07-04
* interp/category.boot (isCategory): Document.
dos-reis
2
-46
/
+77
2008-07-04
Update databases.
dos-reis
5
-20001
/
+20002
2008-07-04
* interp/Makefile.pamphlet (OBJS): Don't include nruntime.$(FASLEXT).
dos-reis
9
-80
/
+55
2008-07-03
Fix AW/428
dos-reis
4
-7
/
+27
2008-07-03
* interp/postpar.boot (postBootNotEqual): Register post-parsers by
dos-reis
2
-33
/
+36
2008-07-03
(compAndDefine): Capture by name, not pointer.
dos-reis
4
-19
/
+32
2008-07-02
(coerceExtraHard): Convert domain instantiations to domain objects.
dos-reis
2
-8
/
+11
2008-07-02
* interp/compiler.boot (compExpression): Tidy.
dos-reis
2
-2
/
+7
2008-06-14
* algebra/variable.spad.pamphlet (ModePatternVariable): New.
dos-reis
8
-19445
/
+19465
2008-06-03
* interp/comp.lisp (|compAndDefine|): Move to interp/compiler.boot
dos-reis
4
-71
/
+49
2008-06-03
* interp/define.boot (compDefineCategory): Check that a category
dos-reis
3
-0
/
+12
2008-05-31
(no commit message)
dos-reis
6
-18462
/
+18467
2008-05-30
Fix typo in getConstructorKindFromDB
Bill Page
1
-1
/
+1
2008-05-29
Fix AW/421.
dos-reis
3
-2
/
+18
2008-05-29
* interp/i-analy.boot (conceptualType): Only Mode, Domain, and
dos-reis
3
-2
/
+19
2008-05-29
* interp/interop.boot (newHasCategory): Category is a category, and
dos-reis
2
-1
/
+6
2008-05-29
* interp/showimp.boot (showPredicates): Fix typo.
dos-reis
3
-1
/
+7
2008-05-29
* algebra/catdef.spad.pamphlet (OrderedMonoid): Nown
dos-reis
7
-16990
/
+16995
2008-05-28
* include/open-axiom.h (openaxiom_handle): New datatype.
dos-reis
3
-7
/
+21
2008-05-28
* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.
dos-reis
9
-24260
/
+24284
2008-05-24
* interp/i-coerce.boot (retract2Specialization): Leave if object
dos-reis
2
-0
/
+4
2008-05-24
* interp/define.boot (compDefineFunctor1): Robustify.
dos-reis
3
-7
/
+10
2008-05-24
* interp/c-util.boot (stackAndThrow): Take an optional parameter.
dos-reis
4
-12
/
+18
2008-05-24
* algebra/modgcd.spad.pamphlet: Fix sectioning thinko.
dos-reis
2
-1
/
+4
2008-05-23
Fix AW/57
dos-reis
2
-21
/
+40
2008-05-23
Fix breakage from last commits.
dos-reis
8
-2457
/
+2478
2008-05-23
Minimize build noise on win32
dos-reis
5
-25
/
+38
2008-05-23
Port htadd to win32
dos-reis
8
-104
/
+65
[prev]
[next]