|
|
|
@2999
|
8 years |
sacerdot |
code_memory added to labelled_object_code to avoid recomputing it …
|
|
|
|
@2770
|
8 years |
mckinna |
WARNING: another big commit, touching many files in ASM/*.ma
This …
|
|
|
|
@2754
|
8 years |
sacerdot |
1. WARNING: I commented out one of James's function used in …
|
|
|
|
@2516
|
8 years |
mckinna |
removed typedefs; restored older versions; moved typedefs to …
|
|
|
|
@2498
|
8 years |
mckinna |
Refactor:
Typedefs object_code and costlabel_map lifted out from …
|
|
|
|
@2264
|
9 years |
sacerdot |
1) Major change: we now always use the efficient way of resolving …
|
|
|
|
@2124
|
9 years |
sacerdot |
Much more shuffling around to proper places
|
|
|
|
@2119
|
9 years |
sacerdot |
load_code_memory moved to Fetch.ma and proved correct w.r.t. next …
|
|
|
|
@1961
|
9 years |
sacerdot |
No more interaction required.
|
|
|
|
@1946
|
9 years |
sacerdot |
\snd half_add => add everywhere
|
|
|
|
@1941
|
9 years |
mulligan |
Changes to the AssemblyProof? with a few more (large) axioms closed.
|
|
|
|
@1642
|
9 years |
mulligan |
finished big proof in all but two cases
|
|
|
|
@1604
|
9 years |
mulligan |
for jaap
|
|
|
|
@1602
|
9 years |
mulligan |
giving up on fetch proofs for time being
|
|
|
|
@1600
|
9 years |
sacerdot |
utilities and ASM ported to the new standard library
|
|
|
|
@1598
|
9 years |
mulligan |
changes over the last couple of days
|
|
|
|
@1597
|
9 years |
mulligan |
fixed fetch for jaap
|
|
|
|
@1591
|
9 years |
mulligan |
work from today
|
|
|
|
@1555
|
9 years |
boender |
- changes to assembly
- added lookup to PositiveMap?
- lightly changed …
|
|
|
|
@895
|
10 years |
sacerdot |
Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
|
|
|
|
@876
|
10 years |
sacerdot |
…
|
|
|
|
@856
|
10 years |
sacerdot |
1. if_then_else is now a notation for match with (to allow Russell to …
|
|
|
|
@820
|
10 years |
mulligan |
changes to get the semantics of pseudoassembly working
|
|
|
|
@712
|
10 years |
mulligan |
Changes to get things to typecheck.
|
|
|
|
@706
|
10 years |
sacerdot |
Fixed (reference to basics/pairs was dandling).
|
|
|
|
@698
|
10 years |
mulligan |
Commit with changes to files to get our files to typecheck.
|
|
|
|
@690
|
10 years |
mulligan |
Moved new matita files into correct place.
|
|
copied from src/ASM/new-matita-development/Fetch.ma:
|
|
|
|
@688
|
10 years |
mulligan |
Fixed local conflicts. Restructured svn repository.
|
