source:
src/utilities
@
2970
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| adt | 2772 | 8 years | Useless code removed. | ||
| binary | 2310 | 9 years | Moved a lemma from switchRemoval to positive. | ||
| bind_new.ma | 3.3 KB | 1976 | 9 years | * monads: just changed some defs, which had to be propagated in some … | |
| bindLists.ma | 1.3 KB | 2155 | 9 years | updates to blocks and RTLabs to RTL translation (which sidesteps … | |
| BitVectorTrieSet.ma | 2.2 KB | 753 | 10 years | Work from today. | |
| Coqlib.ma | 31.7 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| deqsets_extra.ma | 604 bytes | 2716 | 8 years | utilities/deqsets.ma => utilities/deqsets_extra.ma for extraction | |
| extra_bool.ma | 205 bytes | 2601 | 8 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |
| extralib.ma | 7.9 KB | 2796 | 8 years | * added global notation for existence in Type[1] (\exists[1] x.P) * in … | |
| extranat.ma | 5.0 KB | 2824 | 8 years | * moved sum on lists notation to extranat * used sum on lists to … | |
| fixpoints.ma | 924 bytes | 2949 | 8 years | Some advance/repairing in ERTLptrToLTLProof. In particular, we know … | |
| hide.ma | 1.2 KB | 2200 | 9 years | * updated joint semantics: generation of linear and graph semantics * … | |
| listb_extra.ma | 381 bytes | 2728 | 8 years | listb.ma => listb_extra.ma for extraction | |
| lists.ma | 10.7 KB | 2897 | 8 years | Minor tidying. | |
| monad.ma | 12.1 KB | 2529 | 8 years | rewritten function handling in joint swapped call_rel with ret_rel in … | |
| option.ma | 2.8 KB | 2770 | 8 years | WARNING: another big commit, touching many files in ASM/*.ma This … | |
| permutations.ma | 10.5 KB | 1976 | 9 years | * monads: just changed some defs, which had to be propagated in some … | |
| proper.ma | 756 bytes | 1908 | 9 years | notation fixup following last commit of matita we shifted the levels … | |
| RegisterSet.ma | 1.7 KB | 1193 | 10 years | work on colouring algorithm halted as it can be axiomatised. now … | |
| setoids.ma | 1.4 KB | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| state.ma | 1.5 KB | 2708 | 8 years | fixed linearise and LINToASM LINToASM has now correct transformation … | |
| trace.ma | 895 bytes | 1882 | 9 years | big update, alas incomplete: joint changed a bit, and all BE languages … | |
Note: See TracBrowser
for help on using the repository browser.
