Remy fbeae8ae5e LF: Use the new Struct data structure for SStruct (#7319) ... This PR uses the new data structure introduced in #7220. Additionally this fixes `svalue.Equality` and `svalue.Ordering` which were considering <a: x, b: y> different from <b:y, a:x>. CHANGELOG_BEGIN CHANGELOG_END		2020-09-04 22:04:07 +02:00
..
perf	Run json-parser example using explore-dar. (#7045)	2020-08-07 07:47:48 +02:00
src	LF: Use the new Struct data structure for SStruct (#7319)	2020-09-04 22:04:07 +02:00
BUILD.bazel	Partial ANF transformation. (#6918)	2020-08-12 10:39:22 +02:00