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
2022-08-13
Use `char8_t` in the tool hammer
Gabriel Dos Reis
1
-267
/
+276
2022-08-14
Merge pull request #13 from GabrielDosReis/gdr/rename-Dynamic-to-Boxed
Gabriel Dos Reis
3
-54
/
+48
2022-08-13
Merge pull request #12 from GabrielDosReis/gdr/use-cxx-concepts
Gabriel Dos Reis
4
-29
/
+26
2022-08-13
Merge pull request #11 from GabrielDosReis/gdr/cxx-version-requirement
Gabriel Dos Reis
3
-9
/
+9
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-08-12
Refactor Autconf macro for requiring C++ version.
Gabriel Dos Reis
3
-9
/
+9
2022-08-01
Merge pull request #10 from GabrielDosReis/gdr/require-cxx17
Gabriel Dos Reis
3
-7
/
+7
2022-07-28
Require C++17.
Gabriel Dos Reis
3
-7
/
+7
2022-07-25
Merge pull request #9 from GabrielDosReis/gdr/configure-update
Gabriel Dos Reis
10
-3642
/
+4856
2022-07-24
Merge pull request #8 from GabrielDosReis/gdr/fix-memset-inverted-args
Gabriel Dos Reis
1
-2
/
+2
2022-07-24
Fix inverted arguments in call to `memset`.
Gabriel Dos Reis
1
-2
/
+2
2022-07-23
Update configure.
Gabriel Dos Reis
10
-3642
/
+4856
2018-02-01
Fix thinko
Gabriel Dos Reis
1
-1
/
+1
2018-01-02
Keep eol at LF
Gabriel Dos Reis
1
-0
/
+3
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
[next]