Commits · 6ec832644ddb5d5402bab2a7cb2c7cecbb7d5322 · Open Source Software / Zipr Toolchain · GitLab

Snippets Groups Projects

Aug 30, 2011
- Fixes to makefiles to support more options. Also added ability to ps_analyze... · 6ec83264
  jdh8d authored 13 years ago
  6ec83264
- Rearranged the precompiled examples into their own directory, edited makefiles... · f3d15cc7
  jdh8d authored 13 years ago
  f3d15cc7
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
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
  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
  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