formalsec / smtml / 224

Builds Branch Commit Type Ran Committer Via Coverage
224 main Add back colibrilib pin dependency to fix CI push filipeom github
47.86
223 main Fix binary list operators `List_append_last v lst` was changed into `List_cons v lst` which conses `v` to the head of `lst`. `List_append lst v` was changed into `List_append l0 l1` which appends l1 to l0. push filipeom github
52.01
222 main Adds missing string operators: < and <= push filipeom github
51.42
221 main Fix Colibri2 mapping of cvtop operations push filipeom github
47.28
220 main This has to fix CI push filipeom github
50.75
215 main Fixes benchpress config push filipeom github
47.28
214 main Update benchpress pin push filipeom github
51.42
213 main Add ALL logic push filipeom github
53.13
212 main Use dolmen push filipeom github
52.94
211 main Simplifications of relops with js symbols push filipeom github
50.47
210 main Fixes real relops push filipeom github
50.49
209 main Rename `std` to `syntax` and add more list functions in Result push filipeom github
46.33
208 main Rename `std` to `syntax` and add more list functions in Result push filipeom github
51.25
207 main Hard code undefined simplifications push filipeom github
50.57
206 main Fix app tests push filipeom github
51.34