|
|
ff31a8fa35
|
move the state parameter to final position in all functions
|
2025-02-07 15:21:17 -06:00 |
|
|
|
0b280af591
|
disambiguate isEmpty and isStackEmpty
|
2025-02-07 14:46:18 -06:00 |
|
|
|
ad4b7a2341
|
more instructions/knocking off the TODO
|
2025-02-07 01:03:14 -06:00 |
|
|
|
b47371a2fd
|
more changes/todo
|
2025-02-06 23:42:15 -06:00 |
|
|
|
813b4db541
|
moved
|
2025-02-06 18:37:09 -06:00 |
|
|
|
7c7de9f3e8
|
restructuring/logical -> bool
|
2025-02-06 16:52:42 -06:00 |
|
|
|
2404e7e5e1
|
instruction list, comment cleanup, todos
|
2025-02-06 15:49:06 -06:00 |
|
|
|
194c025486
|
the start to implementing plushy interpretation
|
2025-02-05 23:46:37 -06:00 |
|
|
|
add949ed05
|
modify Eq function
|
2025-02-05 01:05:51 -06:00 |
|
|
|
e40ef0ce62
|
more tests and many more togo
|
2025-02-05 01:03:24 -06:00 |
|
|
|
58cb593cff
|
more gp notes
|
2025-02-04 14:43:08 -06:00 |
|
|
|
12b8cb56a7
|
formatting and generic tests
|
2025-02-04 03:36:33 -06:00 |
|
|
|
83066eb74c
|
start work on using quickcheck to test states
|
2025-02-02 22:27:46 -06:00 |
|
|
|
153e560801
|
remove generic reference
|
2025-02-01 22:34:31 -06:00 |
|
|
|
8c95f3ac06
|
remove LearnQuickCheck
|
2025-02-01 20:46:04 -06:00 |
|
|
|
2d70f666e8
|
delete MainOld
|
2025-02-01 18:19:07 -06:00 |
|
|
|
413b9eee44
|
only keep things I like from learn_quickcheck
|
2025-02-01 18:15:09 -06:00 |
|
|
|
319f682d4a
|
clean up/basic tests
|
2025-02-01 01:24:27 -06:00 |
|
|
|
27ee85ae28
|
string name in StateFunc
|
2025-02-01 01:24:07 -06:00 |
|
|
|
8fa26fbf27
|
adjust for name in StateFunc
|
2025-02-01 01:23:45 -06:00 |
|
|
|
24442169bf
|
also formatting
|
2025-02-01 00:18:33 -06:00 |
|
|
|
32b48b79d0
|
formatting
|
2025-02-01 00:18:17 -06:00 |
|
|
|
e5285e5c8f
|
quickcheck class implementations done
|
2025-01-31 23:50:07 -06:00 |
|
|
|
125f137643
|
trying things...
|
2025-01-31 18:43:15 -06:00 |
|
|
|
b3e1b96ff5
|
move/rename
|
2025-01-31 18:35:39 -06:00 |
|
|
|
f484da2308
|
more quickcheck learning, just gonna go for it now
|
2025-01-31 18:34:31 -06:00 |
|
|
|
6c4c84e7dc
|
Merge branch 'vectors_code' into learn_quickcheck
merge vectors_code into learn_quickcheck
|
2025-01-31 17:12:39 -06:00 |
|
|
|
dc9e9fdb19
|
calculus -> all propeller instructions
|
2025-01-31 15:52:53 -06:00 |
|
|
|
1d56143712
|
comment cleanup
|
2025-01-31 15:49:06 -06:00 |
|
|
|
d10df10351
|
make int instructions generic
|
2025-01-31 15:42:49 -06:00 |
|
|
|
5436914f41
|
move plushy mention
|
2025-01-31 03:15:34 -06:00 |
|
|
|
df4b4287b0
|
Merge branch 'vectors_code' of c57keqcdj43nn2xukakrqm2wwx255et7oyuktopk5fpopzzg54thkjid.onion:evo-trading/HushGP into vectors_code
Merge in todo files
|
2025-01-31 03:13:50 -06:00 |
|
|
|
68cc4fc2d1
|
comment for Plushy later
|
2025-01-31 03:12:20 -06:00 |
|
|
|
8be1431458
|
comments
|
2025-01-31 03:10:39 -06:00 |
|
|
|
8d01d9a208
|
burned out of quick check for today, more later
|
2025-01-30 20:59:36 -06:00 |
|
|
|
c3dbe2b28b
|
Add sorting a vector
|
2025-01-30 15:22:16 -06:00 |
|
|
|
173c689000
|
Add TODO.md
|
2025-01-30 15:01:36 -06:00 |
|
|
|
fa2b16443f
|
fix index & Lens name confliction
|
2025-01-30 13:27:09 -06:00 |
|
|
|
fe70af6e28
|
comments
|
2025-01-30 02:44:34 -06:00 |
|
|
|
63e9cff55e
|
finish up the instructions
|
2025-01-29 23:43:05 -06:00 |
|
|
|
206a3217d9
|
need to redo this, this isn't working. Thinking quickCheck
|
2025-01-29 16:35:40 -06:00 |
|
|
|
d7a2a4a6a6
|
add more instructions
|
2025-01-29 16:35:22 -06:00 |
|
|
|
cef9c92b56
|
more instructions, gonna rework the unit testing framework
|
2025-01-29 16:35:05 -06:00 |
|
|
|
53d62f31c7
|
add instructions to re export
|
2025-01-29 14:50:42 -06:00 |
|
|
|
0c9538e2f2
|
delete learnlens
|
2025-01-29 14:50:05 -06:00 |
|
|
|
048b7fc9fb
|
re export into one module
|
2025-01-29 14:49:16 -06:00 |
|
|
|
67d6125f03
|
finish the iterate function
|
2025-01-29 01:45:42 -06:00 |
|
|
|
04d54c12a5
|
move some interpretExec functions
|
2025-01-29 01:44:23 -06:00 |
|
|
|
a53611230e
|
float instructions
|
2025-01-29 01:43:59 -06:00 |
|
|
|
34a0afb242
|
generic vector instructions done
|
2025-01-28 23:47:37 -06:00 |
|
