search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

simplify store + tiny bug in the engine #262

Closed giltho closed 11 months ago

giltho commented 12 months ago

The store's implementation was weirdly complicated for no apparent reason. It's now just a hashtable