Skip to main content

Browse the archive

Revision 438caab25f66918dc5f29bd4a873f52baef2aeeb authored by Fabian Joswig on 27 February 2022, 18:27:18 UTC, committed by Fabian Joswig on 27 February 2022, 18:27:18 UTC 
generate_instantiations.sh now correctly produces instantiations for CompactClover variant, redundant instantiations removed.
1 parent 239e2c1
Raw File
AUTHORS 
Author: Azusa Yamaguchi <ayamaguc@staffmail.ed.ac.uk>
Author: Peter Boyle <paboyle@ph.ed.ac.uk>
Author: Peter Boyle <peterboyle@MacBook-Pro.local>
Author: paboyle <paboyle@ph.ed.ac.uk>
back to top