Install and run tests for FIAT (next) in a Docker container

Build: #110 was successful Changes by Jan Blechta and Miklós Homolya

Stages & jobs

  1. Build Stage

  2. Test Stage

Build result summary

Details

Completed
Duration
2 minutes
Labels
None
Revisions
fiat-next
3916029f6f5ee81cb59b9d3a9dd7b14ec33bca22 3916029f6f5ee81cb59b9d3a9dd7b14ec33bca22
testing
1fac8b226a1b4c408525379af321de3d009f0691 1fac8b226a1b4c408525379af321de3d009f0691
Total tests
756

Code commits

fiat-next
Author Commit Message Commit date
Miklós Homolya Miklós Homolya 3916029f6f5ee81cb59b9d3a9dd7b14ec33bca22 3916029f6f5ee81cb59b9d3a9dd7b14ec33bca22 Merge branch 'miklos1/bernstein' into next
Miklós Homolya Miklós Homolya dd808d34ec1397e0cdddb8779f5b1b7f60ab5e86 dd808d34ec1397e0cdddb8779f5b1b7f60ab5e86 add very slow implementation of derivatives
Miklós Homolya Miklós Homolya f8cafd0107ad938547e5a00bfa98bd3d9695df30 f8cafd0107ad938547e5a00bfa98bd3d9695df30 reorder basis functions according to 'mis'
Miklós Homolya Miklós Homolya 055d3063970a3e1d7ac0c2eccb1d9d7137e0051f 055d3063970a3e1d7ac0c2eccb1d9d7137e0051f test higher derivatives of Bernstein elements
Miklós Homolya Miklós Homolya cfd0e4336d9384f96f034c678f8638ea13761228 cfd0e4336d9384f96f034c678f8638ea13761228 add forgotten scaling factor