Skip to content

Commit

Permalink
Merge #173
Browse files Browse the repository at this point in the history 
173: Update Submodules r=viper-admin a=viper-admin

* Updates Silicon from `2e306af7667dc6e28679a9e6ffe317e699ce6072` to `4cdc6b91cfea8ee217976837ad6167f2bef9babd`.

Co-authored-by: jcp19 <jcp19@users.noreply.github.com>
  • Loading branch information
@bors @jcp19
bors[bot] and jcp19 authored Sep 26, 2023
2 parents 6a70820 + 74d5d50 commit e68d7d2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 2 files
+32 −12 src/main/scala/decider/TermToZ3APIConverter.scala
+4 −3 src/main/scala/decider/Z3ProverAPI.scala

0 comments on commit e68d7d2

Please sign in to comment.