|
|
14ec3b727e
|
most string funcs generic/doced
|
2025-02-10 14:44:12 -06:00 |
|
|
|
b936dda857
|
more documentation/generic string functions
|
2025-02-09 22:17:18 -06:00 |
|
|
|
2d6b888e2e
|
generic string instructions and more documentation
|
2025-02-09 19:34:23 -06:00 |
|
|
|
efb4d80962
|
float docs, typo fixes, string -> float fix
|
2025-02-09 14:27:45 -06:00 |
|
|
|
6a78fd0ba6
|
Generic documentation done
|
2025-02-09 14:00:50 -06:00 |
|
|
|
ebaf1dfc20
|
more documentation, more to go
|
2025-02-08 20:57:24 -06:00 |
|
|
|
de18d828a9
|
documentation, time to fix my sleep schedule
|
2025-02-07 17:55:12 -06:00 |
|
|
|
867f3ac440
|
make pattern matching parameters consistent
|
2025-02-07 15:51:24 -06:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
32b48b79d0
|
formatting
|
2025-02-01 00:18:17 -06:00 |
|
|
|
e5285e5c8f
|
quickcheck class implementations done
|
2025-01-31 23:50:07 -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 |
|
|
|
1d56143712
|
comment cleanup
|
2025-01-31 15:49:06 -06:00 |
|
|
|
d10df10351
|
make int instructions generic
|
2025-01-31 15:42:49 -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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
74d95c26aa
|
everything to VectorDatatype
|
2025-01-28 23:11:23 -06:00 |
|
|
|
60f71bef07
|
forgot to delete some comments
|
2025-01-28 22:10:14 -06:00 |
|
|
|
363425b39b
|
a lot of genericization and updates
|
2025-01-28 22:09:30 -06:00 |
|
|
|
7e7735ae95
|
switch Int and Vector
|
2025-01-27 12:20:23 -06:00 |
|
