Leni Aniva
|
8218d3f004
|
fix: Do not show parent state in continue
|
2023-11-07 13:10:14 -08:00 |
Leni Aniva
|
736e68639f
|
fix: New goal state not inserted correctly
|
2023-11-07 13:07:50 -08:00 |
Leni Aniva
|
cfd1cfd107
|
Merge branch 'dev' into goal/continuation
|
2023-11-07 12:11:14 -08:00 |
Leni Aniva
|
764be6d14b
|
fix: Remove the error prone SemihashMap
|
2023-11-07 12:09:54 -08:00 |
Leni Aniva
|
7076669c3d
|
chore: Code formatting
|
2023-11-06 12:20:08 -08:00 |
Leni Aniva
|
245e76b2f1
|
feat: Print the root mvar name
|
2023-11-06 11:51:31 -08:00 |
Leni Aniva
|
7c28cf4ed0
|
Merge branch 'dev' into goal/continuation
|
2023-11-06 11:45:24 -08:00 |
Leni Aniva
|
a7aeb03b43
|
chore: Update documentation
|
2023-11-06 11:04:28 -08:00 |
Leni Aniva
|
dbace9f2d5
|
fix: Use Lean's built in name parser
The `str_to_name` parser cannot handle numerical names and escapes.
|
2023-11-06 10:45:11 -08:00 |
Leni Aniva
|
782ce38c87
|
chore: Version bump to 0.2.8
|
2023-11-04 15:54:28 -07:00 |
Leni Aniva
|
d809a960f9
|
feat: Goal continuation fails if target has goals
|
2023-11-04 15:53:57 -07:00 |
Leni Aniva
|
db706070ad
|
feat: Add goal.continue command
|
2023-11-04 15:51:09 -07:00 |
Leni Aniva
|
754fb69cff
|
feat: Partial state continuation
|
2023-11-04 15:33:53 -07:00 |
Leni Aniva
|
dc2cc5be77
|
test: Separate mvar coupling tests
|
2023-11-04 15:01:41 -07:00 |