Commits · master · Jon Shahen / vagabond

06 Apr, 2020 2 commits
- updating to CPLEX 12.8 · 66843e69
  Jonathan Shahen authored Apr 06, 2020
  
  66843e69
- updating CPLEX to 12.8 · 9c411ba9
  Jonathan Shahen authored Apr 06, 2020
  
  9c411ba9
18 Jun, 2019 1 commit
- Adding Line Of Code measured and adding the command to the build script · 37a69f88
  Jonathan Shahen authored Jun 18, 2019
  
  37a69f88
29 May, 2018 3 commits
- lots of additions to the README.md; small comment changes to the JAVADOC strings · 86021efb
  Jonathan Shahen authored May 29, 2018
  
  86021efb
- adding more to README.md; adding a license file and a special README.txt for the circuit.jar · d97c1a2e
  Jonathan Shahen authored May 29, 2018
  
  d97c1a2e
- Adding more to the README.md · 42f140a2
  Jonathan Shahen authored May 28, 2018
  
  42f140a2
28 May, 2018 3 commits
- small visual edit to README · 0a13c688
  Jonathan Shahen authored May 28, 2018
  
  0a13c688
- do not track the wiki · a032d5f8
  Jonathan Shahen authored May 28, 2018
  
  a032d5f8
- Adding more infor to the README.md and ran a test to verify everything still works · db227ef2
  Jonathan Shahen authored May 28, 2018
  
  db227ef2
23 Sep, 2017 1 commit
- including some test .properties files to produce some of the figures · 42831fc7
  Jonathan Shahen authored Sep 23, 2017
  
  42831fc7
10 Jul, 2017 1 commit
- [HOTFIX] displaying time in 24 hour time · e85a8966
  Jonathan Shahen authored Jul 10, 2017
  
  e85a8966
07 Jul, 2017 11 commits
- still bug hunting · 86dc873f
  Jonathan Shahen authored Jul 07, 2017
  
  86dc873f
- bug fix: adding only empty commands · 27e993f6
  Jonathan Shahen authored Jul 07, 2017
  
  27e993f6
- testing processbuilder to get output from lingeling; getting rid of annoying stdout message · f72006c1
  Jonathan Shahen authored Jul 07, 2017
  
  f72006c1
- Adding logging lines · 8bd710a3
  Jonathan Shahen authored Jul 07, 2017
  
  8bd710a3
- [HOTFIX] print correct commandline argument · 2ed7f268
  Jonathan Shahen authored Jul 07, 2017
  
  2ed7f268
- [HOTFIX] file not found on Linux · 08e0bd37
  Jonathan Shahen authored Jul 07, 2017
  
  08e0bd37
- build script for running on Linux · fde8947a
  Jonathan Shahen authored Jul 07, 2017
  
  fde8947a
- Merge branch 'master' of git.uwaterloo.ca:jmshahen/vagabond · b3def67b
  Jonathan Shahen authored Jul 07, 2017
  
  b3def67b
- setting up to run on Linux using the programs folder · 5634d075
  Jonathan Shahen authored Jul 07, 2017
  
  5634d075
- compiling code for Linux · 6af876a1
  Jon Shahen authored Jul 07, 2017
  
  6af876a1
- using lingeling instead of plingeling · 44967fbe
  Jonathan Shahen authored Jul 07, 2017
  
  44967fbe
06 Jul, 2017 1 commit
- HOTFIX: unable to run solver if there is a space in the filepath; adding... · d33cd994
  Jonathan Shahen authored Jul 05, 2017
```
HOTFIX: unable to run solver if there is a space in the filepath; adding specific nomad tests for CNF
```
  d33cd994
08 Nov, 2016 1 commit
- Removing a comment and adding an extra testcase · 4589d81d
  Jonathan Shahen authored Nov 07, 2016
  
  4589d81d
01 Oct, 2016 1 commit
- More testing · 94f67fe4
  Jonathan Shahen authored Sep 30, 2016
  
  94f67fe4
24 May, 2016 4 commits
- test results · cf706284
  Jonathan Shahen authored May 24, 2016
  
  cf706284
- Conference Copy · 83810f0a
  Jonathan Shahen authored May 24, 2016
  
  83810f0a
- chasnge to halfFull · 05736024
  Jonathan Shahen authored May 23, 2016
  
  05736024
- Changes made before Conference deadline · d1bfc6f2
  Jonathan Shahen authored May 23, 2016
  
  d1bfc6f2
23 May, 2016 7 commits
- UPDATING STATS · 9c288ca3
  Jonathan Shahen authored May 23, 2016
  
  9c288ca3
- Fixed the # of moves for add(EpochHistory); added the stats file so the... · bc77b1cf
  Jonathan Shahen authored May 23, 2016
```
Fixed the # of moves for add(EpochHistory); added the stats file so the results are published to the repo
```
  bc77b1cf
- Stats Manager now correctly fills for every reduction; nomad now has epoch... · 79b45ab4
  Jonathan Shahen authored May 23, 2016
```
Stats Manager now correctly fills for every reduction; nomad now has epoch times and correct average epoch
```
  79b45ab4
- HOTFIX for sum · 2dd17578
  Jonathan Shahen authored May 22, 2016
  
  2dd17578
- Commit before Bug Hunt on CNF Reduction · 8a6c9c09
  Jonathan Shahen authored May 22, 2016
  
  8a6c9c09
- Junit tests are passing · 664f3fca
  Jonathan Shahen authored May 22, 2016
  
  664f3fca
- Initial Commit (restarting PC and stretching my legs) · 54a75e5e
  Jonathan Shahen authored May 22, 2016
  
  54a75e5e
22 May, 2016 4 commits
- Removed JUnit tests that don't work any more (because Mahesh doesn't have time... · 26546cba
  Jonathan Shahen authored May 22, 2016
```
Removed JUnit tests that don't work any more (because Mahesh doesn't have time to update them to reflect the changes made); all tests passed
Merge branch 'ReduceToCNFSAT'

# Conflicts:
#	src/vagabond/testing/InfoLeakSumTests.java
```
  26546cba
- Intermediate commit for the Stats manager to fix CNF SAT not working multiple times · 1b43e579
  Jonathan Shahen authored May 22, 2016
  
  1b43e579
- Moving things around (some java code styling is done) · 587e7237
  Jonathan Shahen authored May 22, 2016
  
  587e7237
- timeout per decision instance appears to work · 89592ff9
  Mahesh Tripunitara authored May 22, 2016
  
  89592ff9