Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: souffle-lang/souffle
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 2.4
Choose a base ref
...
head repository: souffle-lang/souffle
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 2.4.1
Choose a head ref
  • 18 commits
  • 106 files changed
  • 10 contributors

Commits on Aug 23, 2022

  1. Configuration menu
    Copy the full SHA
    9d4736d View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. Fix git action (#2406)

    It seems like the escapes are not necessary.
    XiaowenHu96 authored Mar 6, 2023
    Configuration menu
    Copy the full SHA
    15b114a View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. fix windows CI (#2410)

    quentin authored Mar 27, 2023
    Configuration menu
    Copy the full SHA
    dbd2f88 View commit details
    Browse the repository at this point in the history
  2. Fix subsumption (#2407)

    * fix subsumptive rules
    julienhenry authored Mar 27, 2023
    Configuration menu
    Copy the full SHA
    314106d View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2023

  1. Merge pull request #2299 from ammkrn/remove_Werror

    remove -Werror from CMakeLists.txt
    b-scholz authored Apr 12, 2023
    Configuration menu
    Copy the full SHA
    9aca161 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Provide way to debug delta relations and expose iteration counter (#2414

    )
    
    * New `.decl` syntax to debug delta relations: `.decl D = debug_delta(R)`
    * Expose iteration counter through intrinsic functor `recursive_iteration_cnt() : unsigned`
    julienhenry authored Jun 5, 2023
    Configuration menu
    Copy the full SHA
    2b757c9 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. fix "variable only occurs once" checker (#2415)

    * fix "variable only occurs once" checker
    quentin authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    f7d2008 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8fc94d2 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. Fix generated code for eqrel when emitting statistics (#2419)

    When using `--emit-statistics` for an `eqrel`, the generated code
    contains compilation error when accessing the indices.
    This was due to eqrel index is accessed via `ind` instead of `ind_*`,
    and this commit fixes the issue and adds a test case.
    
    Co-authored-by: Sandro Stucki <[email protected]>
    fangyi-zhou and Sandro Stucki authored Jun 30, 2023
    Configuration menu
    Copy the full SHA
    0f1d379 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4a25402 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. Fix auto-scheduler profile mismatch (#2421)

    When using the auto-scheduler on certain inputs, the auto-scheduler may
    throw an error stating:
    "Error: profile used for auto-scheduling doesn't match the provided
    program."
    This was reported in Issue #2346 by another user, providing a small
    example to test on.
    
    Closes #2346
    fangyi-zhou authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    75dceb4 View commit details
    Browse the repository at this point in the history
  2. fixes souffleprof and enable build on Windows (#2423)

    - report relation with load time in the CPU usage chart
    - report true source file path
    - populate the "code" tab (although only one file is reported at the
      moment)
    - and more fixes
    quentin authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    0ad4109 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Configuration menu
    Copy the full SHA
    63d6684 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Configuration menu
    Copy the full SHA
    5449a78 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. symbol concatenation with binary + (#2431)

    * dos2unix populate-deps.yml
    
    * Introduce binary `+` symbol concatenation
    quentin authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    da9e3c2 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. fixes for the debug report (#2433)

    - update `highlightjs` and `diff2html`
    - fix: display graphs as images instead of text
    - fix: display diffs correctly
    - fix: highlight souffle and RAM diffs correctly
    quentin authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    ab6c00d View commit details
    Browse the repository at this point in the history
  2. Fixed CSV read failure involving blank lines in RFC4180 mode. (#2434)

    * Ensure we can read blank lines in CSV files.
    
    There was a problem handling blank lines in a quoted
    CSV column when reading RFC4180 mode.
    Instead of continuing to read more lines, it dropped out
    assuming there was at least 1 character. Now, if the
    line we read contains 0 characters, it immediately goes
    back to read more lines.
    
    I did not notice this before, because the test did not
    use rfc4180 csv files for input or output.
    
    * Added a test for quotes in quoted CSV.
    
    This adds a test to make sure we can process
    quotes within a quoted column. Quotes in quotes
    need to be double-quoted.
    strRM authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    7353751 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Configuration menu
    Copy the full SHA
    01f1177 View commit details
    Browse the repository at this point in the history
Loading