Simplify goal bookkeeping mechanism #10

Merged

aniva merged 5 commits from tactic/book into dev

2023-08-30 19:18:37 -07:00

Author	SHA1	Message	Date
Leni Aniva	acfd4e8288	Merge branch 'dev' into tactic/book	2023-08-30 19:17:25 -07:00
Leni Aniva	46347d8244	Add SemihashMap interface, rename proof commands to goal commands, allow deletion	2023-08-30 19:16:33 -07:00
Leni Aniva	8d5d7b6e3e	Version bump to 0.2.4 due to breaking change	2023-08-27 19:59:31 -07:00
Leni Aniva	80ad7a2bd0	Rename proof commands to goal commands	2023-08-27 19:58:52 -07:00
Leni Aniva	0c5f439067	Add SemihashMap structure for goal bookkeeping	2023-08-27 19:53:09 -07:00