Pipelines - Runs for Z3 CI

Z3 CI

Runs

Branches

Description		More actions


#20250329.1 • Note that Z3_get_numeral_small is essentially redundant (#7599) Individual CI for master 8d81a2dc	Saturday 52m 37s	No actions
#20250328.1 • Add Z3_get_array_arity (#7598) Individual CI for master 63ad2837	Friday 1h 5m 18s	No actions
#20250327.3 • Remove vestiges of old ml api (#7597) Individual CI for master 934455a2	Thursday 59m 22s	No actions
#20250327.2 • replace Exists by ForAll in the mathematica lemmas Individual CI for master e4897fff	Thursday 1h 39m 49s	No actions
#20250327.1 • enable shorterter mathematica printouts in nlsat Individual CI for master 39df8999	Thursday 1h 34m 51s	No actions
#20250326.3 • turn on ite simplification by default Individual CI for master e86a918a	Wednesday 57m 38s	No actions
#20250326.2 • fix indentation Individual CI for master 83680946	Wednesday 1h 14m 5s	No actions
#20250326.1 • replace costly ite reduction by disjointnes check Individual CI for master 4fd6ba44	Wednesday 1h 3m 27s	No actions
#20250325.4 • optimize bool rewriter Individual CI for master 392bc166	Mar 25 51m 20s	No actions
#20250325.3 • add option to rewrite ite value trees Individual CI for master 29712503	Mar 25 1h 35m 4s	No actions
#20250325.2 • change line breaks Individual CI for master e92ccddb	Mar 25 1h 11m 40s	No actions
#20250325.1 • change a comment Individual CI for master 17bd02d1	Mar 25 1h 1m 31s	No actions
#20250324.3 • remove dead code Individual CI for master 8bbe752d	Mar 24 1h 1m 1s	No actions
#20250324.2 • fix crash in elim_constr2 Individual CI for master 7e4a1f24	Mar 24 57m 24s	No actions
#20250324.1 • remove an unused field Individual CI for master dee3cf8d	Mar 24 1h 56m 38s	No actions
#20250322.1 • remove an unused field Individual CI for dio1 6776575b	Mar 22 56m 38s	No actions
#20250321.5 • reintroduce m_var_register, and avoid modulo gcd in normalize conflicts Individual CI for dio1 c42c6125	Mar 21 1h 3m 33s	No actions
#20250321.3 • added some comments Individual CI for dio1 5260fb50	Mar 21 56m 19s	No actions
#20250321.1 • cleaning up the inner tightening code Individual CI for dio1 feeb3b47	Mar 21 1h 0m 58s	No actions
#20250320.9 • avoid the variable mapping to m_ematrix and suppressing redundand constraints Individual CI for dio1 924daa05	Mar 20 51m 57s	No actions
#20250320.7 • use more descriptive functions than casting comparisons Individual CI for dio1 e12271ee	Mar 20 51m 46s	No actions
#20250320.5 • tidy Individual CI for dio1 873b8e7e	Mar 20 1h 1m 49s	No actions
#20250320.3 • use pattern of matching with undef instead of matching with conflict to reduce assumptions on procedure contracts Individual CI for dio1 ddbf6e1a	Mar 20 1h 3m 53s	No actions
#20250320.1 • fix a print out Individual CI for dio1 238e7fd6	Mar 20 1h 10m 23s	No actions
#20250319.4 • attempt to use the gcd of fixed vars Individual CI for dio1 48430a19	Mar 19 49m 19s	No actions
#20250319.3 • fix #7590 logic alphabet soup Individual CI for master 30021dd7	Mar 19 51m 38s	No actions
#20250319.1 • add comment on derivation of bound Individual CI for dio1 0a618445	Mar 19 59m 56s	No actions
#20250318.7 • Fix : typo-in-simplify-tactic (#7587) Individual CI for master c1719e9f	Mar 18 2h 3m 36s	No actions
#20250318.5 • detect more m_terms_to_tighten Individual CI for dio1 b2d4790b	Mar 18 1h 9m 42s	No actions
#20250318.3 • remove an unused field Individual CI for dio1 a57a389e	Mar 18 1h 7m 43s	No actions
#20250318.1 • add public access to bijection key_val iterator Individual CI for dio1 c451a360	Mar 18 54m 10s	No actions
#20250317.8 • nit Individual CI for dio1 ff685d5e	Mar 17 1h 9m 19s	No actions
#20250317.6 • neatify loops Individual CI for dio1 c47d0537	Mar 17 1h 2m 18s	No actions
#20250317.5 • use iterators on goal and other refactoring Individual CI for master 2e2a2e28	Mar 17 1h 7m 26s	No actions
#20250317.3 • remove 'unsat' move, we already have 'conflict'. Add display for cancelled Individual CI for dio1 cb0131f6	Mar 17 1h 9m 11s	No actions
#20250317.1 • code review updates, tidy pretty printer for column info Individual CI for dio1 0e8ba370	Mar 17 1h 1m 35s	No actions
#20250316.9 • fix bug introduced while absstracting m_conflict_index Individual CI for dio1 87810c6a	Mar 16 1h 0m 15s	No actions
#20250316.7 • isolate m_conflict_index functionality Individual CI for dio1 14c672ff	Mar 16 1h 2m 35s	No actions
#20250316.5 • add systematic way to combine lia_move results Individual CI for dio1 0b3ef828	Mar 16 1h 6m 1s	No actions
#20250316.3 • nits Individual CI for dio1 beee2182	Mar 16 54m 45s	No actions
#20250316.1 • print also column values Individual CI for dio1 78d66b92	Mar 16 59m 13s	No actions
#20250315.6 • remove term sorting by the span Individual CI for dio1 c1b1a8c3	Mar 15 56m 56s	No actions
#20250315.5 • fix #7584 Individual CI for master 0e881e7a	Mar 15 1h 41m 41s	No actions
#20250315.3 • sort terms by weight for tightening Individual CI for dio1 e532308b	Mar 15 56m 48s	No actions
#20250315.1 • more aggressive term tightening Individual CI for dio1 ae30e2c4	Mar 15 1h 7m 10s	No actions
#20250314.7 • try another sorting of terms to tighten Individual CI for dio1 e846c2ac	Mar 14 49m 35s	No actions
#20250314.5 • separate m_changed_terms and m_terms_to_tighten in indexed_uint_sets Individual CI for dio1 364abb65	Mar 14 54m 9s	No actions
#20250314.3 • testing! disable gomory cut in int_solver Individual CI for dio1 0c245360	Mar 14 1h 9m 44s	No actions
#20250314.1 • optimize entrry recalculation Individual CI for dio1 6cce535f	Mar 14 1h 3m 3s	No actions
#20250313.4 • fix #4117 Individual CI for master 7c226f40	Mar 13 54m 11s	No actions