miloignis
0 Followers · 0 Following
  • Joined on 2023-01-28
Repositories
3
 Projects Packages Public Activity Starred Repositories
miloignis pushed to master at miloignis/kraken 2023-02-21 03:20:04 +00:00
76b68e28d8 Implement cached hashes
miloignis pushed to master at miloignis/kraken 2023-02-20 05:22:32 +00:00
7f10d111ac Fix attempted in SuspendedPair, a lot more tests also work PE-wise now. Many are overflowing the stack, might be recursion causing or just really bad lack of tail calls, or a bug...
miloignis pushed to master at miloignis/kraken 2023-02-20 04:16:13 +00:00
5107c1d7e4 Add in evaling of DeriComb, first let test in fib passes now (but not fib itself)
miloignis pushed to master at miloignis/kraken 2023-02-20 01:33:11 +00:00
4d251964a2 Sketch combiner_return_ok and fix DeriComb ids
miloignis pushed to master at miloignis/kraken 2023-02-20 00:28:51 +00:00
5df87a53cf Proper progress decisionmaking via NeededIDs and DCtx taking into account ids and hashes (not that we're storing hashes yet)
miloignis pushed to master at miloignis/kraken 2023-02-19 23:52:42 +00:00
71326738fa First basic use of suspended lookup progress using the environment, basic tests passing again for pe
miloignis pushed to master at miloignis/kraken 2023-02-19 17:37:16 +00:00
91e0641045 Split Ctx into BCtx (bi-directional ctx, must be returned) and DCtx (downwards-ctx, only passed down). Env goes in DCtx, so you don't have to play a replace-back game with ctx when returning from function calls.
miloignis pushed to master at miloignis/kraken 2023-02-19 06:19:02 +00:00
283c0232b0 Some steps forward, some back - add sanity testing that eval(e,x) == parial_eval(ctx, x.unval()), start fixing the bugs it reveals, split SuspendedLookup into SuspendedEnvLookup and SuspendedParamLookup
miloignis pushed to master at miloignis/kraken 2023-02-19 05:46:58 +00:00
fdaca7f807 Implement basic derived calls, and fix eval not unvaling bug
miloignis pushed to master at miloignis/kraken 2023-02-19 03:46:26 +00:00
c5f7a52a38 Implment basic function calling pe
miloignis pushed to master at miloignis/kraken 2023-02-19 00:33:03 +00:00
b893787a1b move towards just MarkedForm (with no Value(Form)), with Attempted and MarkedIDs, and sketch out the MarkedForm::PrimComb versions of all the primitives with translation from PrimComb
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:16:48 +00:00
763c37351d Combine with main flake, though keeping nixpkgs inputs seperate for now
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:09:03 +00:00
f8ded36c6a Add condoserver pub key to vps
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:06:11 +00:00
bc38d974c9 VPS controlled by flakes now
miloignis pushed to main at miloignis/nix_config 2023-02-18 18:09:47 +00:00
9b3415c18e Don't suspend condoserver on lid close
miloignis pushed to main at miloignis/nix_config 2023-02-18 18:05:32 +00:00
ca61b61773 remote activation of condoserver flake
miloignis pushed to main at miloignis/nix_config 2023-02-18 17:52:44 +00:00
826bbe8c03 Add basic condoserver
miloignis pushed to master at miloignis/kraken 2023-02-16 23:21:17 +00:00
8b59d5a16a reorginze, start sketching partial eval
miloignis pushed to master at miloignis/kraken 2023-02-14 18:18:22 +00:00
520e473415 Add RBTREE and test, along with <, >, <=, >=
miloignis pushed to master at miloignis/kraken 2023-02-14 17:47:51 +00:00
f568ee3d50 Add len, finish match