Branch :
AUTHORS Makefile README.md c3.index c3.version c3c/Makefile c3c/c3c.c c3c/configure c3s/Makefile c3s/buf_readline.c c3s/c3s.c c3s/configure c3s/buf_readline.h c3s/sources.mk c3s/sources.sh c3s/update_sources config.subr configure doc/win64.png ffi.h ic3/Makefile ic3/buf_linenoise.c ic3/ic3.c ic3/buf_linenoise.h ic3/configure ic3/linenoise.c ic3/sources.mk ic3/sources.sh ic3/update_sources img/c3.1.xcf img/c3.1080.jpg img/c3.1080.png img/c3.128.jpg img/c3.128.png img/c3.256.jpg img/c3.256.png img/c3.32.jpg img/c3.32.png img/c3.48.jpg img/c3.48.png img/c3.512.jpg img/c3.512.png img/c3.64.jpg img/c3.64.png img/c3.640.jpg img/c3.640.png img/c3.720.jpg img/c3.720.png img/c3.xcf lib/c3/0.1/c3.facts libc3/Makefile libc3/abs.c libc3/abs.h libc3/buf_inspect_s8.c libc3/arg.c libc3/arg.h libc3/array.c libc3/array.h libc3/binding.c libc3/c3.c libc3/skiplist__fact.c libc3/skiplist__fact.h libc3/skiplist_node__fact.c libc3/skiplist_node__fact.h libc3/binding.h libc3/bool.c libc3/bool.h libc3/buf.c libc3/buf.c3 libc3/buf.h libc3/buf_file.c libc3/buf_file.h libc3/buf_inspect.c libc3/buf_inspect.h libc3/buf_parse.h libc3/buf_parse_c.c libc3/buf_parse_u16.c libc3/buf_save.c libc3/facts_spec_cursor.c libc3/buf_parse_u16.h libc3/buf_parse_u32.c libc3/buf_parse_u32.h libc3/buf_parse_u64.c libc3/buf_parse_u64.h libc3/buf_parse_uw.c libc3/buf_parse_uw.h libc3/set__fact.c libc3/set__fact.h libc3/set__tag.c libc3/buf_parse_c.h libc3/buf_save.h libc3/c3.h libc3/c_types.h libc3/call.c libc3/call.h libc3/ceiling.c libc3/ceiling.h libc3/cfn.c libc3/cfn.h libc3/character.c libc3/character.h libc3/compare.c libc3/buf_inspect_u32.h libc3/buf_inspect_u64.c libc3/compare.h libc3/buf_inspect_u64.h libc3/buf_inspect_u64_binary.c libc3/buf_inspect_u64_binary.h libc3/env.c libc3/buf_inspect_u64_octal.c libc3/buf_inspect_u64_octal.h libc3/env.h libc3/error.c libc3/error.h libc3/error_handler.c libc3/error_handler.h libc3/eval.c libc3/eval.h libc3/fact.c libc3/fact.h libc3/facts.h libc3/facts_cursor.c libc3/buf_parse.c libc3/facts_cursor.h libc3/facts_spec.c libc3/facts_spec.h libc3/facts_spec_cursor.h libc3/facts_with.c libc3/facts_with.h libc3/facts_with_cursor.c libc3/facts_with_cursor.h libc3/buf_inspect_u64_decimal.c libc3/float.h libc3/fn.c libc3/buf_inspect_u64_decimal.h libc3/fn.h libc3/frame.c libc3/buf_inspect_u64_hexadecimal.c libc3/buf_inspect_u64_hexadecimal.h libc3/frame.h libc3/buf_inspect_uw.c libc3/buf_inspect_uw.h libc3/buf_parse_s8.h libc3/gen.mk libc3/hash.c libc3/hash.h libc3/ident.c libc3/ident.h libc3/integer.c libc3/integer.h libc3/io.c libc3/io.h libc3/list.c libc3/list.h libc3/log.c libc3/log.h libc3/buf_inspect_s.h.in libc3/module.c libc3/buf_parse_s16.c libc3/buf_parse_s16.h libc3/buf_parse_s32.c libc3/buf_parse_s32.h libc3/buf_parse_s64.c libc3/buf_parse_s64.h libc3/buf_parse_sw.c libc3/buf_parse_sw.h libc3/buf_parse_u8.c libc3/buf_parse_u8.h libc3/configure libc3/facts.c libc3/str.c libc3/module.h libc3/operator.c libc3/set__tag.h libc3/operator.h libc3/buf_parse_u.c.in libc3/quote.c libc3/quote.h libc3/set_cursor__fact.c libc3/set_cursor__fact.h libc3/set_cursor__tag.c libc3/set_cursor__tag.h libc3/set_item__fact.c libc3/set_item__fact.h libc3/set_item__tag.c libc3/set_item__tag.h libc3/set.c.in libc3/set.h.in libc3/tag.c libc3/buf_inspect_s8.h libc3/buf_inspect_s16.c libc3/buf_inspect_s16.h libc3/buf_inspect_s32.c libc3/buf_inspect_s32.h libc3/buf_inspect_s64.c libc3/buf_inspect_s64.h libc3/sha1.h libc3/set_cursor.c.in libc3/set_cursor.h.in libc3/set_item.c.in libc3/set_item.h.in libc3/sign.c libc3/sign.h libc3/skiplist.c.in libc3/skiplist.h.in libc3/sources.mk libc3/type.h libc3/skiplist_node.c.in libc3/skiplist_node.h.in libc3/sources.sh libc3/str.h libc3/types.h libc3/ucd.c libc3/sym.c libc3/sym.h libc3/tag.h libc3/tuple.c libc3/tuple.h libc3/type.c libc3/ucd.h libc3/update_sources libc3/buf_inspect_sw.c libc3/buf_parse_s.c.in libc3/buf_parse_s.h.in libc3/buf_inspect_sw.h libc3/buf_inspect_u8.c libc3/buf_inspect_u8.h libc3/buf_inspect_u16.c libc3/buf_inspect_u16.h libc3/buf_inspect_u32.c libc3/buf_inspect_s.c.in libc3/buf_parse_s8.c libc3/buf_parse_u.h.in libc3/buf_inspect_s_base.c.in libc3/buf_inspect_u.c.in libc3/buf_inspect_u.h.in libc3/buf_inspect_u_base.c.in libc3/buf_inspect_u_base.h.in libtommath/demo/mtest_opponent.c libtommath/demo/shared.c libtommath/demo/shared.h libtommath/demo/test.c libtommath/demo/timing.c libtommath/doc/makefile libtommath/doc/bn.tex libtommath/etc/drprimes.txt libtommath/etc/2kprime.1 libtommath/etc/2kprime.c libtommath/etc/drprime.c libtommath/etc/drprimes.28 libtommath/etc/makefile.icc libtommath/etc/makefile libtommath/etc/makefile.msvc libtommath/etc/mersenne.c libtommath/etc/mont.c libtommath/etc/pprime.c libtommath/etc/prime.1024 libtommath/etc/prime.512 libtommath/etc/timer.asm libtommath/etc/tune.c libtommath/etc/tune_it.sh libtommath/logs/expt_2kl.log libtommath/logs/Makefile libtommath/logs/README libtommath/logs/add.log libtommath/logs/addsub.png libtommath/logs/expt.log libtommath/logs/expt.png libtommath/logs/expt_2k.log libtommath/logs/mult_kara.log libtommath/logs/expt_dr.log libtommath/logs/graphs.dem libtommath/logs/index.html libtommath/logs/invmod.log libtommath/logs/invmod.png libtommath/logs/mult.log libtommath/logs/mult.png libtommath/logs/sqr_kara.log libtommath/logs/sqr.log libtommath/logs/sub.log libtommath/mtest libtommath/mtest/mpi-config.h libtommath/mtest/logtab.h libtommath/mtest/mpi-types.h libtommath/mtest/mpi.c libtommath/mtest/mpi.h libtommath/mtest/mtest.c libtommath/LICENSE libtommath/Makefile libtommath/README.md libtommath/appveyor.yml libtommath/astylerc libtommath/bn_cutoffs.c libtommath/bn_deprecated.c libtommath/bn_mp_2expt.c libtommath/bn_mp_abs.c libtommath/bn_mp_add.c libtommath/bn_mp_add_d.c libtommath/bn_mp_cnt_lsb.c libtommath/bn_mp_addmod.c libtommath/bn_mp_and.c libtommath/bn_mp_clamp.c libtommath/bn_mp_clear.c libtommath/gen.pl libtommath/bn_mp_clear_multi.c libtommath/bn_mp_cmp.c libtommath/bn_mp_cmp_d.c libtommath/bn_mp_cmp_mag.c libtommath/bn_mp_div.c libtommath/bn_mp_complement.c libtommath/bn_mp_copy.c libtommath/bn_mp_count_bits.c libtommath/bn_mp_decr.c libtommath/bn_mp_div_2.c libtommath/bn_mp_div_2d.c libtommath/bn_mp_from_ubin.c libtommath/bn_mp_fwrite.c libtommath/bn_mp_div_3.c libtommath/bn_mp_div_d.c libtommath/bn_mp_dr_is_modulus.c libtommath/bn_mp_dr_reduce.c libtommath/bn_mp_dr_setup.c libtommath/bn_mp_error_to_string.c libtommath/bn_mp_exch.c libtommath/bn_mp_expt_u32.c libtommath/bn_mp_exptmod.c libtommath/bn_mp_exteuclid.c libtommath/bn_mp_fread.c libtommath/bn_mp_from_sbin.c libtommath/bn_mp_gcd.c libtommath/bn_mp_get_double.c libtommath/bn_mp_get_i32.c libtommath/bn_mp_get_i64.c libtommath/bn_mp_get_mag_u32.c libtommath/bn_mp_get_l.c libtommath/bn_mp_get_ll.c libtommath/bn_mp_get_mag_u64.c libtommath/bn_mp_get_mag_ul.c libtommath/bn_mp_get_mag_ull.c libtommath/bn_mp_grow.c libtommath/bn_mp_incr.c libtommath/bn_mp_init.c libtommath/bn_mp_init_copy.c libtommath/bn_mp_init_i32.c libtommath/bn_mp_init_i64.c libtommath/bn_mp_init_l.c libtommath/bn_mp_init_ll.c libtommath/bn_mp_init_multi.c libtommath/bn_mp_init_set.c libtommath/bn_mp_init_size.c libtommath/bn_mp_init_u32.c libtommath/bn_mp_init_u64.c libtommath/bn_mp_init_ul.c libtommath/bn_mp_init_ull.c libtommath/bn_mp_invmod.c libtommath/bn_mp_lcm.c libtommath/bn_mp_is_square.c libtommath/bn_mp_iseven.c libtommath/bn_mp_isodd.c libtommath/bn_mp_kronecker.c libtommath/bn_mp_log_u32.c libtommath/bn_mp_lshd.c libtommath/bn_mp_mod.c libtommath/bn_mp_mod_2d.c libtommath/bn_mp_mod_d.c libtommath/bn_mp_montgomery_calc_normalization.c libtommath/bn_mp_montgomery_reduce.c libtommath/bn_mp_mul.c libtommath/bn_mp_neg.c libtommath/bn_mp_montgomery_setup.c libtommath/bn_mp_prime_frobenius_underwood.c libtommath/bn_mp_mul_2.c libtommath/bn_mp_mul_2d.c libtommath/bn_mp_mul_d.c libtommath/bn_mp_mulmod.c libtommath/bn_mp_or.c libtommath/bn_mp_pack.c libtommath/bn_mp_pack_count.c libtommath/bn_mp_prime_fermat.c libtommath/bn_mp_prime_is_prime.c libtommath/bn_mp_prime_rand.c libtommath/bn_mp_prime_miller_rabin.c libtommath/bn_mp_prime_next_prime.c libtommath/bn_mp_prime_rabin_miller_trials.c libtommath/bn_mp_radix_size.c libtommath/bn_mp_prime_strong_lucas_selfridge.c libtommath/bn_mp_radix_smap.c libtommath/bn_mp_rand.c libtommath/bn_mp_read_radix.c libtommath/bn_mp_reduce.c libtommath/bn_mp_reduce_2k.c libtommath/bn_mp_reduce_2k_l.c libtommath/bn_mp_reduce_2k_setup.c libtommath/bn_mp_reduce_2k_setup_l.c libtommath/bn_mp_reduce_is_2k.c libtommath/bn_mp_reduce_is_2k_l.c libtommath/bn_mp_root_u32.c libtommath/bn_mp_reduce_setup.c libtommath/bn_mp_rshd.c libtommath/bn_mp_sbin_size.c libtommath/bn_mp_set.c libtommath/bn_mp_set_double.c libtommath/bn_mp_set_i32.c libtommath/bn_mp_set_i64.c libtommath/bn_mp_set_l.c libtommath/bn_mp_set_ll.c libtommath/bn_mp_set_u32.c libtommath/bn_mp_set_u64.c libtommath/bn_mp_set_ul.c libtommath/bn_mp_set_ull.c libtommath/bn_mp_shrink.c libtommath/bn_mp_signed_rsh.c libtommath/bn_mp_sqr.c libtommath/bn_mp_sqrmod.c libtommath/bn_mp_sqrt.c libtommath/bn_mp_sqrtmod_prime.c libtommath/bn_mp_sub.c libtommath/bn_mp_sub_d.c libtommath/bn_mp_xor.c libtommath/bn_mp_submod.c libtommath/bn_mp_to_radix.c libtommath/bn_mp_to_sbin.c libtommath/bn_mp_to_ubin.c libtommath/bn_mp_ubin_size.c libtommath/bn_mp_unpack.c libtommath/bn_mp_zero.c libtommath/bn_prime_tab.c libtommath/bn_s_mp_add.c libtommath/bn_s_mp_balance_mul.c libtommath/bn_s_mp_exptmod.c libtommath/bn_s_mp_exptmod_fast.c libtommath/bn_s_mp_karatsuba_mul.c libtommath/bn_s_mp_get_bit.c libtommath/bn_s_mp_invmod_fast.c libtommath/bn_s_mp_invmod_slow.c libtommath/bn_s_mp_karatsuba_sqr.c libtommath/bn_s_mp_montgomery_reduce_fast.c libtommath/bn_s_mp_mul_high_digs.c libtommath/bn_s_mp_reverse.c libtommath/bn_s_mp_mul_digs.c libtommath/bn_s_mp_mul_digs_fast.c libtommath/bn_s_mp_sqr.c libtommath/bn_s_mp_mul_high_digs_fast.c libtommath/bn_s_mp_prime_is_divisible.c libtommath/bn_s_mp_rand_jenkins.c libtommath/bn_s_mp_rand_platform.c libtommath/bn_s_mp_sqr_fast.c libtommath/bn_s_mp_sub.c libtommath/sources.mk libtommath/bn_s_mp_toom_mul.c libtommath/bn_s_mp_toom_sqr.c libtommath/changes.txt libtommath/configure libtommath/helper.pl libtommath/libtommath_VS2008.vcproj libtommath/libtommath.pc.in libtommath/libtommath_VS2008.sln libtommath/makefile.mingw libtommath/makefile.msvc libtommath/makefile.shared libtommath/makefile.unix libtommath/makefile_include.mk libtommath/sources.sh libtommath/testme.sh libtommath/tommath.def libtommath/tommath.h libtommath/tommath_class.h libtommath/tommath_cutoffs.h libtommath/tommath_private.h libtommath/tommath_superclass.h libtommath/update_sources licence.h linenoise/README.markdown linenoise/LICENSE linenoise/Makefile linenoise/example.c linenoise/linenoise.c linenoise/linenoise.h math/Makefile math/config.h math/configure math/sin.c math/sin.h math/sources.mk math/sources.sh math/update_sources sources.mk sources.sh test/ic3/character.err.expected test/ic3/array.err.expected test/ic3/array.out.expected test/ic3/array.ret.expected test/ic3/bool.err.expected test/ic3/bool.in test/ic3/call.err.expected test/ic3/call.out.expected test/ic3/call.ret.expected test/ic3/character.in test/ic3/character.out.expected test/ic3/character.ret.expected test/ic3/comment.in test/ic3/comment.err.expected test/ic3/fn.err.expected test/ic3/comment.out.expected test/ic3/comment.ret.expected test/ic3/fn.in test/ic3/fn.ret.expected test/ic3/fn.out.expected test/ic3/function_call.err.expected test/ic3/function_call.out.expected test/ic3/function_call.ret.expected test/ic3/array.in test/ic3/hello.err.expected test/ic3/hello.in test/ic3/hello.out.expected test/ic3/ident.err.expected test/ic3/hello.ret.expected test/ic3/ic3.core test/ic3/ic3.cov.core test/ic3/ic3.debug.core test/ic3/ic3_debug.core test/ic3/ident.in test/ic3/ident.out.expected test/ic3/ident.ret.expected test/ic3/integer.err.expected test/ic3/integer.in test/ic3/integer.out.expected test/ic3/list.in test/ic3/list.out.expected test/ic3/integer.ret.expected test/ic3/list.err.expected test/ic3/list.ret.expected test/ic3/op.err.expected test/ic3/op.in test/ic3/op.out.expected test/ic3/op.ret.expected test/ic3/str.err.expected test/ic3/str.in test/ic3/bool.out.expected test/ic3/str.out.expected test/ic3/str.ret.expected test/ic3/sym.err.expected test/ic3/sym.in test/ic3/sym.out.expected test/ic3/sym.ret.expected test/ic3/tuple.err.expected test/ic3/tuple.in test/ic3/tuple.out.expected test/ic3/tuple.ret.expected test/ic3/bool.ret.expected test/ic3/call.in test/Makefile test/bool_test.c test/buf_file_test.c test/buf_inspect_test.c test/buf_parse_test_u8.c test/buf_parse_test.h test/buf_parse_test_s16.c test/buf_parse_test_s32.c test/configure test/buf_parse_test_s64.c test/buf_parse_test_s8.c test/buf_parse_test_su.h test/buf_parse_test_su.rb test/buf_parse_test_u16.c test/libc3_test.core test/buf_parse_test_u32.c test/buf_test.c test/buf_parse_test_u64.c test/call_test.c test/facts_cursor_test.c test/test.c test/cfn_test.c test/character_test.c test/compare_test.c test/compare_test.h test/env_test.c test/fact_test.c test/fact_test.h test/facts_test.c test/buf_parse_test.c test/facts_test_dump_file.expected.facts test/facts_test_load_file.facts test/facts_test_log_add.expected.facts test/facts_with_test.c test/facts_test_log_remove.expected.facts test/facts_test_open_file.1.expected.facts test/facts_test_open_file.1.in.facts test/facts_test_open_file.2.expected.facts test/facts_test_open_file.2.in.facts test/hash_test.c test/facts_test_open_file.3.expected.facts test/facts_test_open_file.3.in.facts test/facts_test_save.expected.facts test/ic3_test test/ident_test.c test/libc3_test.c test/libc3_test.cov.core test/libc3_test.debug.core test/list_test.c test/replace_lines.rb test/sources.mk test/replace_lines.sh test/set__fact_test.c test/set__tag_test.c test/skiplist__fact_test.c test/sources.sh test/str_test.c test/sym_test.c test/tag_test.c test/tag_test.h test/test.h test/test.rb test/test_case_end.rb test/time.core test/tuple_test.c test/types_test.c test/update_sources test/libc3_test_debug.core ucd2c/UCD/auxiliary/GraphemeBreakProperty.txt ucd2c/UCD/auxiliary/GraphemeBreakTest.txt ucd2c/UCD/auxiliary/GraphemeBreakTest.html ucd2c/UCD/auxiliary/LineBreakTest.txt ucd2c/UCD/auxiliary/LineBreakTest.html ucd2c/UCD/auxiliary/SentenceBreakProperty.txt ucd2c/UCD/auxiliary/WordBreakTest.txt ucd2c/UCD/auxiliary/SentenceBreakTest.html ucd2c/UCD/auxiliary/SentenceBreakTest.txt ucd2c/UCD/auxiliary/WordBreakProperty.txt ucd2c/UCD/auxiliary/WordBreakTest.html ucd2c/UCD/emoji/emoji-data.txt ucd2c/UCD/emoji/ReadMe.txt ucd2c/UCD/emoji/emoji-variation-sequences.txt ucd2c/UCD/extracted/DerivedBinaryProperties.txt ucd2c/UCD/extracted/DerivedBidiClass.txt ucd2c/UCD/extracted/DerivedDecompositionType.txt ucd2c/UCD/extracted/DerivedCombiningClass.txt ucd2c/UCD/extracted/DerivedEastAsianWidth.txt ucd2c/UCD/extracted/DerivedGeneralCategory.txt ucd2c/UCD/extracted/DerivedJoiningGroup.txt ucd2c/UCD/extracted/DerivedJoiningType.txt ucd2c/UCD/extracted/DerivedLineBreak.txt ucd2c/UCD/extracted/DerivedName.txt ucd2c/UCD/extracted/DerivedNumericType.txt ucd2c/UCD/extracted/DerivedNumericValues.txt ucd2c/UCD/BidiCharacterTest.txt ucd2c/UCD/ArabicShaping.txt ucd2c/UCD/BidiBrackets.txt ucd2c/UCD/CompositionExclusions.txt ucd2c/UCD/BidiMirroring.txt ucd2c/UCD/BidiTest.txt ucd2c/UCD/Blocks.txt ucd2c/UCD/CJKRadicals.txt ucd2c/UCD/CaseFolding.txt ucd2c/UCD/EastAsianWidth.txt ucd2c/UCD/DerivedAge.txt ucd2c/UCD/DerivedNormalizationProps.txt ucd2c/UCD/DerivedCoreProperties.txt ucd2c/UCD/LineBreak.txt ucd2c/UCD/Index.txt ucd2c/UCD/EmojiSources.txt ucd2c/UCD/EquivalentUnifiedIdeograph.txt ucd2c/UCD/HangulSyllableType.txt ucd2c/UCD/Jamo.txt ucd2c/UCD/NameAliases.txt ucd2c/UCD/IndicPositionalCategory.txt ucd2c/UCD/IndicSyllabicCategory.txt ucd2c/UCD/NamedSequencesProv.txt ucd2c/UCD/NamedSequences.txt ucd2c/UCD/NormalizationTest.txt ucd2c/UCD/NamesList.html ucd2c/UCD/NamesList.txt ucd2c/UCD/PropertyValueAliases.txt ucd2c/UCD/NormalizationCorrections.txt ucd2c/UCD/NushuSources.txt ucd2c/UCD/PropList.txt ucd2c/UCD/PropertyAliases.txt ucd2c/UCD/SpecialCasing.txt ucd2c/UCD/ReadMe.txt ucd2c/UCD/Scripts.txt ucd2c/UCD/ScriptExtensions.txt ucd2c/UCD/StandardizedVariants.txt ucd2c/UCD/TangutSources.txt ucd2c/UCD/USourceData.txt ucd2c/UCD/USourceGlyphs.pdf ucd2c/UCD/USourceRSChart.pdf ucd2c/UCD/UnicodeData.txt ucd2c/UCD/VerticalOrientation.txt ucd2c/Makefile ucd2c/UCD.zip ucd2c/configure ucd2c/license.txt ucd2c/ucd.c ucd2c/ucd.h ucd2c/ucd2c.c update_sources