15622981081

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
15622981081	smtcomp2025	L2 o submission merge into smtcomp2025 (#562) * Add L2O module * fix bug no vars to hill_climbing * +l2o TODOs file * Fixed some code issues. * Fixed some code issues. * Fixed code formatting for some files * Fixed memory leak in hill climb...	push	12 Jun 2025 11:46PM UTC	web-flow	github	64.5
15622721789	L2O_submission_merge	Merge 38f5d5042 into 26ec3c0f4	Pull #562	12 Jun 2025 11:26PM UTC	web-flow	github	64.5
15622071171	smtcomp2025	Api test eager fail (#560) * fail if any api tests fail * Update run_test.sh * Update run_test.sh	push	12 Jun 2025 10:45PM UTC	web-flow	github	65.37
15530419308	master	Api test eager fail (#560) * fail if any api tests fail * Update run_test.sh * Update run_test.sh	push	09 Jun 2025 08:47AM UTC	web-flow	github	65.37
15529988673	api-test-eager-fail	Merge branch 'master' into api-test-eager-fail	Pull #560	09 Jun 2025 08:22AM UTC	web-flow	github	65.37
15529984032	master	fix type macros test (#561)	push	09 Jun 2025 08:22AM UTC	web-flow	github	65.37
15529644266	fix-api-test	fix type macros test	Pull #561	09 Jun 2025 08:02AM UTC	ahmed-irfan	github	65.37
15475361214	master	Fix crashes in tests (#551) * Fix crashes in tests * Update test_composites.c --------- Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>	push	05 Jun 2025 07:30PM UTC	web-flow	github	65.37
15474689312	fix_crashes	Merge 787ec48b3 into ea7a53803	Pull #551	05 Jun 2025 07:08PM UTC	web-flow	github	65.37
15474684339	master	Fix binary_search_string and assert in test_api8 (#550) * Fix binary_search_string and assert in test_api8 * Update string_utils.c --------- Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>	push	05 Jun 2025 07:02PM UTC	web-flow	github	65.37
15463254785	fix_binary_search	Merge ef74ca5ee into 03e4f0ddd	Pull #550	05 Jun 2025 09:24AM UTC	web-flow	github	65.37
15461440294	api-test-eager-fail	fail if any api tests fail	push	05 Jun 2025 07:54AM UTC	web-flow	github	65.37
15460310428	reduce-cdclt	fix api test	push	05 Jun 2025 06:52AM UTC	ahmed-irfan	github	65.38
15318313058	master	Exposing type macro handling to API (#546) * Exposing type macro handling to API * Adding __YICES_DLLSPEC__ to API functions * Exposing TYPE_MACRO_MAX_ARITY * Adding tests for type macro api * Update types.h --------- Co-authored-by: Ahmed ...	push	29 May 2025 07:13AM UTC	web-flow	github	65.37
15316761411	type-macros-api	Merge f89eb44cd into 999b3d4bf	Pull #546	29 May 2025 05:30AM UTC	web-flow	github	65.37

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