This website requires JavaScript.
Explore
Help
Sign In
ada
/
program_proofs_in_spark
Watch
0
Star
0
Fork
0
You've already forked program_proofs_in_spark
mirror of
https://github.com/AdaCore/program_proofs_in_spark.git
synced
2026-02-12 13:11:58 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
fsf
Add File
New File
Upload File
Apply Patch
program_proofs_in_spark
/
ch5
History
Yannick Moy
8a64b8f60a
Add test file for abstract syntax trees
2023-04-22 07:06:47 +02:00
..
abstract_syntax_trees.adb
Adaptations of proofs for FSF version of SPARK
2023-03-21 16:39:01 +01:00
abstract_syntax_trees.ads
Adaptations of proofs for FSF version of SPARK
2023-03-21 16:39:01 +01:00
ch5.gpr
Complete project files
2023-04-22 06:37:37 +02:00
mult_commutative.adb
Add first example in SPARK
2023-03-14 11:43:01 +01:00
mult_commutative.ads
Adaptations of proofs for FSF version of SPARK
2023-03-21 16:39:01 +01:00
spark.adc
Add proof of AST
2023-03-20 11:14:46 +01:00
test_abstract_syntax_trees.adb
Add test file for abstract syntax trees
2023-04-22 07:06:47 +02:00
