Order output in sparklib tests via helper function
Issue: eng/spark/spark2014#776
See merge request eng/spark/sparklib!105
(cherry picked from commit 3e25f066a8)
180b11c9 SPARKlib tests: Use helper function from python library for compilation
96c0647d Update test outputs
b6f905ef Revert "SKIP tests on Windows"
Co-authored-by: Johannes Kanig <kanig@adacore.com>
Add SPARK_Mode Off to big integer conversions
Issue: eng/spark/spark2014#750
See merge request eng/spark/sparklib!98
(cherry picked from commit 54a5f47b3c)
bd92fc3c Add SPARK_Mode Off to big integer conversions
Co-authored-by: Claire Dross <dross@adacore.com>
Fix project files of large tests using SPARKlib
Issue: eng/spark/spark2014#750
See merge request eng/spark/sparklib!96
(cherry picked from commit 3c71f7e6c0)
c9aaace5 Fix project files of tests using SPARKlib
Co-authored-by: Claire Dross <dross@adacore.com>
Stop using Big_Integers_Ghost in the SPARKlib
Issue: eng/spark/spark2014#750
See merge request eng/spark/sparklib!94
(cherry picked from commit d2c6152429)
ba010efd Stop using Big_Integers_Ghost in the SPARKlib
Co-authored-by: Claire Dross <dross@adacore.com>
Change the definition of Invariant on Multisets
Issue: eng/spark/spark2014#735
See merge request eng/spark/sparklib!87
(cherry picked from commit 8fa47fdca8)
ec7a9e2c Change the definition of Invariant on Multisets
Co-authored-by: Claire Dross <dross@adacore.com>
