Z3-config-try

This commit is contained in:
MHeinrichs
2019-02-21 14:02:45 +01:00
parent 5fc99a4460
commit b7e4ec2e1d
28 changed files with 23335 additions and 15339 deletions
+14 -14
View File
@@ -5,7 +5,7 @@
The structure and the elements are likely to change over the next few releases.
This means code written to parse this file will need to be revisited each subsequent release.-->
<application stringID="NgdBuild" timeStamp="Thu Feb 21 11:11:00 2019">
<application stringID="NgdBuild" timeStamp="Thu Feb 21 13:59:34 2019">
<section stringID="User_Env">
<table stringID="User_EnvVar">
<column stringID="variable"/>
@@ -70,31 +70,31 @@
<item dataType="int" stringID="NGDBUILD_NUM_INFOS" value="0"/>
</section>
<section stringID="NGDBUILD_PRE_UNISIM_SUMMARY">
<item dataType="int" stringID="NGDBUILD_NUM_AND2" value="369"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND3" value="16"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND2" value="363"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND3" value="15"/>
<item dataType="int" stringID="NGDBUILD_NUM_FD" value="4"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDC" value="20"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDCE" value="7"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDP" value="42"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDPE" value="68"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDP" value="41"/>
<item dataType="int" stringID="NGDBUILD_NUM_FDPE" value="69"/>
<item dataType="int" stringID="NGDBUILD_NUM_GND" value="1"/>
<item dataType="int" stringID="NGDBUILD_NUM_IBUF" value="24"/>
<item dataType="int" stringID="NGDBUILD_NUM_INV" value="288"/>
<item dataType="int" stringID="NGDBUILD_NUM_INV" value="284"/>
<item dataType="int" stringID="NGDBUILD_NUM_OBUF" value="33"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR2" value="263"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR3" value="16"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR2" value="259"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR3" value="15"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR4" value="3"/>
<item dataType="int" stringID="NGDBUILD_NUM_XOR2" value="33"/>
</section>
<section stringID="NGDBUILD_POST_UNISIM_SUMMARY">
<item dataType="int" stringID="NGDBUILD_NUM_AND2" value="369"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND3" value="16"/>
<item dataType="int" stringID="NGDBUILD_NUM_GND" value="67"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND2" value="363"/>
<item dataType="int" stringID="NGDBUILD_NUM_AND3" value="15"/>
<item dataType="int" stringID="NGDBUILD_NUM_GND" value="66"/>
<item dataType="int" stringID="NGDBUILD_NUM_IBUF" value="74"/>
<item dataType="int" stringID="NGDBUILD_NUM_INV" value="288"/>
<item dataType="int" stringID="NGDBUILD_NUM_INV" value="284"/>
<item dataType="int" stringID="NGDBUILD_NUM_OBUF" value="33"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR2" value="263"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR3" value="16"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR2" value="259"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR3" value="15"/>
<item dataType="int" stringID="NGDBUILD_NUM_OR4" value="3"/>
<item dataType="int" stringID="NGDBUILD_NUM_TS_TIMESPEC" value="1"/>
<item dataType="int" stringID="NGDBUILD_NUM_XOR2" value="33"/>