stage3/stage3.cc
2012-02-01 Mario de Sousa Re-write of stage3 code (done by Manuele and I), re-write of search_varfb_instance_type_c (done by myself), and several other bug fixes.
2011-04-05 Edouard Tisserant Re-generated std lib related code, with updated headers, updated all forgotten headers
2011-04-04 Mario de Sousa starting to add proper header file with declaration of standard functions
2011-03-31 Mario de Sousa Do not crash when checking semantics of undeclared symbolic_variable.
2011-03-30 Mario de Sousa Huge change.
2009-08-27 Catarina Boucinha Adding missing Stage3 files.