ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
17,173 Commits 65 Branches 1 Tag
24.2
Commit Graph

46 Commits

Author SHA1 Message Date
Xavier Denis
87af5d805b Initial bulk upgrade of z3 2023-04-13 09:43:18 +00:00
David Ewert
5f54fca95f Add "remove_unused:dependency" to int.ComputerDivision 2022-09-21 20:15:46 +00:00
Claude Marche
db96723fd9 fix sessions 2022-07-07 15:49:23 +02:00
Claude Marche
ecb497d98a Merge branch 'master' into eliminate_unused_symbols 2022-06-23 07:51:51 +02:00
Claude Marche
33115df1c9 fix sessions 2022-06-22 15:39:14 +02:00
Claude Marche
8abedf035e fix sessions 2022-06-02 17:59:27 +02:00
MARCHE Claude
bcfef9818c Resolve "Fix drivers for SMT-LIB strings" 2022-04-06 14:29:41 +00:00
Claude Marche
e7efe033be fix sessions 2021-10-30 11:11:24 +02:00
Claude Marche
62e1037ff1 fix sessions 2021-09-03 11:59:11 +02:00
Claude Marche
62d925e898 fix sessions 2021-06-25 10:26:57 +02:00
Andrei Paskevich
d2fb0befca examples: recompute broken v6 shapes 2020-08-26 19:32:11 +02:00
Cláudio Belo Lourenço
c05d96a102 minor cosmetic fix base64 example 2020-07-28 15:05:45 +02:00
Jean-Christophe Filliatre
86b7a7c78a updated proof sessions 2020-07-14 16:32:25 +02:00
Cláudio Belo Lourenço
2bf2f06f96 Update sessions using string theory. 2020-06-23 09:11:55 +02:00
Cláudio Belo Lourenço
424586aaa9 Update sessions 2020-04-03 12:30:03 +01:00
Andrei Paskevich
cf1cf2898c update sessions 2020-03-03 18:22:29 +01:00
Cláudio Belo Lourenço
9066d76668 .gitignore for base64 test example; cleaning up 2020-02-27 09:55:53 +01:00
Cláudio Belo Lourenço
bc5c535643 Minor cosmetics fixes in Base64 2020-02-26 09:57:55 +01:00
Cláudio Belo Lourenço
d8b9a4b3d5 Base64 example with encode and decode unique proofs 2020-02-26 09:34:34 +01:00
Cláudio Belo Lourenço
2224f6a1e3 Base64 encode unique (wip) 2020-02-26 08:34:49 +01:00
Cláudio Belo Lourenço
bccc23fd9f base64 encode unique proof (wip) 2020-02-25 16:06:37 +01:00
Cláudio Belo Lourenço
affea82b75 Fixes in base64 ane hex encoding 2020-02-24 16:16:39 +01:00
Cláudio Belo Lourenço
9282bf6a10 base64 proof completed 2020-02-24 08:58:44 +01:00
Cláudio Belo Lourenço
5a16cc5891 fix base64 encoding for new ocaml string theory 2020-02-21 18:20:08 +01:00
Cláudio Belo Lourenço
a2e95685cb Update base64 session 2020-02-21 09:49:03 +01:00