|
|
774eb668de
|
Clean out, start sl JIT project (no jit yet)
|
2023-11-19 16:33:19 -05:00 |
|
|
|
87763fad40
|
Tons of slide work, unfortunately depend on external MathJax - need to pull that down later
|
2023-04-18 01:47:10 -04:00 |
|
|
|
54f1092a2a
|
Old sketches, start simpler benchmarks setup with Koka WASM
|
2023-01-16 15:32:45 -05:00 |
|
Nathan Braswell
|
81a54b5a06
|
Old .gitignore actually prevent the kraken versions of the benchmarks from being comitted, scarily enough - also some of the c fib tests
|
2022-05-18 01:28:49 -04:00 |
|
Nathan Braswell
|
5cdaafebe2
|
Change lapply to optionally take in an explicit env, make it optional for vapply so they match, then tweak Y such that it threads the dynamic env through, then implement eta-reduction in the compiler backend. This provides about the same speedup again from the Y elimination, as it's kinda the other half for fully getting rid of Y such that there's just static recursive calls. fib.kp went from 1.7 -> 1.1 -> 0.5, and fib_let similarly. fib.kp is now faster than fib_manual, but just by a bit.
|
2022-04-17 01:52:01 -04:00 |
|
Nathan Braswell
|
7f220c97b8
|
Finally make a clean sweep and delete / organize old files. Add skeleton for LaTeX formal writeup in doc/ and change license (since this is all new code from the past few years) to BSD-2-Clause-Patent
|
2022-01-30 16:57:21 -05:00 |
|
Nathan Braswell
|
2bc9ce497b
|
FINALLY FIXED THE PROBLEM - was using set instead of set_single, so it set it's child as well, causing the type loop. Also, the binding replace child evaluated the parameters first, changing t's parent before t->parent->replace_child happened
|
2019-07-13 18:01:04 -04:00 |
|
Nathan Braswell
|
38133b8bc3
|
Pull binding out into it's own templated object so we can use it for types for unification
|
2018-09-22 10:44:02 -04:00 |
|
Nathan Braswell
|
e2639989c9
|
ref_lower now generates C, though a ton of syntax errors
|
2017-01-20 01:11:06 -05:00 |
|
Nathan Braswell
|
f71b5f3576
|
Init globals before lowering CTCE, allows CTCE to use imported functions, etc.
|
2016-07-06 00:16:39 -07:00 |
|
Nathan Braswell
|
b52d38f648
|
Added in version numbers/hashes pulled from git - captain.sh generates at build time compiler_version.krak to be imported by kraken.main
|
2016-04-27 15:59:28 -04:00 |
|
Nathan Braswell
|
04d2af4168
|
Bugfixes, remove the cast_ptr function
|
2016-04-19 06:04:22 -04:00 |
|
Nathan Braswell
|
c7e50282ad
|
Move Cephelepod into deprecated_compiler, create captian.sh to handle bootstrapping kraken from backup or from Cephelepod
|
2016-03-29 12:54:05 -04:00 |
|
Nathan Braswell
|
40c3e428c1
|
move test_compiler up to main kraken.krak and fix linker string, make paths work correctly
|
2016-03-28 17:12:53 -04:00 |
|
Nathan Braswell
|
fcc0e770a5
|
Fixed a limitToFunction bug or two, work on ADTs
|
2015-11-06 03:23:55 -05:00 |
|
Nathan Braswell
|
d72cbdcedb
|
Serilization and caching the table works!
|
2015-08-26 03:45:34 -04:00 |
|
Nathan Braswell
|
1f119af8ad
|
more work
|
2015-08-06 02:42:40 -04:00 |
|
Nathan Braswell
|
b62c3e729f
|
Some more work, and a --parse-only option to support the new kraken.vim vim plugin that adds Syntastic support (and syntax highlighting)
|
2015-07-03 18:34:46 -04:00 |
|
Nathan Braswell
|
542821dd81
|
Ton of work on closures, getting very close. Have the extra types and the promotion and calling all worked out. Now only the actual closure part of the struct needs to be done
|
2015-06-25 04:09:19 -04:00 |
|
Nathan Braswell
|
7abab02fbf
|
More all-rounded implementation of the new objecty features, several bugfixes, and updates to the standard library to behave. Vector still needs a bit more work for some operations
|
2015-06-05 00:34:24 -04:00 |
|
Nathan Braswell
|
4bc42bc516
|
remove and add the topLevelVarInit folder to the gitignore
|
2015-05-16 00:11:22 -04:00 |
|
Chris Fadden
|
d166dc9b5f
|
modified stdlib vector a bit, added matrix, removed ChrisTest
|
2015-05-16 00:03:36 -04:00 |
|
Nathan Braswell
|
414113f954
|
Wooo passthrough and more cleanup! Remove 3rd pass!
|
2015-03-24 18:29:21 -04:00 |
|
Nathan Braswell
|
6a311fb237
|
WOOO compiles all in one file! Dependencies resolved! Next up, C name mangeling for scoping
|
2015-03-11 01:58:10 -04:00 |
|
Nathan Braswell
|
9e9b4371da
|
Fixed up testing etc
|
2015-01-09 14:28:07 -05:00 |
|
Nathan Braswell
|
417e5ed898
|
Scope work progressing. Gotta fix bugs. Good save spot.
|
2014-12-19 18:29:33 -05:00 |
|
