issues
search
CLEARSY
/
pptranspog
Encoding of proof obligations generated by Atelier B to typed first-order formats (SMT, TPTP) using the ppTrans approach
GNU General Public License v3.0
0
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added E. Parent to the list of authors
#29
dde-cls
closed
1 week ago
0
Updates Copyright
#28
dde-cls
closed
1 month ago
0
Demo
#27
dde-cls
closed
1 month ago
0
Adds a test suite covering the expression language
#26
dde-cls
closed
1 month ago
0
Extend test suite to full B expression language
#25
dde-cls
closed
1 month ago
0
Fixed regressions in TPTP back-end ppTransTPTP [#69689,#69690]
#24
dde-cls
closed
1 month ago
0
Fixed regressions in TPTP encoding
#23
dde-cls
closed
1 month ago
0
Update BAST dependency
#22
dde-cls
closed
1 month ago
0
Updated BAST submodule to fix MSVC compilation
#21
dde-cls
closed
1 month ago
0
Fix test suite in CI for debian/clang environment.
#20
dde-cls
opened
2 months ago
0
Fix BAST compilation under Windows in CI
#19
dde-cls
closed
1 month ago
0
PPTransTPTP: possible problem with translating enumerated sets
#18
Daniel-Crowle
closed
4 months ago
3
Create cmake-multi-platform.yml
#17
dde-cls
closed
2 months ago
0
Fix in typing clauses for the cartesian product operators. [#66581]
#16
dde-cls
closed
5 months ago
0
Error in output caught by Zenon modulo
#15
dde-cls
closed
5 months ago
1
Handle struct (types) and records (values) in ppTransTPTP
#14
dde-cls
opened
8 months ago
1
Fixes output TPTP syntax errors in ppTransTPTP
#13
dde-cls
closed
8 months ago
0
Handle singletons for issue #11
#12
Daniel-Crowle
closed
8 months ago
0
Translation of singleton enumerated sets
#11
dde-cls
closed
8 months ago
0
Axiomatization of exponentiation
#10
DavidDeharbe
closed
11 months ago
0
Axiomatization of iterate instantiated for each applicable type [#7]
#9
dde-cls
closed
11 months ago
0
PPTransSMT: incorrect translation for B definitions
#8
VTrelat
closed
2 months ago
2
PPTransSMT: duplicates axiom names
#7
VTrelat
closed
11 months ago
3
PPTransTPTP: Assertion failed in splitPair
#6
dde-cls
closed
11 months ago
2
TPTP4X compatibility
#5
dde-cls
closed
12 months ago
0
PPTransTPTP: changed formula labeling and added utility to get labels from TPTP output.
#4
dde-cls
closed
12 months ago
0
PPTransTPTP : ambiguous associativity
#3
dde-cls
closed
2 months ago
2
PPTransTPTP : Duplicate annotated formula name
#2
dde-cls
closed
12 months ago
1
Tptp
#1
SimplisticCode
closed
1 year ago
0