Commits · 274a52a83839ffc106af1480e5a342ca1dc349cf · Open Source Software / Zipr Toolchain

Mar 04, 2019
- renamed peasoup_examples to just examples · 41ac4090
  Jason Hiser authored 6 years ago
  
  41ac4090
Feb 19, 2019

Jason Hiser authored 6 years ago

Former-commit-id: 435548bb2b9367bb6952021f851e12d35c0d10a9
Former-commit-id: 2b0dad5a

129859b6

Apr 07, 2017

bug fixes · ba2858c6

jdh8d authored 7 years ago

Former-commit-id: 6e635389c3bf413780c9bcbc8859126a81e79b68

ba2858c6

May 02, 2012
- Removed -static flag · 0cf48570
  jdh8d authored 12 years ago
  
  Former-commit-id: 85ed4ebad4a015c326b5846920a8d6c7a9309d01
  0cf48570
Apr 16, 2012
- newdelete tests · 20045b16
  balliet authored 12 years ago
  
  Former-commit-id: 20661936f01cf152c81dc42105c9932f25c8ea1e
  20045b16
Oct 27, 2011
- added sanity check on input file for ps_analyze, and a c++ exception throwing example. · 9d6953b2
  jdh8d authored 13 years ago
  
  Former-commit-id: 3da306b94c2b925b40aa048d870f8db5049b7585
  9d6953b2
Aug 09, 2011
- Added new pgms · b9114c75
  jdh8d authored 13 years ago
  
  b9114c75
Aug 08, 2011
- A few c++, dynamic-linked pgms that test heaprand with new/delete errors · 06fe1097
  jdh8d authored 13 years ago
  
  06fe1097
Aug 02, 2011
- Added test · a1783888
  an7s authored 13 years ago
  
  a1783888
Jul 08, 2011
- First working version of IRDB code integrated. · ccec0a10
  jdh8d authored 13 years ago
  
  ccec0a10
Jul 05, 2011
- Removed make clean step for DB for now because it was breaking things. · 6262a1b9
  jdh8d authored 13 years ago
  
  6262a1b9
Jun 29, 2011
- Added first tools that use the DB. · d31b2315
  jdh8d authored 13 years ago
  
  d31b2315
Jun 10, 2011
- Corrected typo · 0a44485f
  an7s authored 13 years ago
  
  0a44485f
Mar 15, 2011
- Variety of random small changes to keep concolic up-to-date with grammatech's working versions · dd3eaafc
  jdh8d authored 14 years ago
  
  dd3eaafc
Dec 30, 2010
- changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now... · 9cfadd21
  jdh8d authored 14 years ago
  
  changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now that they've been tested
  9cfadd21
Dec 29, 2010
- Changes to support symbol transport from MEDS to grace's controller automatically. · db9297cf
  jdh8d authored 14 years ago
  
  db9297cf
- Added dumbledore and dumbledore_cmd examples for testing concolic engine. · d5420378
  jdh8d authored 14 years ago
  
  d5420378
Dec 28, 2010
- Reorganized and fixed makefile · 39983b5b
  jdh8d authored 14 years ago
  
  39983b5b
Nov 30, 2010
- No commit message · 2cb8f83a
  jdh8d authored 14 years ago
  
  No commit message
  2cb8f83a
Nov 05, 2010
- More tests and updates to help make clean nicer. · 7eaab417
  jdh8d authored 14 years ago
  
  7eaab417
Oct 29, 2010
- Created testcase for handshaking with the controller. · 78f3a46b
  jdh8d authored 14 years ago
  
  78f3a46b
Oct 27, 2010
- A set of simple examples for the peasoup project. · 2f541b92
  jdh8d authored 14 years ago
  
  2f541b92