formalsec / smtml / 527

Builds Branch Commit Type Ran Committer Via Coverage
527 main Bump actions/upload-pages-artifact from 4 to 5 Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 4 to 5. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://g... push filipeom github
48.31
526 main refactor get_symbols to avoid duplication and remove the hastbl push filipeom github
48.31
524 main Release 0.25.0 push filipeom github
48.03
523 main Update .github/workflows/deploy.yml push filipeom github
48.07
521 main Minor style adjustments and fix solver tests push filipeom github
40.44
520 main Fix dolmen hard constraint push filipeom github
44.88
519 main ci: cleanup CI and add job to run collections-c benchmarks push filipeom github
44.74
518 main fix: lazier evaluation of naryop and proper symbolic string concat Previously, to evaluate a naryop we started by checking if the list of expressions contained only values. If so, we would perform another traversal over the list to extract the ac... push filipeom github
44.78
517 main fix: use backslash for char escaping in .smtml format This is much saner than using quotes. I.e., previously we would write this: """" to mean "\"". Using the backslash also makes it easier to serialize the .smtml format to JSON. push filipeom github
44.73
516 main chore: update copyright push filipeom github
44.77
515 main fix: str.len instead of str.length push filipeom github
44.87
514 main feat: add API to parse smtml expressions from file/string push filipeom github
44.77
513 main fix: respect sexp format in Naryop push filipeom github
44.87
512 main Bump hc 0.3 -> 0.5 push filipeom github
44.77
511 main Release 0.24.0 push filipeom github
44.77