github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-09 21:58:19 -05:00
Code Issues Packages Projects Releases Wiki Activity
275 Commits 19 Branches 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Alex Ozdemir
8140b1369e reduce traversal memory usage through iterators (#209) 
Previously, the traversal stack held (node, children queued) pairs.
When visiting a node without it's children queued, we would queue them
all. They take a lot of memory!

Now, the stack holds children iterators.

Also: this patch fixes many bugs introduced by the prior one.
 2024-09-29 13:27:26 -07:00
Alex Ozdemir
4ffa05fca6 Datalog (#26) 
Support a datalog variant.
 2021-11-30 13:26:25 -08:00