Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 21, 2019

• symbol table move to endd for enum

  QXG2

  committedOct 21, 2019
  d8202e2

Commits on Oct 20, 2019

• ast question mark

  QXG2

  committedOct 20, 2019
  667730c

• start const prop

  QXG2

  committedOct 20, 2019
  6013e24

Commits on Oct 17, 2019

• start on const propagation

  QXG2

  committedOct 17, 2019
  0375286

Commits on Sep 23, 2019

• add more tests

  QXG2

  committedSep 23, 2019
  3c87705

Commits on Sep 18, 2019

• remove ramtransforms, now can run!

  QXG2

  committedSep 18, 2019
  c5859e7

Commits on Sep 9, 2019

• parse all to string

  QXG2

  committedSep 9, 2019
  a2208ad

• visitLatNorm

  QXG2

  committedSep 9, 2019
  1574939

Commits on Sep 2, 2019

• add RAMLATNORM

  QXG2

  committedSep 2, 2019
  2594dcb

Commits on Aug 26, 2019

• what

  QXG2

  committedAug 26, 2019
  4fc1166

Commits on Aug 13, 2019

• Merge branch 'master' of github.com:QXGouffle

  QXG2

  committedAug 13, 2019
  5ac8ef7

• lattice glb

  QXG2

  committedAug 13, 2019
  a2a43a0

• what

  QXG2

  committedAug 13, 2019
  394afa4

Commits on Jul 20, 2019

• fix bugs: normal datalog file without lattice

  QXG2

  committedJul 20, 2019
  dd8cccc

Commits on Jul 18, 2019

• remove extra example2

  QXG2

  committedJul 18, 2019
  b32690f

• remove extra example

  QXG2

  committedJul 18, 2019
  7bab99e

• add example

  QXG2

  committedJul 18, 2019
  4fe0d25

Commits on May 1, 2019

• Merge branch 'master' of github.com:QXG2/souffle

  QXG2

  committedMay 1, 2019
  7aba29e

• add dataflowTest folder

  QXG2

  committedMay 1, 2019
  3df683f

• Update README.md

  QXG2

  authoredMay 1, 2019
  7e504e7

• Ram Lattice change

  QXG2

  committedMay 1, 2019
  449adfb

• Ram Lattice

  QXG2

  committedMay 1, 2019
  1852dc7

Commits on Apr 30, 2019

• Modified

  QXG2

  committedApr 30, 2019
  15c2206

• Merge branch 'master' of github.com:QXG2/souffle

  QXG2

  committedApr 30, 2019
  532749d

• Ast Lattice, RAM relations

  QXG2

  committedApr 30, 2019
  2c21053

Commits on Apr 2, 2019

• revert gitignore remove

  eralpsahin

  committedApr 2, 2019
  7a202ec

• Add ast structure for enum and lattice binary function.

  QXG2

  committedApr 2, 2019
  8acef8a

Commits on Apr 1, 2019

• update gitignore

  eralpsahin

  committedApr 1, 2019
  460fa0b

• add lattice relations

  eralpsahin

  committedApr 1, 2019
  b2afc7b

Commits on Mar 9, 2019

• Update README.md

  QXG2

  authoredMar 9, 2019
  f77c0f1

Commits on Mar 8, 2019

• Merge pull request souffle-lang#909 from mmcgr/osx

  b-scholz

  authoredMar 8, 2019
  b27a7bf

• Update osx bintray for tagged releases only

  mmcgr

  committedMar 8, 2019
  ceb2bd1

• Update brew script to modify existing brew formula

  mmcgr

  committedMar 8, 2019
  0b78cd4

• Use tarball instead of pkg for brew installs

  mmcgr

  committedMar 8, 2019
  8d7aadf

Commits on Mar 6, 2019

• Merge pull request souffle-lang#907 from mmcgr/osx

  b-scholz

  authoredMar 6, 2019
  af2daea

Pagination

PreviousNext