Skip to content

Actions: souffle-lang/souffle

Populate dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: integer overflow in Complexity analysis (#2509)
Populate dependencies #47: Commit 437f280 pushed by quentin
September 4, 2024 07:17 25s master
September 4, 2024 07:17 25s
fix incorrect handling of ".include" in identifiers (#2498)
Populate dependencies #46: Commit e6cc668 pushed by quentin
July 3, 2024 18:01 34s master
July 3, 2024 18:01 34s
make interpreter's Conjunction a Compound node (#2459)
Populate dependencies #45: Commit b82ae20 pushed by quentin
June 26, 2024 13:23 27s master
June 26, 2024 13:23 27s
robustify the debug and error reports (#2495)
Populate dependencies #44: Commit 49f511d pushed by quentin
June 26, 2024 12:17 27s master
June 26, 2024 12:17 27s
Do not treat warnings as errors when using MSVC. (#2461)
Populate dependencies #43: Commit 99399f3 pushed by quentin
June 11, 2024 15:24 31s master
June 11, 2024 15:24 31s
Merge pull request #2494 from quentin/manyfixes
Populate dependencies #42: Commit b7a5354 pushed by quentin
June 11, 2024 09:37 25s master
June 11, 2024 09:37 25s
create package for Fedora 39 (#2467)
Populate dependencies #41: Commit 01f7c00 pushed by quentin
June 10, 2024 07:06 23s master
June 10, 2024 07:06 23s
README: s/git/https/ (#2493)
Populate dependencies #40: Commit b395300 pushed by quentin
June 6, 2024 14:52 26s master
June 6, 2024 14:52 26s
update codecov and artifact actions to v4 (#2492)
Populate dependencies #39: Commit 3f35339 pushed by quentin
June 4, 2024 12:01 25s master
June 4, 2024 12:01 25s
Apple ARM: use default toolchain, export SDKROOT (#2491)
Populate dependencies #38: Commit b44660d pushed by quentin
June 3, 2024 15:14 31s master
June 3, 2024 15:14 31s
fix ungrounded error when destructuring with don't-cares (#2483)
Populate dependencies #37: Commit c7ce229 pushed by quentin
April 5, 2024 06:25 26s master
April 5, 2024 06:25 26s
Merge pull request #2479 from quentin/memchk
Populate dependencies #36: Commit 57f104d pushed by quentin
March 18, 2024 08:00 29s master
March 18, 2024 08:00 29s
Merge pull request #2478 from quentin/macos14
Populate dependencies #35: Commit 6473787 pushed by quentin
March 17, 2024 07:44 23s master
March 17, 2024 07:44 23s
Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion
Populate dependencies #34: Commit d3661e5 pushed by quentin
March 16, 2024 13:16 22s master
March 16, 2024 13:16 22s
doc comments and annotations in Souffle datalog (#2472)
Populate dependencies #33: Commit d804988 pushed by quentin
March 5, 2024 07:59 7m 40s master
March 5, 2024 07:59 7m 40s
avoid calls to getArguments() in interpreter (#2473)
Populate dependencies #32: Commit 7826a26 pushed by quentin
March 5, 2024 07:51 25s master
March 5, 2024 07:51 25s
Update check_os.sh (#2469)
Populate dependencies #31: Commit dc8ecf8 pushed by quentin
February 1, 2024 04:48 23s master
February 1, 2024 04:48 23s
Add 32 bit versions of MSVC intrinsics (#2463)
Populate dependencies #30: Commit 42e432b pushed by quentin
December 24, 2023 08:24 29s master
December 24, 2023 08:24 29s
Fix uninitialized variable warning (#2465)
Populate dependencies #29: Commit 4b4a255 pushed by quentin
December 23, 2023 18:20 30s master
December 23, 2023 18:20 30s
Fix warning suppression in the json utility. (#2462)
Populate dependencies #28: Commit a779dbe pushed by quentin
December 23, 2023 17:08 22s master
December 23, 2023 17:08 22s
Order generators with respect to their dependencies (#2458)
Populate dependencies #27: Commit 9ac6b24 pushed by quentin
December 19, 2023 18:46 22s master
December 19, 2023 18:46 22s
fix apply on user-defined aggregate init (#2456)
Populate dependencies #26: Commit f766700 pushed by quentin
December 19, 2023 09:03 36s master
December 19, 2023 09:03 36s
fix multi-result intrinsic functor within aggregate (#2455)
Populate dependencies #25: Commit 2d20ade pushed by quentin
December 12, 2023 19:55 25s master
December 12, 2023 19:55 25s
also run CI on push (#2454)
Populate dependencies #24: Commit 40a702e pushed by quentin
December 11, 2023 17:39 2m 40s master
December 11, 2023 17:39 2m 40s
non-RTTI dynamic cast (#2452)
Populate dependencies #23: Commit 9ed9a31 pushed by quentin
December 9, 2023 08:55 26s master
December 9, 2023 08:55 26s