Synopsis
- This is a very minor release that contains various fixes.
- Introduce string concatenation with binary
+
when both operands are symbols. - Introduce
debug_delta
to debug the delta relation of recursive relations in #2414
What's Changed
- Remove escapes in arch build. by @XiaowenHu96 in #2406
- fix windows CI by @quentin in #2410
- Fix subsumption by @julienhenry in #2407
- remove -Werror from CMakeLists.txt by @ammkrn in #2299
- Provide way to debug delta relations and expose iteration counter by @julienhenry in #2414
- fix "variable only occurs once" checker by @quentin in #2415
- fix bad source location for END token by @quentin in #2417
- Fix generated code for eqrel when emitting statistics by @fangyi-zhou in #2419
- do not consider debug_delta relations as empty by @julienhenry in #2420
- Fix auto-scheduler profile mismatch by @fangyi-zhou in #2421
- fixes souffleprof and enable build on Windows by @quentin in #2423
- Enabling souffle-lang/souffle GitHub dependency graph with vcpk (#2427) by @quentin in #2428
- fix sqlite reading of empty values by @dbueno in #2412
- symbol concatenation with binary
+
by @quentin in #2431 - fixes for the debug report by @quentin in #2433
- Fixed CSV read failure involving blank lines in RFC4180 mode. by @strRM in #2434
New Contributors
- @ammkrn made their first contribution in #2299
- @fangyi-zhou made their first contribution in #2419
- @dbueno made their first contribution in #2412
Full Changelog: 2.4...2.4.1