I have created a pull request: https://github.com/FreeCAD/FreeCAD/pull/3676.

That is all great news! I am also very much interested in improving the IFC import/export functionality. One easy thing I have on the agenda is an option to verify generated IFC with IfcOpenShell. This functionality was introduced in IfcOpenshell a while ago and is quite useful, since otherwise IfcO...

In FreeCAD (as well as in IFC) the length of the vector defining an extrusion direction should not be interpreted to affect the geometry of the extruded shape. However, when exporting an extrusion to IFC, the vector length is currently taken into account for the determination of the exported extrusi...

Nice. There is a little issue when selecting "None" for the elevation value field. See the PR here: https://github.com/FreeCAD/FreeCAD/pull/3550. Oh, and I another issue: The shapefile reader operates in "strict" Unicode decoding mode by default. This means any wrongly encoded stuff, it will throw U...

Do you mean the tests are only set up to run with IFC4 configuration or they are only successful for IFC4 and fail for IFC2x3?

IfcFurniture is new in IFC4. Before, there was only IfcFurnishingElement which is still there as a supertype of IfcFurniture. The use of the supertype is deprecated though - it will be made abstract in the future. It would still work for IFC2x3 and IFC4 to change this to obj.IfcType = "Furnishing El...

I think the fix could be improved: https://github.com/FreeCAD/FreeCAD/commit/2504247#commitcomment-36696448. Shall I make a pull request? We are now using the right trigonometric functions, such that all combinations of positive/negative are handled: https://github.com/FreeCAD/FreeCAD/pull/2878. No...

I think the fix could be improved: https://github.com/FreeCAD/FreeCAD/comm ... t-36696448. Shall I make a pull request?

I have a question. What's the name of the property with the number of a singular entity ifc file? I've printed out a list from the file, and I'd like to save those entitions as individual files. I just don't know how to get the number of a particular part. for product in products: print(product) Ho...

I wrote and use a Groovy script to extract particular entities. It only works with regex matching, no proper parsing. Should be quite fast, but could be improved in terms of memory. It will fail if records are not separated with linebreaks (which is technically not required but mostly the case). By ...