Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 4, 2022

• Add a missing subgoal in the "Sequences" example

  uxhg

  committed
  1f205e1

  Copy full SHA for 1f205e1

Commits on Aug 27, 2022

• Merge pull request #117 from thinkmoore/patch-1

  Show description for 3a5a882
  

  Bernhard Scholz

  authored
  3a5a882

  Copy full SHA for 3a5a882

Commits on Aug 26, 2022

• Update applications.md with links to Galois' open source tools built with Soufflé

  thinkmoore

  authored
  8459069

  Copy full SHA for 8459069

Commits on Aug 22, 2022

• Update index.html

  

  Bernhard Scholz

  authored
  c3e8b71

  Copy full SHA for c3e8b71

• Merge pull request #116 from souffle-lang/dependabot/bundler/tzinfo-1.2.10

  Show description for 9eb89c5
  

  Bernhard Scholz

  authored
  9eb89c5

  Copy full SHA for 9eb89c5

Commits on Jul 22, 2022

• Bump tzinfo from 1.2.9 to 1.2.10

  Show description for 3e02951
  dependabot[bot]

  authored
  3e02951

  Copy full SHA for 3e02951

Commits on Jul 1, 2022

• Update autotuning.md

  SamArch27

  authored
  8ddc050

  Copy full SHA for 8ddc050

Commits on Jun 27, 2022

• Update publications.md

  SamArch27

  authored
  17639e7

  Copy full SHA for 17639e7

• Add Abdul's Thesis

  SamArch27

  authored
  e1197cb

  Copy full SHA for e1197cb

Commits on Jun 5, 2022

• Merge pull request #114 from souffle-lang/dependabot/bundler/nokogiri-1.13.6

  Show description for 3d762e8
  

  Bernhard Scholz

  authored
  3d762e8

  Copy full SHA for 3d762e8

• Merge pull request #112 from quentin/doc

  Show description for 50e1dd6
  

  Bernhard Scholz

  authored
  50e1dd6

  Copy full SHA for 50e1dd6

• Merge pull request #113 from quentin/includedirs

  Show description for 4f2774d
  

  Bernhard Scholz

  authored
  4f2774d

  Copy full SHA for 4f2774d

Commits on May 20, 2022

• Add theses to publications

  SamArch27

  authored
  61f8aa0

  Copy full SHA for 61f8aa0

Commits on May 19, 2022

• Bump nokogiri from 1.13.4 to 1.13.6

  Show description for acc5115
  dependabot[bot]

  authored
  acc5115

  Copy full SHA for acc5115

Commits on May 18, 2022

• explains how `.include` searches for source files

  quentin

  committed
  b242037

  Copy full SHA for b242037

Commits on May 16, 2022

• refresh the `build` page

  quentin

  committed
  7662c42

  Copy full SHA for 7662c42

Commits on May 15, 2022

• Merge pull request #111 from quentin/include

  Show description for b561e1d
  

  Bernhard Scholz

  authored
  b561e1d

  Copy full SHA for b561e1d

Commits on May 14, 2022

• syntax without C pre-processor

  quentin

  committed
  998ac6d

  Copy full SHA for 998ac6d

Commits on Apr 28, 2022

• PPA directory moved to ppa repository

  mmcgr

  committed
  72cc7b6

  Copy full SHA for 72cc7b6

• Merge pull request #110 from enetsee/patch-1

  Show description for aad3595
  mmcgr

  authored
  aad3595

  Copy full SHA for aad3595

• Update dependencies

  mmcgr

  committed
  6aaeb2c

  Copy full SHA for 6aaeb2c

• Remove outdated install from package info

  mmcgr

  authored
  ca22c0b

  Copy full SHA for ca22c0b

• Extend package installation instructions

  mmcgr

  authored
  cecf8df

  Copy full SHA for cecf8df

Commits on Apr 12, 2022

• Merge pull request #109 from souffle-lang/dependabot/bundler/nokogiri-1.13.4

  Show description for c5688d4
  

  Bernhard Scholz

  authored
  c5688d4

  Copy full SHA for c5688d4

• Update handtuning.md

  Show description for 8ba7263
  enetsee

  authored
  8ba7263

  Copy full SHA for 8ba7263

• Bump nokogiri from 1.13.3 to 1.13.4

  Show description for 71b7c8a
  dependabot[bot]

  authored
  71b7c8a

  Copy full SHA for 71b7c8a

Commits on Apr 5, 2022

• Merge pull request #108 from mmcgr/deb

  Show description for e9f5ae8
  

  Bernhard Scholz

  authored
  e9f5ae8

  Copy full SHA for e9f5ae8

• Move public keys to base of repos

  mmcgr

  committed
  7846176

  Copy full SHA for 7846176

• Add armoured/unarmoured keys

  mmcgr

  committed
  c51657a

  Copy full SHA for c51657a

Commits on Apr 4, 2022

• Use generic 'stable' instead of bionic

  mmcgr

  committed
  afc9985

  Copy full SHA for afc9985

• Fix paths

  mmcgr

  committed
  e5abb49

  Copy full SHA for e5abb49

• Initialise updated repo

  mmcgr

  committed
  03c1795

  Copy full SHA for 03c1795

Commits on Apr 2, 2022

• Various spelling/grammar fixes and updating documentation for auto-scheduling

  

  Sam

  committed
  f9a73e7

  Copy full SHA for f9a73e7

• Fix some spelling/grammar on profiling/tuning sections

  

  Sam

  committed
  e7d97df

  Copy full SHA for e7d97df

• Remove & to fix formatting issues

  

  Sam

  committed
  700adc9

  Copy full SHA for 700adc9

Pagination

Previous

Next