]> matita.cs.unibo.it Git - helm.git/history - helm/software/helena/src/basic_rg/brgGallina.ml
jet a change in dependences
[helm.git] / helm / software / helena / src / basic_rg / brgGallina.ml
2015-12-26 Ferruccio Guidibug fixes ...
2015-07-07 Ferruccio Guidicompile-time feature PROFV to profile validation withou...
2015-07-07 Ferruccio Guidi= test2 for byte and opt
2015-07-01 Ferruccio Guidi- simpler attribute system
2015-06-29 Ferruccio Guidiwe are optimizing the code by conditional compilation.
2015-06-27 Ferruccio Guidi- bug fix in the static analyzer allows better Pi/foral...
2015-06-19 Ferruccio Guidinew options activated
2015-06-10 Ferruccio Guidi- siimplifified RTM (one register less) now counts...
2015-02-21 Ferruccio Guidiadditional commit for version 0.8.2