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
2016-01-30
Normalize spelling of mkpf.
Gabriel Dos Reis
8
-17
/
+17
2016-01-30
Tidy category predicate conjunction.
Gabriel Dos Reis
2
-7
/
+5
2016-01-30
FreeModule: Tidy implementation.
Gabriel Dos Reis
1
-37
/
+29
2016-01-30
Remove superflous declarations.
Gabriel Dos Reis
1
-10
/
+4
2016-01-28
Fix storeBlanks\!
Gabriel Dos Reis
1
-2
/
+3
2016-01-25
Remove various crufts.
Gabriel Dos Reis
36
-356
/
+347
2016-01-25
Misc. cleanup
Gabriel Dos Reis
9
-56
/
+60
2016-01-24
Misc. fixes
Gabriel Dos Reis
16
-25
/
+31
2016-01-22
finalizeLisplib: skip category packages
Gabriel Dos Reis
1
-1
/
+1
2016-01-22
Remove antiquated syntax for operator declaration.
Gabriel Dos Reis
5
-11
/
+7
2016-01-22
getConstructorFullNameFromDB: get it directly.
Gabriel Dos Reis
2
-6
/
+2
2016-01-21
getConstructorAncestorsFromDB: get them from generated code
Gabriel Dos Reis
7
-2962
/
+2950
2016-01-20
getConstructorArgsFromDB: remove as redundant.
Gabriel Dos Reis
4
-10
/
+4
2016-01-20
getConstructorFromFromDB: get it from compiled code.
Gabriel Dos Reis
2
-9
/
+7
2016-01-20
Include compiled initdb in final system image.
Gabriel Dos Reis
1
-2
/
+6
2016-01-20
testExtend: Handle case where first argument is presented as an attribute.
Gabriel Dos Reis
2
-2
/
+5
2016-01-19
Skip interp.daase for a few database info in generated code.
Gabriel Dos Reis
2
-14
/
+9
2016-01-19
getConstructorCategory: get it from generated code for category constructors.
Gabriel Dos Reis
4
-4
/
+11
2016-01-17
subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %
Gabriel Dos Reis
20
-1909
/
+1794
2016-01-17
Maybe: CoercibleTo OutputForm is now optional.
Gabriel Dos Reis
1
-5
/
+7
2016-01-17
Propagate renaming.
Gabriel Dos Reis
2
-2
/
+2
2016-01-17
Rename Magma to FreeMagma
Gabriel Dos Reis
4
-21
/
+21
2016-01-17
getConstructorParentsFromDB: get data from compiled code.
Gabriel Dos Reis
3
-8
/
+11
2016-01-16
Reduce dependencies on databases to catgeory.daase during algebra build
Gabriel Dos Reis
18
-195
/
+194
2016-01-13
GETDATABASE: Remove dead alternatives.
Gabriel Dos Reis
1
-7
/
+1
2016-01-13
getSuperDomainFromDB: get data from generated code
Gabriel Dos Reis
4
-4
/
+11
2016-01-12
Share more code between various parts of the compiler.
Gabriel Dos Reis
4
-6
/
+30
2016-01-12
More algebra dependencies
Gabriel Dos Reis
3
-26
/
+65
2016-01-11
Algebra layer 0 now starts with basic types
Gabriel Dos Reis
2
-422
/
+323
2016-01-09
Switch getDualSignature to avoiding interpreter database
Gabriel Dos Reis
5
-18
/
+23
2016-01-09
Every use of getDualSignature that does not ensure that builtin
Gabriel Dos Reis
12
-36
/
+52
2016-01-09
instantiateNiladics\!: Tidy.
Gabriel Dos Reis
1
-2
/
+3
2016-01-09
Remove $AncestorsTable. Adjust users.
Gabriel Dos Reis
4
-43
/
+29
2016-01-08
Remove dead codes.
Gabriel Dos Reis
3
-34
/
+0
2016-01-08
Misc cleanup.
Gabriel Dos Reis
1
-24
/
+21
2016-01-08
Replace \*ANCESTORS-HASH\* with $AncestorsTable.
Gabriel Dos Reis
3
-16
/
+16
2016-01-08
Replace \*HASCATEGORY-HASH\* with $HasCategoryTable
Gabriel Dos Reis
5
-28
/
+25
2016-01-07
Remove 'parentsOf'; adjust users.
Gabriel Dos Reis
3
-13
/
+8
2016-01-07
ancestorsRecur: Tidy.
Gabriel Dos Reis
1
-2
/
+2
2016-01-07
computeAncestorsOf: First parameter is now a DB for the the constructor.
Gabriel Dos Reis
2
-5
/
+7
2016-01-07
Remove dead code. Add DB parameter for getFormModemaps.
Gabriel Dos Reis
3
-49
/
+25
2016-01-06
Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?
Gabriel Dos Reis
6
-10
/
+16
2016-01-06
findOperatorImplementations: Take a DB parameter.
Gabriel Dos Reis
1
-8
/
+8
2016-01-06
optFunctorBody: Take a DB argument.
Gabriel Dos Reis
3
-19
/
+19
2016-01-06
macroExpand: Do not expand the definiendum in a definition.
Gabriel Dos Reis
2
-5
/
+10
2016-01-04
orDnf: Fix longstanding thinko.
Gabriel Dos Reis
1
-2
/
+2
2016-01-03
More algebra dependency layering.
Gabriel Dos Reis
2
-541
/
+857
2016-01-01
More algebra layering and dependencies.
Gabriel Dos Reis
2
-438
/
+502
2015-12-31
coerceEasy: Allow expansion of current domain in the target mode.
Gabriel Dos Reis
3
-20
/
+26
2015-12-31
Don't unconditionally reference primitive types if they are being defined.
Gabriel Dos Reis
3
-9
/
+21
[prev]
[next]