index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
Files
Lines
2018-01-01
Name bracket pattern parser
Gabriel Dos Reis
7
-163
/
+240
2017-12-27
Bemol: Add 'module' as Boot keyword
Gabriel Dos Reis
2
-1
/
+2
2017-12-27
Remove antiquated check for alignas
Gabriel Dos Reis
14
-164
/
+141
2017-12-27
Fix build with SBCL
Gabriel Dos Reis
1
-2
/
+1
2017-01-22
Merge pull request #5 from billpage/fix-gui-lib
Gabriel Dos Reis
1
-1
/
+1
2017-01-21
Fix minor breakage when building gui
Bill Page
1
-1
/
+1
2017-01-20
Format boot tokens.
Gabriel Dos Reis
1
-6
/
+34
2017-01-17
More cleanup.
Gabriel Dos Reis
4
-34
/
+24
2017-01-17
Misc cleanups.
Gabriel Dos Reis
5
-131
/
+120
2017-01-17
Simplify Tokenizer::get.
Gabriel Dos Reis
1
-59
/
+58
2017-01-16
Split Tokenizer::get into two functions.
Gabriel Dos Reis
2
-45
/
+55
2017-01-16
Include commentary lines in fragments.
Gabriel Dos Reis
2
-18
/
+31
2017-01-16
Remove Fragment::last_indent.
Gabriel Dos Reis
3
-8
/
+6
2017-01-16
Decorate each input line with its kind.
Gabriel Dos Reis
2
-1
/
+8
2017-01-15
Use library parser for bemol.
Gabriel Dos Reis
3
-77
/
+79
2017-01-15
Require C++14.
Gabriel Dos Reis
7
-12
/
+15
2017-01-15
Add s-expression parsing to libopen-axiom-core.a
Gabriel Dos Reis
8
-29
/
+23
2017-01-15
TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify
Gabriel Dos Reis
6
-24
/
+26
2017-01-02
Include a native entry point for parsing Boot source files, and for
Gabriel Dos Reis
16
-76
/
+248
2016-12-29
Add Boot support for native load unit specification in foreign
Gabriel Dos Reis
17
-17
/
+84
2016-12-26
* interp/i-output.boot (appChar): Don't modify string parameter.
Gabriel Dos Reis
6
-18
/
+21
2016-04-07
Merge pull request #4 from billpage/enumerate
Gabriel Dos Reis
2
-1
/
+4
2016-04-05
Fix conflict with catdef enumerate
Bill Page
1
-1
/
+1
2016-04-05
Add enumerate to domains that have Finite
Bill Page
1
-0
/
+3
2016-02-14
Fix typo in calculation of X_PRE_LIBS
Bill Page
3
-2
/
+6
2016-02-09
Various cleanups
Gabriel Dos Reis
3
-23
/
+27
2016-02-08
Do not let domain closure escape lookupDefinitionFunction
Gabriel Dos Reis
2
-7
/
+4
2016-02-08
Tidy gerCapsuleDirectoryEntry
Gabriel Dos Reis
1
-2
/
+9
2016-02-07
Remove $NRTaddForm
Gabriel Dos Reis
6
-38
/
+37
2016-02-07
Remove $NRTderivedTargetIfTrue
Gabriel Dos Reis
3
-8
/
+1
2016-02-07
PolynomialCategoryLifting: Weaken constraint on that parameter
Gabriel Dos Reis
1
-1
/
+1
2016-02-07
Fix #1
Gabriel Dos Reis
3
-2
/
+23
2016-02-07
Look for QT5 in /opt/local/libexec/qt5 on OS X
Gabriel Dos Reis
3
-11
/
+39
2016-02-07
Various cleanups
Gabriel Dos Reis
2
-7
/
+7
2016-02-06
Move $lookupDefaults out of newLookupInTable
Gabriel Dos Reis
2
-6
/
+7
2016-02-06
optNot: handle conjunction and disjunction operands
Gabriel Dos Reis
1
-0
/
+4
2016-02-06
Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup
Gabriel Dos Reis
1
-20
/
+18
2016-02-04
Add leadingTerm to IndexedDirectProductCategory
Gabriel Dos Reis
1
-8
/
+7
2016-02-03
Clean up IndexedDirectProductAbelianMonoid
Gabriel Dos Reis
1
-9
/
+2
2016-02-02
Merge branch 'master' of github.com-GabrielDosReis:GabrielDosReis/open-axiom
Gabriel Dos Reis
2
-1
/
+2
2016-02-02
Rename dbConstructorDefault to dbDefaultPackage
Gabriel Dos Reis
5
-30
/
+36
2016-02-01
Merge pull request #3 from billpage/alg-typo
Gabriel Dos Reis
2
-1
/
+2
2016-02-01
Remove dead code in compFunctorBody
Gabriel Dos Reis
1
-4
/
+0
2016-02-01
a typo and an omission
Bill Page
2
-1
/
+2
2016-02-01
Better indirect call resolution
Gabriel Dos Reis
3
-55
/
+57
2016-02-01
Support ')read' of Boot file
Gabriel Dos Reis
2
-10
/
+13
2016-01-31
Tidy noteCapsuleFunctionDefinition
Gabriel Dos Reis
1
-7
/
+9
2016-01-31
Defer compilation of capsule functions to compFunctorBody
Gabriel Dos Reis
1
-4
/
+3
2016-01-31
Rename compileConstrutor to compileConstructorIR
Gabriel Dos Reis
1
-17
/
+10
2016-01-31
Small cleanup in define.boot
Gabriel Dos Reis
2
-16
/
+3
[next]