- 06 Apr, 2020 2 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- 18 Jun, 2019 1 commit
-
-
Jonathan Shahen authored
-
- 29 May, 2018 2 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- 28 May, 2018 4 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- 23 Sep, 2017 1 commit
-
-
Jonathan Shahen authored
-
- 10 Jul, 2017 1 commit
-
-
Jonathan Shahen authored
-
- 07 Jul, 2017 11 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jon Shahen authored
-
Jonathan Shahen authored
-
- 05 Jul, 2017 1 commit
-
-
Jonathan Shahen authored
HOTFIX: unable to run solver if there is a space in the filepath; adding specific nomad tests for CNF
-
- 07 Nov, 2016 1 commit
-
-
Jonathan Shahen authored
-
- 30 Sep, 2016 1 commit
-
-
Jonathan Shahen authored
-
- 24 May, 2016 2 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- 23 May, 2016 5 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
Fixed the # of moves for add(EpochHistory); added the stats file so the results are published to the repo
-
Jonathan Shahen authored
Stats Manager now correctly fills for every reduction; nomad now has epoch times and correct average epoch
-
- 22 May, 2016 8 commits
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
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
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Mahesh Tripunitara authored
-