Skip to content

Actions: souffle-lang/souffle

VS-CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

avoid calls to getArguments() in interpreter
VS-CI-Tests #365: Pull request #2473 opened by quentin
March 4, 2024 16:39 54m 10s quentin:fixengine
March 4, 2024 16:39 54m 10s
doc comments and annotations in Souffle datalog
VS-CI-Tests #364: Pull request #2472 synchronize by quentin
March 4, 2024 15:41 55m 22s quentin:annotations
March 4, 2024 15:41 55m 22s
doc comments and annotations in Souffle datalog
VS-CI-Tests #363: Pull request #2472 synchronize by quentin
March 4, 2024 15:39 1m 47s quentin:annotations
March 4, 2024 15:39 1m 47s
doc comments and annotations in Souffle datalog
VS-CI-Tests #362: Pull request #2472 synchronize by quentin
March 4, 2024 14:44 55m 55s quentin:annotations
March 4, 2024 14:44 55m 55s
doc comments and annotations in Souffle datalog
VS-CI-Tests #361: Pull request #2472 opened by quentin
March 4, 2024 14:42 7m 32s quentin:annotations
March 4, 2024 14:42 7m 32s
Resolution of inline atom in no_inline clause
VS-CI-Tests #360: Pull request #2471 opened by quentin
March 4, 2024 12:56 15m 42s quentin:issue2318
March 4, 2024 12:56 15m 42s
Update check_os.sh (#2469)
VS-CI-Tests #359: Commit dc8ecf8 pushed by quentin
February 1, 2024 04:48 57m 0s master
February 1, 2024 04:48 57m 0s
Fix unquoted environment variable in check_os.sh
VS-CI-Tests #358: Pull request #2469 opened by strRM
January 31, 2024 18:37 53m 2s strRM:patch-1
January 31, 2024 18:37 53m 2s
create package for Fedora 39
VS-CI-Tests #357: Pull request #2467 opened by quentin
January 28, 2024 12:19 54m 4s quentin:packages
January 28, 2024 12:19 54m 4s
Add 32 bit versions of MSVC intrinsics (#2463)
VS-CI-Tests #356: Commit 42e432b pushed by quentin
December 24, 2023 08:24 50m 53s master
December 24, 2023 08:24 50m 53s
Fix some clang tidy warnings
VS-CI-Tests #355: Pull request #2464 synchronize by Xazax-hun
December 24, 2023 01:07 53m 35s Xazax-hun:tidy-fixes
December 24, 2023 01:07 53m 35s
Fix some clang tidy warnings
VS-CI-Tests #354: Pull request #2464 synchronize by Xazax-hun
December 23, 2023 20:02 14m 44s Xazax-hun:tidy-fixes
December 23, 2023 20:02 14m 44s
Fix uninitialized variable warning (#2465)
VS-CI-Tests #353: Commit 4b4a255 pushed by quentin
December 23, 2023 18:20 52m 56s master
December 23, 2023 18:20 52m 56s
Fix warning suppression in the json utility. (#2462)
VS-CI-Tests #352: Commit a779dbe pushed by quentin
December 23, 2023 17:08 56m 6s master
December 23, 2023 17:08 56m 6s
Fix uninitialized variable warning
VS-CI-Tests #351: Pull request #2465 opened by RolfRolles
December 22, 2023 00:25 1h 6m 33s RolfRolles:msvc-debug-uninit-var-test-fix
December 22, 2023 00:25 1h 6m 33s
Fix some clang tidy warnings
VS-CI-Tests #350: Pull request #2464 opened by Xazax-hun
December 21, 2023 21:51 22m 2s Xazax-hun:tidy-fixes
December 21, 2023 21:51 22m 2s
Add 32 bit versions of MSVC intrinsics
VS-CI-Tests #349: Pull request #2463 opened by Xazax-hun
December 21, 2023 18:52 51m 35s Xazax-hun:win32-support
December 21, 2023 18:52 51m 35s
Fix warning suppression in the json utility.
VS-CI-Tests #348: Pull request #2462 opened by Xazax-hun
December 21, 2023 18:43 54m 31s Xazax-hun:wrong_pragma_warning
December 21, 2023 18:43 54m 31s
Order generators with respect to their dependencies (#2458)
VS-CI-Tests #346: Commit 9ac6b24 pushed by quentin
December 19, 2023 18:46 51m 52s master
December 19, 2023 18:46 51m 52s
make interpreter's Conjunction a Compound node
VS-CI-Tests #345: Pull request #2459 opened by quentin
December 19, 2023 13:32 52m 30s quentin:compoundconj
December 19, 2023 13:32 52m 30s
fix apply on user-defined aggregate init (#2456)
VS-CI-Tests #344: Commit f766700 pushed by quentin
December 19, 2023 09:03 53m 56s master
December 19, 2023 09:03 53m 56s
Order generators with respect to their dependencies
VS-CI-Tests #343: Pull request #2458 synchronize by quentin
December 18, 2023 20:07 55m 4s quentin:fix2416
December 18, 2023 20:07 55m 4s
Order generators with respect to their dependencies
VS-CI-Tests #342: Pull request #2458 opened by quentin
December 18, 2023 19:51 15m 37s quentin:fix2416
December 18, 2023 19:51 15m 37s
fix apply on user-defined aggregate init
VS-CI-Tests #341: Pull request #2456 opened by quentin
December 18, 2023 14:28 51m 12s quentin:fixapply
December 18, 2023 14:28 51m 12s
fix multi-result intrinsic functor within aggregate (#2455)
VS-CI-Tests #340: Commit 2d20ade pushed by quentin
December 12, 2023 19:55 53m 19s master
December 12, 2023 19:55 53m 19s