1. 5d46f6a Invoke config.py instead of config.pl by Gilles Peskine · 6 years ago
  2. 9b33e7d ECDH: Exclude FStar and Hacl* from exported symbol checks by Christoph M. Wintersteiger · 7 years ago
  3. 3b025ac test: Always use `make clean` by itself by Jaeden Amero · 6 years ago
  4. 9a52cf3 list-symbols.sh: if the build fails, print the build transcript by Gilles Peskine · 6 years ago
  5. bf6ed08 Fix list-symbols.sh by Manuel Pégourié-Gonnard · 10 years ago
  6. 9afdc83 Fix bashisms in test scripts by Manuel Pégourié-Gonnard · 10 years ago
  7. d1ddd29 Adapt error messages in tests/scripts/list-* by Manuel Pégourié-Gonnard · 10 years ago
  8. 0edba1a Move temporary list scripts to tests/scripts by Manuel Pégourié-Gonnard · 10 years ago[Renamed from tmp/list-symbols.sh]
  9. 3385cf4 Add temporary scripts by Manuel Pégourié-Gonnard · 10 years ago