Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 17, 2017

• Added Documentation

  Show description for 460691d
  ManDay

  committed
  460691d

  Copy full SHA for 460691d

Commits on Oct 11, 2016

• Added README and helper binaries

  

  Cedric Sodhi

  committed
  27a88ff

  Copy full SHA for 27a88ff

Commits on Oct 9, 2016

• Modified QS_STATUS output

  Show description for f2d8b3f
  

  Cedric Sodhi

  committed
  f2d8b3f

  Copy full SHA for f2d8b3f

Commits on Oct 3, 2016

• SSRenderer with current solution database

  Show description for c20e1be
  

  Cedric Sodhi

  committed
  c20e1be

  Copy full SHA for c20e1be

Commits on Oct 2, 2016

• New SSRenderer and evaluator changes

  Show description for c9d4879
  

  Cedric Sodhi

  committed
  c9d4879

  Copy full SHA for c9d4879

Commits on Aug 29, 2016

• Only eliminate vanihsing edges before normalize

  Show description for 1739dda
  

  Cedric Sodhi

  committed
  1739dda

  Copy full SHA for 1739dda

Commits on Aug 23, 2016

• Correct fix of use after free

  

  Cedric Sodhi

  committed
  a62fc1c

  Copy full SHA for a62fc1c

Commits on Aug 22, 2016

• Adjusted quickcheck for new backend

  

  Cedric Sodhi

  committed
  958b07c

  Copy full SHA for 958b07c

• Fix read after free

  Show description for bb74db5
  

  Cedric Sodhi

  committed
  bb74db5

  Copy full SHA for bb74db5

Commits on Aug 12, 2016

• Fix omitted unlock

  

  Cedric Sodhi

  committed
  f7c6e27

  Copy full SHA for f7c6e27

Commits on Aug 5, 2016

• ADC reworked

  Show description for de1c3c7
  

  Cedric Sodhi

  committed
  de1c3c7

  Copy full SHA for de1c3c7

Commits on Aug 2, 2016

• Fix another violation

  Show description for 871d7e2
  

  Cedric Sodhi

  committed
  871d7e2

  Copy full SHA for 871d7e2

Commits on Aug 1, 2016

• Fixes on D-Value

  Show description for 5d133a4
  

  Cedric Sodhi

  committed
  5d133a4

  Copy full SHA for 5d133a4

Commits on Jul 29, 2016

• Faster unlock on pop

  Show description for 9abb8c3
  

  Cedric Sodhi

  committed
  9abb8c3

  Copy full SHA for 9abb8c3

Commits on Jul 27, 2016

• Robust use of FERMAT

  Show description for 1a84d0e
  

  Cedric Sodhi

  committed
  1a84d0e

  Copy full SHA for 1a84d0e

Commits on Jul 26, 2016

• Fix for termination

  

  Cedric Sodhi

  committed
  21ae33d

  Copy full SHA for 21ae33d

• Bug fix in Policy

  Show description for 479cfec
  

  Cedric Sodhi

  committed
  479cfec

  Copy full SHA for 479cfec

• Adjustable Evaluator binary

  Show description for 4337328
  

  Cedric Sodhi

  committed
  4337328

  Copy full SHA for 4337328

• Various fixes and new flag

  Show description for ea943cd
  

  Cedric Sodhi

  committed
  ea943cd

  Copy full SHA for ea943cd

Commits on Jul 22, 2016

• Partly fixed ADC bug

  Show description for 313bad2
  

  Cedric Sodhi

  committed
  313bad2

  Copy full SHA for 313bad2

Commits on Jul 21, 2016

• Debug Output

  Show description for 4c13a8b
  

  Cedric Sodhi

  committed
  4c13a8b

  Copy full SHA for 4c13a8b

Commits on Jul 20, 2016

• Maximal number of Terminals in Graph

  Show description for 7cd0a93
  

  Cedric Sodhi

  committed
  7cd0a93

  Copy full SHA for 7cd0a93

Commits on Jul 12, 2016

• Fix to unref operands

  

  Cedric Sodhi

  committed
  18c88a0

  Copy full SHA for 18c88a0

• Dual graph (not working)

  Show description for 213b32d
  

  Cedric Sodhi

  committed
  213b32d

  Copy full SHA for 213b32d

Commits on Jul 11, 2016

• Dual pass preparation

  Show description for 4e6066a
  

  Cedric Sodhi

  committed
  4e6066a

  Copy full SHA for 4e6066a

Commits on Jul 4, 2016

• Full ADC Implementation

  Show description for a439c58
  

  Cedric Sodhi

  committed
  a439c58

  Copy full SHA for a439c58

Commits on Jul 3, 2016

• Refactored QsOperand with more Locking

  Show description for d98a0ba
  

  Cedric Sodhi

  committed
  d98a0ba

  Copy full SHA for d98a0ba

Commits on Jun 28, 2016

• First step towards dual graph

  Show description for 806fc3c
  

  Cedric Sodhi

  committed
  806fc3c

  Copy full SHA for 806fc3c

Commits on Jun 27, 2016

• Externalization finished

  Show description for db1a900
  

  Cedric Sodhi

  committed
  db1a900

  Copy full SHA for db1a900

• Externalization of Policy (Not working)

  Show description for e0e1fd7
  

  Cedric Sodhi

  committed
  e0e1fd7

  Copy full SHA for e0e1fd7

Commits on Jun 22, 2016

• Beauty fixes

  Show description for 0811ea9
  

  Cedric Sodhi

  committed
  0811ea9

  Copy full SHA for 0811ea9

Commits on Jun 21, 2016

• Finished Memory Mangement

  Show description for 7fa8459
  

  Cedric Sodhi

  committed
  7fa8459

  Copy full SHA for 7fa8459

Commits on Jun 20, 2016

• Almost there with Memory Management

  Show description for fd5e2bb
  

  Cedric Sodhi

  committed
  fd5e2bb

  Copy full SHA for fd5e2bb

Commits on Jun 19, 2016

• Finalized Memory Management implementation

  Show description for 5d213ac
  

  Cedric Sodhi

  committed
  5d213ac

  Copy full SHA for 5d213ac

Commits on Jun 17, 2016

• Memory management implemented

  Show description for e88b81c
  

  Cedric Sodhi

  committed
  e88b81c

  Copy full SHA for e88b81c

Pagination

Previous

Next