We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 656cec0 commit eb70b70Copy full SHA for eb70b70
docs/changelog.md
@@ -5,6 +5,10 @@
5
- Renamed `config()` to `run()` to better match `egglog` command
6
- Fixed `relation` type signature
7
- Added default limit of 1 to `run()` to match `egglog` command and moved to second arg
8
+- Upgraded `egglog` dependency ([changes](https://github.com/egraphs-good/egglog/compare/30feaaab88452ec4b6c5f7a199345298bac2dd0f...39b199d9bfce9cc47d0c54977279c5b04231e717))
9
+ - Added `Set` sort and removed set method from `Map`
10
+ - Added `Vec` sort
11
+ - Added support for variable args for builtin functions, to use in creation of `Vec` and `Set` sorts.
12
13
## 0.4.0 (2023-05-03)
14
0 commit comments