15082762933

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
15082762933	iss547	Merge 188473060 into a4db1e6f0	Pull #557	17 May 2025 07:10AM UTC	web-flow	github	pending completion set done
15082351134	master	update readme get-model output (#556) * print_smt2_model: adjust for SMT-LIB syntax The `model` keyword was adopted by many solvers at some point but was never part of the SMT-LIB standard. Nowadays, most popular solvers stick more closely to th...	push	17 May 2025 06:15AM UTC	web-flow	github	65.34
15082225117	Mrmaxmeier-smtlib-model-syntax	Merge branch 'master' into Mrmaxmeier-smtlib-model-syntax	Pull #556	17 May 2025 06:00AM UTC	web-flow	github	65.34
15082210130	Mrmaxmeier-smtlib-model-syntax	Merge debe3e173 into 43848a627	Pull #556	17 May 2025 05:53AM UTC	web-flow	github	65.34
15082206606	master	print_smt2_model: adjust for SMT-LIB syntax (#555) The `model` keyword was adopted by many solvers at some point but was never part of the SMT-LIB standard. Nowadays, most popular solvers stick more closely to the standard in this respect and hav...	push	17 May 2025 05:52AM UTC	web-flow	github	65.34
15082182788	Mrmaxmeier-smtlib-model-syntax	update readme	push	17 May 2025 05:49AM UTC	ahmed-irfan	github	65.34
15029363916	smtlib-model-syntax	Merge e753dd537 into cd12538ea	Pull #555	16 May 2025 12:15AM UTC	web-flow	github	65.34
14657727437	cdclt-plugin	minor	push	25 Apr 2025 05:48AM UTC	ahmed-irfan	github	65.42
14655263023	cdclt-plugin	minor	push	25 Apr 2025 02:01AM UTC	ahmed-irfan	github	65.42
14606917761	master	Mcsat target best caches (#554) * recache functionality * fix and update param * recache at restart * target * target cache and recaching * best cache * improved strategy * fix set model hints * update cache before adding hints * update ...	push	23 Apr 2025 12:13AM UTC	web-flow	github	65.34
14606668929	mcsat-target-best	update test	Pull #554	22 Apr 2025 11:50PM UTC	ahmed-irfan	github	65.34
14606669122	mcsat-target-best	Merge 547fd3fe3 into fda0a325e	Pull #554	22 Apr 2025 11:49PM UTC	web-flow	github	65.34
14530941253	mcsat-target-best	Merge branch 'master' into mcsat-target-best	Pull #554	18 Apr 2025 06:51AM UTC	web-flow	github	65.31
14530940616	mcsat-target-best	Merge 2056a8c43 into fda0a325e	Pull #554	18 Apr 2025 06:48AM UTC	web-flow	github	65.31
14530905091	mcsat-target-best	minor	push	18 Apr 2025 06:40AM UTC	ahmed-irfan	github	65.31

← Previous
1
2
…
7
8
9
10
11
12
13
14
15
…
119
120
Next →