?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl for change in lexicographic optimization
[isa.git] / version.c
blob25e4a94a3902cd0894c4e48234362479b2d729a1
1 #include "gitversion.h"
2 #include "version.h"
3
4 const char *pdg_version()
5 {
6 return GIT_HEAD_ID;
7 }
integer set analysis framework