Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 23, 2021

• Allow user to specify bash-completion install dir

  Show description for 3a06bad
  uxhg

  committed
  3a06bad

  Copy full SHA for 3a06bad

Commits on Nov 22, 2021

• Merge pull request #2136 from cwarden/qualify-check_os-path

  Show description for dc7d595
  XiaowenHu96

  authored
  dc7d595

  Copy full SHA for dc7d595

Commits on Nov 21, 2021

• Qualify Path to check_os.sh Script

  Show description for b5e00bd
  cwarden

  committed
  b5e00bd

  Copy full SHA for b5e00bd

Commits on Nov 20, 2021

• Merge pull request #2132 from quentin/fixracecondition

  Show description for 6ef2e8f
  

  Bernhard Scholz

  authored
  6ef2e8f

  Copy full SHA for 6ef2e8f

• Merge pull request #2134 from trofi/master

  Show description for 18ac0c3
  

  Bernhard Scholz

  authored
  18ac0c3

  Copy full SHA for 18ac0c3

Commits on Nov 19, 2021

• always use "%s"-style format for printf()-style functions

  Show description for 9e4bdf8
  trofi

  committed
  9e4bdf8

  Copy full SHA for 9e4bdf8

• fix a race-condition in ConcurrentFlyweight

  Show description for 1e560a0
  quentin

  committed
  1e560a0

  Copy full SHA for 1e560a0

• Merge pull request #2131 from quentin/fixdebugreport

  Show description for 1522179
  

  Bernhard Scholz

  authored
  1522179

  Copy full SHA for 1522179

Commits on Nov 17, 2021

• fix crashes in ast printer when using --debug-report

  quentin

  committed
  dbde44f

  Copy full SHA for dbde44f

• Merge pull request #2109 from OlivierHamel/remove-clause-by-identity

  Show description for 4a1393f
  

  Bernhard Scholz

  authored
  4a1393f

  Copy full SHA for 4a1393f

• Merge pull request #2129 from broffranks/github-parallelize-actions

  Show description for 61a914a
  

  Bernhard Scholz

  authored
  61a914a

  Copy full SHA for 61a914a

• Add job-level parallelisation for CI Tests

  brofranks

  committed
  caea609

  Copy full SHA for caea609

Commits on Nov 15, 2021

• nfc renamed `eraseByIdentity` to `erase`

  

  Olivier Hamel

  committed
  29d0c96

  Copy full SHA for 29d0c96

• nfc replaced `Clause::getQualifiedName` w/ `ast::getName`

  

  Olivier Hamel

  committed
  428ae51

  Copy full SHA for 428ae51

• Merge branch 'master' into remove-clause-by-identity

  

  Olivier Hamel

  committed
  6e92a2f

  Copy full SHA for 6e92a2f

Commits on Nov 13, 2021

• Merge pull request #2124 from cmuellner/compiler-warnings

  Show description for 82a8648
  

  Bernhard Scholz

  authored
  82a8648

  Copy full SHA for 82a8648

Commits on Nov 12, 2021

• SOUFFLE_CXXFLAGS: Don't hide compiler warnings

  Show description for 0144947
  cmuellner

  committed
  0144947

  Copy full SHA for 0144947

Commits on Nov 11, 2021

• Merge pull request #2121 from cmuellner/glibcxx-assertions

  Show description for d4af9d3
  

  Bernhard Scholz

  authored
  d4af9d3

  Copy full SHA for d4af9d3

• ClauseTranslator: Allocate ValueIndex eagerly to avoid NULL-ptr derefs

  Show description for 3f39034
  cmuellner

  committed
  3f39034

  Copy full SHA for 3f39034

Commits on Nov 9, 2021

• Merge pull request #2118 from julienhenry/subsumption_fix

  Show description for a6e9e42
  

  Bernhard Scholz

  authored
  a6e9e42

  Copy full SHA for a6e9e42

• clang format

  julienhenry

  committed
  bd7b005

  Copy full SHA for bd7b005

• translate subsumptive rules after regular ones

  julienhenry

  committed
  27c5acf

  Copy full SHA for 27c5acf

Commits on Nov 8, 2021

• Merge pull request #2113 from cwarden/null-as-na

  Show description for 31aaefe
  

  Bernhard Scholz

  authored
  31aaefe

  Copy full SHA for 31aaefe

Commits on Nov 6, 2021

• Fix Formatting

  cwarden

  committed
  4f28303

  Copy full SHA for 4f28303

• Make Output of Relation Name Consistent Between Intepreter and Synthesiser

  cwarden

  committed
  c39674a

  Copy full SHA for c39674a

Commits on Nov 5, 2021

• Merge pull request #2115 from b-scholz/fix_subsumption

  Show description for 417b74a
  

  Bernhard Scholz

  authored
  417b74a

  Copy full SHA for 417b74a

• Update Tests

  Show description for 3785bf7
  cwarden

  committed
  3785bf7

  Copy full SHA for 3785bf7

• Merge pull request #21 from julienhenry/fix_subsumption

  Show description for 8dd33b5
  

  Bernhard Scholz

  authored
  8dd33b5

  Copy full SHA for 8dd33b5

• added testcase with multiple subsumptive rules

  julienhenry

  committed
  41e9b11

  Copy full SHA for 41e9b11

• fixing unit translator when multiple subsumptive rules for the same relation

  julienhenry

  committed
  62faf68

  Copy full SHA for 62faf68

• Update testcase

  

  Bernhard Scholz

  authored and

  Bernhard Scholz

  committed
  533492b

  Copy full SHA for 533492b

• Re-add header for test

  

  Bernhard Scholz

  authored and

  Bernhard Scholz

  committed
  a9c2d00

  Copy full SHA for a9c2d00

• Reformatting

  

  Bernhard Scholz

  authored and

  Bernhard Scholz

  committed
  1f63a1a

  Copy full SHA for 1f63a1a

• Convert to switch stmt

  

  Bernhard Scholz

  authored and

  Bernhard Scholz

  committed
  0a5dd8b

  Copy full SHA for 0a5dd8b

• Add test-case

  

  Bernhard Scholz

  authored and

  Bernhard Scholz

  committed
  a526c87

  Copy full SHA for a526c87

Pagination

Previous

Next