yices-doc-2.6.4-1.fc36 in Fedora Rawhide
↵ Return to the main page of yices-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-10-25 | Jerry James <loganjerry at gmail dot com> - 2.6.4-1 | - Version 2.6.4 - Drop upstreamed -big-endian and -sphinx3 patches - Enable tests on 32-bit platforms |
| 2021-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.2-8 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-01-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.2-7 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-11-27 | Jerry James <loganjerry at gmail dot com> - 2.6.2-6 | - Rebuild for cryptominisat 5.8.0 |
| 2020-08-03 | Jerry James <loganjerry at gmail dot com> - 2.6.2-5 | - Rebuild for cadical 1.3.0 |
| 2020-07-29 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.2-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-04-25 | Jerry James <loganjerry at gmail dot com> - 2.6.2-3 | - Rebuild for cryptominisat 5.7.0 - Switch to upstream's solution for sphinx 3 support |
| 2020-04-16 | Jerry James <loganjerry at gmail dot com> - 2.6.2-2 | - Use native sphinx 3 support for enum instead of cenum extension (bz 1823515) |
| 2020-03-26 | Jerry James <loganjerry at gmail dot com> - 2.6.2-1 | - Version 2.6.2 - Drop upstreamed -missing-typedef patch - Add -big-endian patch to fix s390x build - Add -cryptominisat5 patch to fix build with recent cryptominisat releases - Skip tests on 32-bit platforms; some tests fail due to the limited size of a C integer |
| 2020-01-31 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |
Provides
- yices-doc
Files
- usr/
- share/
- doc/
- yices-doc/
- examples/
- abs_axiom.smt2
- abs_axiom2.smt2
- abs_test1.smt2
- abs_test2.smt2
- abs_test3.smt2
- abs_test4.smt2
- abs_test5.smt2
- abs_test6.smt2
- adria/
- ef_ALU_add_sub.ys
- example.efyices
- example_1_implication.smt2
- example_1_implication.ys
- example_1_implication_forall_turned_into_exist.smt2
- example_1_implication_forall_turned_into_exist.ys
- example_2constraints_expected.smt2
- example_2constraints_expected.ys
- example_2constraints_expected2.smt2
- example_2constraints_expected2.ys
- example_2constraints_expected3.smt2
- example_2constraints_expected3.ys
- example_2constraints_expected4.smt2
- example_2constraints_expected4.ys
- example_ALU_add_sub_rewritten.smt2
- example_ALU_add_sub_rewritten.ys
- example_distr.efyices
- example_distr.efyices.smt2
- example_find_ALU_add_conditions.smt2
- example_find_ALU_add_conditions.ys
- test-eval.ys
- test-show-model.ys
- test.ys
- test2.ys
- test3.ys
- arith_mix.ys
- ashish-assert.txt
- ashish-full.txt
- ashish-full1.tx2.txt
- ashish-full1.txt
- babic2-bool.ys
- bool_eqs.ys
- bool_eqs2.ys
- bool_eqs3.ys
- bool_eqs4.ys
- bv_add20.ys
- bv_add20_bool.ys
- bv_cycle.smt
- bv_cycle2.smt
- bv_cycle3.smt
- bv_mix.ys
- bv_mul10.ys
- bv_mul15.ys
- bv_mul20.ys
- bv_neg20.ys
- bv_neg20_bool.ys
- bv_not20.ys
- bv_not4.ys
- bv_pprod1.smt
- bv_pprod2.smt
- bv_pprod3.smt
- bv_test.ys
- bv_test1.ys
- bv_test2.ys
- check_formula_examples.c
- check_formula_examples_mt.c
- data1.txt
- data2.txt
- dioph-crt1.txt
- dioph-crt1.ys
- dioph-crt2.txt
- dioph-empty.txt
- dioph-example.txt
- dioph-example2.txt
- dioph-example3.txt
- dioph-hard.txt
- dioph-rosser.txt
- dioph-unsat1.txt
- dioph-unsat2.txt
- dioph-unsat3.txt
- div_axiom1.smt2
- div_axiom2.smt2
- div_axiom3.smt2
- div_axiom4.smt2
- div_axiom5.smt2
- div_axiom6.smt2
- div_test1.smt2
- div_test2.smt2
- div_test3.smt2
- div_test4.smt2
- div_test5.smt2
- div_test6.smt2
- divides_test1.smt2
- divides_test2.smt2
- divides_test3.smt2
- divides_test4.smt2
- divides_test5.smt2
- divides_test6.smt2
- ef-tests/
- presburger/
- Makefile
- Makefile.all
- README
- example_00.smt2
- example_01.smt2
- example_02.smt2
- example_03.smt2
- example_04.smt2
- example_05.smt2
- example_06.smt2
- example_07.smt2
- example_08.smt2
- example_09.smt2
- example_10.smt2
- example_11.smt2
- example_12.smt2
- example_13.smt2
- example_14.smt2
- example_15.smt2
- example_16.smt2
- test1.unsat.exists.smt2
- test1.unsat.mixed.smt2
- test1.unsat.smt2
- test1.unsat.ys
- test10.unsat.exists.smt2
- test10.unsat.mixed.smt2
- test10.unsat.smt2
- test10.unsat.ys
- test11.sat.exists.smt2
- test11.sat.mixed.smt2
- test11.sat.smt2
- test11.sat.ys
- test11b.sat.exists.smt2
- test11b.sat.mixed.smt2
- test11b.sat.smt2
- test11b.sat.ys
- test11c.sat.exists.smt2
- test11c.sat.mixed.smt2
- test11c.sat.smt2
- test11c.sat.ys
- test2.sat.exists.smt2
- test2.sat.mixed.smt2
- test2.sat.smt2
- test2.sat.ys
- test3.sat.exists.smt2
- test3.sat.mixed.smt2
- test3.sat.smt2
- test3.sat.ys
- test4.sat.exists.smt2
- test4.sat.mixed.smt2
- test4.sat.smt2
- test4.sat.ys
- test5.sat.exists.smt2
- test5.sat.mixed.smt2
- test5.sat.smt2
- test5.sat.ys
- test6.sat.exists.smt2
- test6.sat.mixed.smt2
- test6.sat.smt2
- test6.sat.ys
- test7.sat.exists.smt2
- test7.sat.mixed.smt2
- test7.sat.smt2
- test7.sat.ys
- test8.unsat.exists.smt2
- test8.unsat.mixed.smt2
- test8.unsat.smt2
- test8.unsat.ys
- test9.sat.exists.smt2
- test9.sat.mixed.smt2
- test9.sat.smt2
- test9.sat.ys
- presburger/
- example1.c
- example1b.c
- example1c.c
- example2.c
- example2b.c
- example2c.c
- example2d.c
- example2e.c
- example_mcsat.c
- example_unsat_core.c
- export_to_dimacs_example.c
- export_to_dimacs_example_mt.c
- floor_axiom.smt2
- floor_axiom2.smt2
- floor_axiom3.smt2
- floor_axiom4.smt2
- floor_axiom5.smt2
- floor_test1.smt2
- floor_test2.smt2
- floor_test3.smt2
- formula_bv32.ys2
- frugal10.smt
- frugal10.ys
- frugal100.smt
- frugal100.ys
- frugal1000.smt
- frugal1000.ys
- frugal10a.smt
- frugal10a.ys
- frugal10bool.ys
- frugal200.smt
- frugal200.ys
- frugal300.smt
- frugal300.ys
- frugal500.smt
- frugal500.ys
- frugal500bool.ys
- gacek.smt2
- integerTest.smt
- integerTestSimple.smt
- is_int_test1.smt2
- is_int_test2.smt2
- is_int_test3.smt2
- is_int_test4.smt2
- jinpeng.ys
- junghee_lim.ys
- junghee_lim2.ys
- junghee_lim3.ys
- like_issue233.c
- like_test02m.c
- minimal.c
- mod_axiom.smt2
- mod_axiom2.smt2
- mod_axiom3.smt2
- mod_axiom4.smt2
- mod_axiom5.smt2
- mod_axiom6.smt2
- mod_test1.smt2
- mod_test2.smt2
- mod_test3.smt2
- mod_test4.smt2
- names.c
- out_of_mem_example.cpp
- patrick/
- control_block2.ys
- cruise_control1.ys
- denominator3.ys
- lyapunov4.ys
- priority_synthesis5.ys
- priority_synthesis6.ys
- priority_synthesis7.ys
- priority_synthesis8.ys
- priority_synthesis9.ys
- test_bvbv1.ys
- test_bvbv2.ys
- test_bvbv3.ys
- test_lala1.ys
- test_lala2.ys
- test_lala3.ys
- pr_test.ys
- pr_test2.ys
- pr_test3.smt
- pr_test3.ys
- problem_with_input.ys
- queen6.ys
- recursive_include.ys
- sailor-monkey1.txt
- sailor-monkey10.txt
- sailor-monkey2.txt
- sailor-monkey3.txt
- sailor-monkey4.txt
- sailor-monkey5.txt
- sailor-monkey6.txt
- sailor-monkey7.txt
- sailor-monkey8.txt
- sailor-monkey9.txt
- sava.smt
- scenario1.ys
- scenario2.ys
- scenario3.ys
- scenario4.ys
- shewanella-compact.txt
- shewanella-compact2.txt
- shewanellaMILPtest.lp
- shewanellaMILPtest.txt
- sudoku.ys
- synudic_hackersdelight_bench/
- average_sat.ys
- average_unsat.ys
- mask10s_sat.ys
- mask10s_unsat.ys
- max_sat.ys
- max_unsat.ys
- nexthighersame1_sat.ys
- nexthighersame1_unsat.ys
- rightmost1sOff_sat.ys
- rightmost1sOff_unsat.ys
- rightmostOff1_sat.ys
- rightmostOff1_unsat.ys
- test-params.ys
- test_bvlet.ys
- test_check_with_model.c
- test_cycles1.smt
- test_cycles2.smt
- test_include1.ys
- test_include2.ys
- test_include3.ys
- test_include4.ys
- test_include5.ys
- test_pp.c
- trivial_ax.smt
- trivial_ax2.smt
- trivial_ax3.smt
- trivial_rdl.smt
- trivial_rdl2.smt
- tst_bvlt.smt
- tst_bvmodel.smt
- tst_bvmodel2.smt
- tst_bvmodel3.smt
- tst_bvsdiv1.smt
- tst_bvsdiv10.smt
- tst_bvsdiv11.smt
- tst_bvsdiv12.smt
- tst_bvsdiv2.smt
- tst_bvsdiv3.smt
- tst_bvsdiv4.smt
- tst_bvsdiv5.smt
- tst_bvsdiv6.smt
- tst_bvsdiv7.smt
- tst_bvsdiv8.smt
- tst_bvsdiv9.smt
- tst_bvudiv1.smt
- tst_bvudiv2.smt
- tst_bvudiv3.smt
- tst_bvudiv4.smt
- tst_bvudiv5.smt
- tst_bvudiv6.smt
- tst_bvudiv7.smt
- tst_bvudiv8.smt
- tst_bvuge.smt
- tst_bvuge1.smt
- tst_bvuge2.smt
- tst_bvuge3.smt
- tst_bvuge4.smt
- tst_bvuge5.smt
- tst_bvuge6.smt
- tst_bvult1.smt
- tst_bvult2.smt
- wd/
- aquino.ys
- c10bid_i.smt2
- c10bid_i_succ.smt2
- c10bid_i_succ_unint.smt2
- c6b_i.smt2
- c6b_succ_i.smt2
- c6b_succ_i_unint.smt2
- opt1217--27.smt
- opt1217--27.smt2
- opt1217--27var.smt
- opt1217--27var.smt2
- prp-1-22.smt2
- prp-1-31.smt2
- prp-2-18.smt2
- prp-24-47.smt2
- prp-5-17.smt2
- simple_startup_4nodes.abstract.base.smt2
- simple_startup_4nodes.abstract.induct.smt2
- simple_startup_4nodes.bug.induct.smt2
- simple_startup_4nodes.missing.induct.smt2
- simple_startup_4nodes.synchro.base.smt2
- simple_startup_4nodes.synchro.induct.smt2
- willet/
- prop_fast_400.yices
- prop_orig_400.yices
- html/
- _downloads/
- 13f4c3c15db5059b267799f8d001ca53/
- example1b.c
- 5eafabb16245983173537633b62773e4/
- example1.c
- ddaa5f2c30eeefc172d6016882333084/
- test_pp.c
- de837e1645ce8a4056b24567fef78613/
- names.c
- 13f4c3c15db5059b267799f8d001ca53/
- _images/
- ppbox2.svgz
- _sources/
- api-types.rst.txt
- basic-usage.rst.txt
- context-operations.rst.txt
- error-reports.rst.txt
- formula-operations.rst.txt
- global-initialization.rst.txt
- hard-limits.rst.txt
- index.rst.txt
- install-binaries.rst.txt
- install-sources.rst.txt
- mcsat-support.rst.txt
- misc-operations.rst.txt
- model-operations.rst.txt
- out-of-memory.rst.txt
- overview.rst.txt
- parameters.rst.txt
- pretty-printing.rst.txt
- references.rst.txt
- smt-logics.rst.txt
- term-operations.rst.txt
- thread-safety.rst.txt
- type-operations.rst.txt
- vectors.rst.txt
- version-data.rst.txt
- yices-language.rst.txt
- _static/
- basic.css
- classic.css
- default.css
- doctools.js
- documentation_options.js
- epub.css
- example1.c
- example1b.c
- favicon.ico
- file.png
- jquery-3.5.1.js
- jquery.js
- language_data.js
- logo10.png
- logo3.pdf
- minus.png
- names.c
- plus.png
- ppbox2.svg
- ppbox2.svgz
- pygments.css
- searchtools.js
- sidebar.js
- test_pp.c
- underscore-1.13.1.js
- underscore.js
- api-types.html
- basic-usage.html
- context-operations.html
- error-reports.html
- formula-operations.html
- genindex.html
- global-initialization.html
- hard-limits.html
- index.html
- install-binaries.html
- install-sources.html
- mcsat-support.html
- misc-operations.html
- model-operations.html
- objects.inv
- out-of-memory.html
- overview.html
- parameters.html
- pretty-printing.html
- references.html
- search.html
- searchindex.js
- smt-logics.html
- term-operations.html
- thread-safety.html
- type-operations.html
- vectors.html
- version-data.html
- yices-language.html
- _downloads/
- manual.pdf
- examples/
- yices-doc/
- licenses/
- yices-doc/
- LICENSE.txt
- copyright.txt
- yices-doc/
- doc/
- share/
Sources on Pagure