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
2022-08-23
Fix a silent bad codegen (#19)
Gabriel Dos Reis
1
-3
/
+1
2022-08-21
Fix build with SBCL-2.1.0 (#18)
Gabriel Dos Reis
1
-3
/
+3
2022-08-21
Boot parser: Remove useless AST functions (#17)
Gabriel Dos Reis
5
-36
/
+15
2022-08-20
fix sbcl 1.5.9 build (#16)
Gabriel Dos Reis
5
-42
/
+66
2022-08-15
Stop referencing `std::hash<T>::result_type`
Gabriel Dos Reis
1
-19
/
+16
2022-08-13
Use `char8_t` in the tool hammer
Gabriel Dos Reis
1
-267
/
+276
2022-08-13
Rename `Dynamic` to `Boxed`
Gabriel Dos Reis
3
-54
/
+48
2022-08-12
Use C++ concepts in lieu of SFINAE.
Gabriel Dos Reis
4
-29
/
+26
2022-07-23
Update configure.
Gabriel Dos Reis
5
-95
/
+159
2022-07-24
Fix inverted arguments in call to `memset`.
Gabriel Dos Reis
1
-2
/
+2
2018-02-01
Fix thinko
Gabriel Dos Reis
1
-1
/
+1
2018-01-01
Name bracket pattern parser
Gabriel Dos Reis
5
-151
/
+228
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
8
-11
/
+102
2017-12-27
Fix build with SBCL
Gabriel Dos Reis
1
-2
/
+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
4
-7
/
+10
2017-01-15
Add s-expression parsing to libopen-axiom-core.a
Gabriel Dos Reis
7
-28
/
+19
2017-01-15
TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify
Gabriel Dos Reis
4
-13
/
+15
2017-01-02
Include a native entry point for parsing Boot source files, and for
Gabriel Dos Reis
14
-64
/
+236
2016-12-29
Add Boot support for native load unit specification in foreign
Gabriel Dos Reis
12
-16
/
+65
2016-12-26
* interp/i-output.boot (appChar): Don't modify string parameter.
Gabriel Dos Reis
4
-7
/
+10
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-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
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
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
[next]