integer-overflow

15ısı

3cevap

İmzasız İnterkanın Taşılması

unsigned int taşırken ne içerir? Spesifik olmak gerekirse, iki unsigned int s ile bir çarpım yapmak istiyorum: çarpma bittikten sonra unsigned int ne olacak? unsigned int someint = 253473829*134820182

c++ integer-overflow unsigned-integer 2012-02-08

---

8ısı

4cevap

Uygun bir derleyici uint32_t -> int16_t -> int32_t dönüşümü yapabilir mi?

Son zamanlarda bazı eski kodlarda garip davranışlar keşfettik. Bu kod çağlar için çalıştı, ancak bazı platformlarda (XBox 360, PowerPC) derleyici optimizasyonları maksimuma çıkarıldı. Genellikle, tanı

c integer-overflow 2012-02-09

---

9ısı

2cevap

Coq

'daki gibi tanımı ve gösterimleri bulun "+" veya "++""++"/List bu gibi tanımlamalar için nasıl tanım/tür alabilirim? denedim : Search ++, Search "++", Search (++), SearchAbout ... ve Check ++, Check "

coq 2014-09-25

---

8ısı

1cevap

Rewrite taktik Coq yılında

eşleşen desen içindeki terim oluşumunu bulamazsa, ben aşağıdaki durumda rewrite taktiği uygulayarak sorunlar yaşıyorum: Bu aşamada Section Test. Hypothesis s t : nat -> nat. Hypothesis s_ext_eq_t

coq 2015-04-18

---

8ısı

1cevap

R: basit çarpım, tamsayı taşmasına neden oluyor

Daha uzun bir komut dosyasında, bir A (2614) uzunluğunun bir veri çerçevesinin B (1456000) satır sayısı ile çarpması gerekiyor. 2614 * 1456000 [1] 3805984000 işe çarpma almak için tek yol round(len

r integer-overflow 2013-07-15

---

6ısı

2cevap

1000000000 * 3 = -1294967296?

Kafam karıştı! Bugün DateTime DateTime = new DateTime(2010,11,3); long shazbot = 1000000000 * DateTime.Day; Shazbot -1294967296 dışarı Huh ??? geliyor 3 Kasım olduğunu Böyle uzun

c# integer-overflow 2010-11-03

---

5ısı

1cevap

"İmha ..." gibi davranan taktikleri nasıl yazarım?

Coq içinde, destruct taktiğinin, karmaşık endüktif tiplerin paketlerini açarken bile kullanıcının tanıtılan değişkenlere adlar atamasına izin veren bir "eşzamanlı ayırma giriş düzenini" kabul eden bir

coq ltac 2015-05-09

---

5ısı

1cevap

Garip uygulama Guava LongMath.checkedAdd

public static long checkedAdd(long a, long b) { long result = a + b; checkNoOverflow((a^b) < 0 | (a^result) >= 0); return result; } Boole mantığı neden ilgilenirsiniz | burada kullan

java guava long-integer integer-overflow 2013-08-16

---

5ısı

3cevap

VHDL numeric_std imzalı/imzasız için taşma tanımlandı mı

2**MAX - 1 değerini içeren bir unsigned(MAX downto 0) varsa, VHDL (87 | 93 | 200X) standartları, bunu tek tek artırdığımda ne olacağını tanımlar mı? (Ya da, benzer şekilde, ne zaman sıfırdan teker ola

standards vhdl integer-overflow 2012-08-02

---

5ısı

1cevap

Coq: örtük değişkenler ekleniyor

Her biri bir veya iki örtük değişkene A B: Type bağlı olabilecek bir dizi işlevim olduğunu varsayalım. Bunu nasıl belirleyebilirim? Yani bu değişkenleri değişken listesine ekleyin ve bunları örtük ola

coq 2015-04-23

---