Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
why3
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
124
Issues
124
List
Boards
Labels
Service Desk
Milestones
Merge Requests
15
Merge Requests
15
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Why3
why3
Commits
2bf5b3b2
Commit
2bf5b3b2
authored
May 26, 2018
by
Sylvain Dailler
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Added realization diff file for isabelle2016
This file was forgotten in
4dd0cc57
.
parent
ee369db7
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
58 additions
and
58 deletions
+58
-58
lib/isabelle/realizations.2016-1
lib/isabelle/realizations.2016-1
+58
-58
No files found.
lib/isabelle/realizations.2016-1
View file @
2bf5b3b2
d930a7d62b70978e95b402b731c207e966ff4a0d
int/Abs.xml
f8da2290ab9efa10c6f256d58a78cb6e470cb687
int/ComputerDivision.xml
694f7a0ed680e52547c59e7b5de26696661ab6ae
int/Div2.xml
b
8ded44a92ca38ab10ebf75e2bff9f3b328298dd
int/EuclideanDivision.xml
9c8cdaa53f4f26ff7c7f945f02005708f14cc4b7
int/Int.xml
3219bc19b2780bd089793c024ebf9d12a9fa0e8
0 int/MinMax.xml
0c2663e30b6957e81ba9900671b1e660f8bcb822
int/Power.xml
420feaaa04035926c167d0ea4ff70719f18284da
bool/Bool.xml
0d7cc11e85d68d02186433e107d881d5e8d2dde5
real/Real.xml
9db9ea3382b6698b98a001f1807199bb1efae33
b real/RealInfix.xml
24b3449e73d4350721f67ffd731bdf86d408673e
real/Abs.xml
13d66b5c7059cb75756dde3d9e81db9835dbeb3d
real/MinMax.xml
60bd1de26e8780aba11ebadb6490014b1cf6d8b1
real/FromInt.xml
fb03145930b3ad7defe79ca1c78689b152565db5
real/Truncate.xml
81cfe1277578642ac0090dd21ab1df7d775812ba
real/Square.xml
89c5bb2494a3d1e722f2c92b8b98448dc25fefbb
real/ExpLog.xml
f02f14ff154479d434db113ebc782f9b5b3178f4
real/Trigonometry.xml
7a238fa2ec522c16fde75f6ad1bd8f7003568e52
real/PowerInt.xml
3e26fcc15ee4da886f36bf367eb039c4a1b05c67
number/Divisibility.xml
ded440a61cc23b77a6e4dc3eccb763376a4ce82b
number/Gcd.xml
edd3974ff648ced9fc76c252c5e44e39b4b66a4c
number/Parity.xml
981d2f1d534d1f4c5644d6a60f63cfb9cf9bf11c
number/Prime.xml
313948a8acfc6c1cbbc7ddc23891255a32a1e152
number/Coprime.xml
82bf3f4c401ffd8384798de755e9cec1245e83e0
set/Set.xml
6cf1aae19d269f9eb81bebd88e33e01de72a5833
set/Fset.xml
234c17ca154b9ada6969b5b61ac6c5d240a5680
9 map/Map.xml
6eecce0c7dfc7345cccbec4f6a291af473d1ee02
map/Const.xml
4df5bb606a29e27231d09449680cb5266b3fa593
map/Occ.xml
7f1db7a087de78b983d9807ba578c7428113942a
map/MapPermut.xml
ec802c583394bbd169cf4fd6688f44afbfb4b4e2
map/MapInjection.xml
8c8f7cf7e53779a9261e57bb00d1b476e8deeed1
list/List.xml
ff0cb7fb85c291dc2ac6d5e0a31ab6ab8e82a47b
list/Length.xml
cd19ae86656914c1c824c6e31093e7452e9a07e1
list/Mem.xml
ab66070351d007376beb66c217b5840927ca5d91
list/Nth.xml
6be4c50f7b5a903c115890321e90e939489bd8de
list/NthNoOpt.xml
90151ebd29578ed391f07118d9e14a1f243308e1
list/NthLength.xml
1f52a0f1d1530fdb84127b224f394a6090f2f839
list/HdTl.xml
58732a30ff52ff3497808413708f4cac68ab9188
list/NthHdTl.xml
6da5043142c3c716bf7fa5d021834028a52ef933
list/Append.xml
08eba70a27588e0081ee3ff88b84e01a79ea4d2a
list/NthLengthAppend.xml
db0385bc0d49a2201acfbbde0323290d9be390d2
list/Reverse.xml
8266b7a315794ca1b93c0fdf4e783fc830fc3cc2
list/HdTlNoOpt.xml
c4d005485d8103874160640bc713a4b1b1dcf537
list/RevAppend.xml
24373bcf350857e4e2be9df045b8725719bdcfbe
list/Combine.xml
77696caef931d907fee0a667d67fd8be67b61a6
b list/Distinct.xml
ca5689339ccb61a1e710e21b723ee5137791ee7d
list/NumOcc.xml
3303d47fe19ca80d65c9c8eec39a3ecf733c425c
list/Permut.xml
0
f77cea4db3270755b9ceadbdac9470377cf0c1d
bv/Pow2int.xml
ea7b087f596c2e00cbedee7c8bdc919b29988b32
bv/BV8.xml
337eb70c810785704db1588053184b7da4c3fb66
bv/BV16.xml
77ea2bf452fbfde9bc593c118335a91601a920f4
bv/BV32.xml
d9384d3754127eb7b8dc86ac2d9569cd276d179e
bv/BV64.xml
557ab34ed0b97f6226e8595cd190bab621c438f7
bv/BVConverter_32_64.xml
f
1fabd8e2eb129492a44e663982796b99f53642e
bv/BVConverter_16_64.xml
6ceeb3f8e2bc8a0a7cec0c26c3ce3c601c35c4af
bv/BVConverter_8_64.xml
2
1f141cbe58e8c962d32f4c92f6ef64129e0d5fd
bv/BVConverter_16_32.xml
0d35d6284ec6c02ab585c4313d15020e7fba4b5a
bv/BVConverter_8_32.xml
2a029587c3f2665e0e080b10a6833ccceab69ef9
bv/BVConverter_8_16.xml
1cb9ef812bdf895d6a004846c7f520389463bb15
int/Abs.xml
4798314a713999989fbfe357e32c863af664b171
int/ComputerDivision.xml
0bf9f4b49f0fd082d03011649520773c6c779365
int/Div2.xml
b
f46afb573d8c617c16343bde51d43ef8a0455ab
int/EuclideanDivision.xml
38b6fea94a9a5fece339bc5fc038461017806356
int/Int.xml
f93d912698cd9b10846cd861492655f1c6cf9ab
0 int/MinMax.xml
1e213a6d348ab56d8cd087dc1260cd444aa453dd
int/Power.xml
79ca42a9fba90deb0e8eb7fb5396de8a756ac969
bool/Bool.xml
6bb79ae3bc3abb9b0710a2dfd58c0bd2c41b8f13
real/Real.xml
657f5992027dc0d739351289093cac512a534fc
b real/RealInfix.xml
c2410d334c7e0852086bb13cae1189f601f3b1c6
real/Abs.xml
da70a842eac8ff6687f1d119c309be4c227976ff
real/MinMax.xml
3cc6bd97503e596fae70c51ef1d5401a62114b94
real/FromInt.xml
62beb9d22a9b5a94aaa55b8865e49320f5c776ff
real/Truncate.xml
9ec1794c5e35cee3bc4d71a42be74fc89fb342fb
real/Square.xml
6dc1b60c6ee9c4740643b7b5242808fadb22eae0
real/ExpLog.xml
2aac728a76b9ac3d551404f6a13d47969ce6e973
real/Trigonometry.xml
da4b981eb0a086bafef4994a856470521dc76f3a
real/PowerInt.xml
23fc6a0ffa09725c78addb8391ed82ee08090d30
number/Divisibility.xml
7543f13d887b95912e75f4286bb897ce6fa1c2a1
number/Gcd.xml
d009220356ef6e55d1b92a43cec115ec1400b8e1
number/Parity.xml
cf7bb9cfeed1b1dbb9ce5ed909508e24684ea7cb
number/Prime.xml
c65c034efcb501c5828bc93ccd8ea479c0b096f1
number/Coprime.xml
017b0bfd1148c566644b949d9d0eecd6dbae7b2b
set/Set.xml
01b883e67d69549f63707ce4ebfc3a2d3e474876
set/Fset.xml
6cf45ce21a7f543a525d4ad16344d5646fc5cb5
9 map/Map.xml
731bf6b01b5e0bca7b5a2667a0dc85bf95a0cf50
map/Const.xml
b774668e3edc7290afd2af25f3d3acc97b176376
map/Occ.xml
5fc59b90cccec35328bb6f68194e58e366aacab0
map/MapPermut.xml
c97709c7c873bfbaebb707d5b0fe73bf0227f53b
map/MapInjection.xml
e466c0e2599c2ff3771d26068c2164ca81301aa3
list/List.xml
00dae52439bbb71e920beba9ef0d78d2c4daabe9
list/Length.xml
3e9966d82693bab28fc45b96637d607d327340da
list/Mem.xml
490b6bb1defdbb5465394b9ffaa69f209459d6dd
list/Nth.xml
1162498dc351c96b45d9b4baf947b508de218694
list/NthNoOpt.xml
7a9aee57db57d09280c00315e02d94b1f17a5bc9
list/NthLength.xml
f54a5224236ba3fe7e884c081a91b932f1868f56
list/HdTl.xml
9112ae2ea832167bdefd1732217e705176a2af8a
list/NthHdTl.xml
f13eccc059f043adc72edfdf37c79f923532a35e
list/Append.xml
be9c55e1022b779f53e381b56fdd6a6ee3edc55b
list/NthLengthAppend.xml
43f3764a1b0cd0ef8f6d47cbc8912ab149116f7f
list/Reverse.xml
d22ece3391e0afbcc5d968c2ca1adb42e0893c79
list/HdTlNoOpt.xml
9f17f45865d620f6e83cff99bc8bde424767dd74
list/RevAppend.xml
9b4b44b399d0a3dd984bd28052e973ccf40ccb43
list/Combine.xml
015c4c7c0a410f0d9437031e6d231604fbca7ff
b list/Distinct.xml
5645487a4e3ec5c5caed7b281f458f1c9cdeea26
list/NumOcc.xml
70188a9eb4e534636169ac4a26fcf3d532ab0d96
list/Permut.xml
0
b0dc7516afdb64d691c14d202a63cd997eba4b5
bv/Pow2int.xml
6276418ad39d54995c72427be1ee2a6c2ad3cb13
bv/BV8.xml
71dea38184be69b4ab0134ed2904425695725ae1
bv/BV16.xml
e4c2614346a929f219f42d296e7587447f7d37df
bv/BV32.xml
5d8bcb911f3ca0b77c071d7798ffb347bdbab97d
bv/BV64.xml
19b40e312682171a4732eadf597a9087dad30b45
bv/BVConverter_32_64.xml
f
9124bb0d2214ecdd478c9312e95df19f2e5c8b9
bv/BVConverter_16_64.xml
8a1b05ca9179676f20e31772d0450e6f85074c05
bv/BVConverter_8_64.xml
2
3255be35c90ea76804c1a2a6b4aef84d93abe0f
bv/BVConverter_16_32.xml
a605673cf1c86d2475c299a923f739c6a0b07668
bv/BVConverter_8_32.xml
34adce39c962ae0dfb01eab96b1583d02b9186cc
bv/BVConverter_8_16.xml
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment