index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
new-luxc
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2018-01-09
- WIP: JS runtime.
Eduardo Julian
1
-0
/
+1096
2018-01-08
- Re-factored initialization functions to their own module.
Eduardo Julian
4
-35
/
+51
2018-01-08
- Moved all translation code under the JVM path (in preparation for porting t...
Eduardo Julian
22
-55
/
+57
2018-01-08
- Now using synthesis extensions during synthesis.
Eduardo Julian
5
-19
/
+45
2018-01-05
- Added "lux program" compilation.
Eduardo Julian
3
-9
/
+80
2018-01-04
- Fixed inference involving existentials.
Eduardo Julian
1
-3
/
+24
2018-01-03
- Added "Box" support to new-luxc.
Eduardo Julian
2
-1
/
+83
2018-01-03
- Fixed a bug when creating directories during compilation.
Eduardo Julian
1
-7
/
+10
2017-12-17
- Got the tests to run again.
Eduardo Julian
2
-21
/
+18
2017-12-13
- Added CLI machinery to compiler.
Eduardo Julian
3
-39
/
+75
2017-12-05
- WIP: Caching.
Eduardo Julian
13
-315
/
+513
2017-12-05
- Fixed a bug when analysing empty records.
Eduardo Julian
1
-0
/
+4
2017-12-05
- All analysis procedures have been turned into extensions.
Eduardo Julian
10
-95
/
+88
2017-12-05
- Added analysis, synthesis, translation and statement extensions.
Eduardo Julian
11
-182
/
+373
2017-12-03
- Improved statement-level macro-expansion.
Eduardo Julian
1
-31
/
+34
2017-12-02
- Got most of the tests working again.
Eduardo Julian
10
-23
/
+85
2017-12-02
- "gensym" went back to producing Code, instead of Ident.
Eduardo Julian
3
-14
/
+12
2017-12-02
- Added new "lux in-module" procedure for changing the module while analysing...
Eduardo Julian
1
-5
/
+23
2017-12-02
- Adjusted new-luxc to new macro-templating syntax.
Eduardo Julian
17
-60
/
+61
2017-12-01
- Now using platform-specific path separators instead of "/".
Eduardo Julian
1
-6
/
+9
2017-12-01
- Made it so that module annotations can only be set once now.
Eduardo Julian
1
-7
/
+17
2017-12-01
- Got the tests to compile again.
Eduardo Julian
25
-1636
/
+1636
2017-11-29
- Adapted main codebase to the latest syntatic changes.
Eduardo Julian
53
-4543
/
+4477
2017-11-26
- Changed to the new relative imports syntax.
Eduardo Julian
11
-39
/
+37
2017-11-23
- Added REPL.
Eduardo Julian
3
-7
/
+324
2017-11-22
- Fixed some bugs.
Eduardo Julian
6
-184
/
+242
2017-11-21
- Fixed some bugs.
Eduardo Julian
14
-252
/
+311
2017-11-20
- Added parallel compilation.
Eduardo Julian
15
-178
/
+494
2017-11-15
- Moved "luxc/lang/host/macro" to "luxc/lang/macro".
Eduardo Julian
3
-8
/
+8
2017-11-15
- Re-named "lux/meta" to to "lux/macro".
Eduardo Julian
59
-568
/
+569
2017-11-15
- Moved "/type/*" to from "lux/meta/" to "lux/".
Eduardo Julian
1
-9
/
+3
2017-11-15
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Eduardo Julian
22
-38
/
+38
2017-11-15
- Moved "luxc/lang/syntax" to "lux/lang/syntax".
Eduardo Julian
18
-925
/
+68
2017-11-15
- Moved type-cleaning to lux/meta/type/check.
Eduardo Julian
2
-40
/
+4
2017-11-15
- Got the tests to run again.
Eduardo Julian
15
-95
/
+93
2017-11-15
- Heavy refactoring.
Eduardo Julian
40
-160
/
+154
2017-11-14
- Modified the syntax for module definitions.
Eduardo Julian
2
-13
/
+40
2017-11-14
- Made "lux text clip" work like it used to.
Eduardo Julian
3
-34
/
+34
2017-11-14
- Fixed some bugs.
Eduardo Julian
4
-5
/
+29
2017-11-14
- Removed "lux text last-index" procedure.
Eduardo Julian
5
-62
/
+104
2017-11-14
- Implemented loop translation.
Eduardo Julian
4
-47
/
+101
2017-11-14
- Added hashing to avoid collisions in case-insensitive file-systems.
Eduardo Julian
3
-12
/
+13
2017-11-14
- Yet more refactoring.
Eduardo Julian
9
-155
/
+115
2017-11-13
- More refactoring.
Eduardo Julian
5
-72
/
+53
2017-11-13
- Refactoring.
Eduardo Julian
17
-515
/
+518
2017-11-13
- Improved handling of type variables.
Eduardo Julian
3
-19
/
+64
2017-11-13
- Type-vars no longer get deleted.
Eduardo Julian
11
-102
/
+110
2017-11-12
- Fixed some bugs.
Eduardo Julian
7
-133
/
+151
2017-11-09
- Fixed the tests.
Eduardo Julian
14
-129
/
+237
2017-11-06
- Fixed some bugs.
Eduardo Julian
9
-37
/
+62
[next]