cryptominisat in CryptoMiniSat

cryptominisat cryptominisat

Main repo

Cloning this repository:

git clone git://gitorious.org/cryptominisat/cryptominisat.git cryptominisat
cd cryptominisat

Add this repository as a remote to an existing local repository:

git remote add cryptominisat git://gitorious.org/cryptominisat/cryptominisat.git
git fetch cryptominisat
git checkout -b my-local-tracking-branch cryptominisat/master_or_other_branch

Branches:
master
CUDA
MMBranch
bockedClauseElim
calcDefaultPolMiddle
cluster1
and 162 more…

Activities

Tuesday May 08 2012
- Commit
  
  13:03
  
  Mate Soos created branch master-multithread on cryptominisat/cryptominisat
Friday April 27 2012
- Push
  
  23:44
  
  Mate Soos pushed 12 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 5c4041d to 0fe9936
- Push
  
  14:12
  
  Mate Soos pushed 53 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from a78ef2c to 5c4041d
Tuesday April 17 2012
- Push
  
  19:15
  
  Mate Soos pushed 1 commit to cryptominisat/cryptominisat:cryptominisat-2.9.4. View diff
  
  cryptominisat-2.9.4 changed from b694bb7 to 7a1e6fd
- Commit
  
  11:42
  
  Mate Soos created branch cryptominisat-2.9.4 on cryptominisat/cryptominisat
- Push
  
  11:41
  
  Mate Soos pushed 2 commits to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff
  
  cryptominisat-2.9.3 changed from 74d98ea to e93628c
- Push
  
  11:41
  
  Mate Soos pushed 22 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 4ce1d06 to a78ef2c
Tuesday April 10 2012
- Push
  
  15:56
  
  Mate Soos pushed 2 commits to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff
  
  cryptominisat-2.9.3 changed from 96ce480 to 74d98ea
- Push
  
  15:56
  
  Mate Soos pushed 20 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 57a64ee to 4ce1d06
Sunday April 08 2012
- Push
  
  18:52
  
  Mate Soos pushed 1 commit to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff
  
  cryptominisat-2.9.3 changed from 280ef8c to 96ce480
- Push
  
  18:52
  
  Mate Soos pushed 49 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from f0c46f6 to 57a64ee
- Commit
  
  18:50
  
  Mate Soos created branch cryptominisat-2.9.3 on cryptominisat/cryptominisat
Tuesday March 13 2012
- Push
  
  23:54
  
  Mate Soos pushed 26 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from ecee2eb to f0c46f6
- Push
  
  16:13
  
  Mate Soos pushed 1 commit to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 105a8a9 to ecee2eb
- Push
  
  16:08
  
  Mate Soos pushed 1 commit to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 8347668 to 105a8a9
Monday March 12 2012
- Push
  
  23:02
  
  Mate Soos pushed 4 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff
  
  master-singlethread-noclausedata changed from 728a0fa to 8347668
- Commit
  
  21:58
  
  Mate Soos created branch master-singlethread-noclausedata on cryptominisat/cryptominisat
Sunday March 11 2012
- Push
  
  18:43
  
  Mate Soos pushed 24 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 86e9beb to bdd3706
Sunday February 05 2012
- Push
  
  17:57
  
  Mate Soos pushed 3 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from b5f5329 to 86e9beb
- Push
  
  15:29
  
  Mate Soos pushed 8 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from ae06a77 to b5f5329
- Push
  
  10:51
  
  Mate Soos pushed 4 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 92e90ff to ae06a77
Friday February 03 2012
- Push
  
  22:10
  
  Mate Soos pushed 5 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 944b839 to 92e90ff
Thursday February 02 2012
- Push
  
  20:03
  
  Mate Soos pushed 18 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from b2190a3 to 944b839
- Push
  
  12:57
  
  Mate Soos pushed 8 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 5f363d7 to b2190a3
Wednesday February 01 2012
- Push
  
  15:55
  
  Mate Soos pushed 5 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from f60f7a7 to 5f363d7
Tuesday January 31 2012
- Push
  
  19:52
  
  Mate Soos pushed 9 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 890c12d to f60f7a7
- Push
  
  12:14
  
  Mate Soos pushed 72 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from 9d6b8db to 890c12d
Sunday January 22 2012
- Push
  
  18:27
  
  Mate Soos pushed 2 commits to cryptominisat/cryptominisat:cryptominisat-2.9.2. View diff
  
  cryptominisat-2.9.2 changed from 74c1c82 to 687ec03
- Push
  
  18:00
  
  Mate Soos pushed 7 commits to cryptominisat/cryptominisat:cryptominisat-2.9.2. View diff
  
  cryptominisat-2.9.2 changed from c726ecd to 74c1c82
Thursday January 19 2012
- Push
  
  01:13
  
  Mate Soos pushed 5 commits to cryptominisat/cryptominisat:master. View diff
  
  master changed from d180311 to 9d6b8db

Previous 1 2 3 4 5 6 7 8 9 … 72 73 Next

cryptominisat cryptominisat

Activities

Committers

Repository clones

Personal clones (2)

Gitorious