|
|
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 |
|
|
|
89287ceaed
|
uncons to stop warnings
|
2025-01-27 12:19:54 -06:00 |
|
|
|
7c9cdb8ed8
|
cleaning these up, still have work to do
|
2025-01-26 20:05:05 -06:00 |
|
|
|
2dd054f17e
|
I should really run make format...
|
2025-01-26 01:18:23 -06:00 |
|
|
|
9e50c71ec7
|
start of vectorint, bed time
|
2025-01-26 01:17:56 -06:00 |
|
|
|
f613837ddf
|
generalization/ more instructions/ etc
|
2025-01-25 22:58:23 -06:00 |
|
|
|
a55a66f456
|
more string functions, need a break
|
2025-01-25 19:09:29 -06:00 |
|
|
|
804da2a23c
|
takeR and dropR
|
2025-01-25 19:09:10 -06:00 |
|
|
|
e3cf1d2121
|
need to write tests
|
2025-01-25 01:50:14 -06:00 |
|
|
|
c17e0df4da
|
one basic char instruction
|
2025-01-25 00:16:08 -06:00 |
|
|
|
78efab9064
|
more string instructions
|
2025-01-25 00:15:19 -06:00 |
|
|
|
35f8a20a91
|
I'm proud of these generic instructions
|
2025-01-25 00:14:37 -06:00 |
|
|
|
694565e95d
|
more string instructions
|
2025-01-24 18:16:20 -06:00 |
|
|
|
4e21eee91c
|
start on fillInHoles
|
2025-01-24 18:15:42 -06:00 |
|
|
|
de8fedb5d1
|
more instructions
|
2025-01-24 01:38:54 -06:00 |
|
|
|
452e7a2b49
|
implementing string and char stacks
|
2025-01-24 01:38:14 -06:00 |
|
