Context Navigation

Arithmetic.ma

	Rev	Age	Author	Log Message
(edit)	@1646	9 years	mulligan	finished the block_costs computation, and propagated the changes …
(edit)	@1599	9 years	sacerdot	Start of merging of stuff into the standard library of Matita.
(edit)	@1485	9 years	sacerdot	Less nice definitiion of add_with_carries that avoids a quadratic …
(edit)	@1426	9 years	boender	removed axiom
(edit)	@1404	10 years	boender	- reworked + added - added an axiom to arithmetic, but should be provable
(edit)	@1207	10 years	campbell	Second part of fixing temporaries in Clight to Cminor stage.
(edit)	@961	10 years	campbell	Use precise bitvector sizes throughout the front end, rather than …
(edit)	@949	10 years	mulligan	resolved conflict, work from today
(edit)	@744	10 years	campbell	Evict Coq-style integers from common/Integers.ma. Make more bitvector …
(edit)	@724	10 years	campbell	More tractable version of bitvector_of_nat / nat_of_bitvector.
(edit)	@712	10 years	mulligan	Changes to get things to typecheck.
(edit)	@698	10 years	mulligan	Commit with changes to files to get our files to typecheck.
(edit)	@697	10 years	campbell	Merge Clight branch of vectors and friends. Start making stuff build.
(copy)	@690	10 years	mulligan	Moved new matita files into correct place.
copied from src/ASM/new-matita-development/Arithmetic.ma:
(copy)	@688	10 years	mulligan	Fixed local conflicts. Restructured svn repository.

Note: See TracRevisionLog for help on using the revision log.