Leni Aniva
f729a357b9
Merge branch 'dev' into frontend/collect-holes
2024-09-09 17:35:10 -07:00
Leni Aniva
68dac4c951
chore: Version bump to 0.2.18
2024-09-07 13:55:41 -07:00
Leni Aniva
c404564a2b
chore: Bump Lean version to 4.10.0-rc1
2024-07-06 19:53:50 -07:00
Leni Aniva
a2c5c7448c
chore: Code simplification, version bump
2024-05-31 20:23:10 -07:00
Leni Aniva
4d4f660f3f
chore: Update version
2024-04-11 17:57:24 -07:00
Leni Aniva
46faa5c089
chore: Version bump
2024-03-28 22:08:22 -07:00
Leni Aniva
f016d60d07
chore: Version bump to 0.2.13
2024-03-16 19:00:28 -07:00
Leni Aniva
a5b0721482
feat(lib): Expose goal state interface
2024-03-10 08:13:10 -07:00
Leni Aniva
4acd367ca7
chore: Version bump to 0.2.12-alpha
2024-01-30 17:45:32 -08:00
Leni Aniva
d7fcc502f9
chore: Version downgrade to 0.2.10-alpha
...
There is a currently known bug
2023-12-07 12:38:02 -08:00
Leni Aniva
079f12d6d3
chore: Version bump
2023-12-05 20:21:07 -08:00
Leni Aniva
e0cfdfaf16
chore: Version bump to 0.2.9
2023-11-26 23:48:47 -08:00
Leni Aniva
a5b5e01858
chore: Version bump to 0.2.8
2023-11-04 15:54:28 -07:00
Leni Aniva
e523e8bcc6
chore: Version bump (breaking change)
2023-10-29 11:57:24 -07:00
Leni Aniva
538ba6e7d7
Store states instead of goals
...
1. Rename {Commands, Protocol}, and {Symbols, Symbol}
2. Store the root mvarId in the proof state along with goal indices
3. Add diagnostics function which prints out the state
4. Bump version to 0.2.6 (breaking change)
Documentations pending
2023-10-15 17:15:23 -07:00
Leni Aniva
35b391881e
Add ready message to indicate the main loop is up
2023-10-02 10:14:03 -07:00
Leni Aniva
b98304f78a
Version bump to 0.2.4 due to breaking change
2023-08-27 19:59:31 -07:00
Leni Aniva
59c046efc6
Add proper printing of sorts
2023-08-23 12:51:06 -07:00
Leni Aniva
96cbbf2551
Add compressed json print option; Rearrange commands into hierarchy
2023-08-16 19:25:32 -07:00
Leni Aniva
b2ba26528d
Add proof variable delta; Bump version to 0.2.1
2023-08-15 15:40:54 -07:00
Leni Aniva
5cedb9d88c
version bump, restructure
2023-08-13 21:19:06 -07:00
Leni Aniva