simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed some typos in doc

Browse source
This commit is contained in:
Guillaume Bury 2016-12-01 15:50:57 +01:00
parent 8896ce2b79
commit 3cefd85b21
5 changed files with 10 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/deploy
View file

@ -1,6 +1,6 @@
#!/bin/bash -e #!/bin/bash -e
# Enssure we are on master branch # Ensure we are on master branch
git checkout master git checkout master
# Generate documentation # Generate documentation

4
doc/release
View file

@ -7,7 +7,7 @@ version=`cat VERSION`
git checkout master git checkout master
# Generate documentation # Generate documentation
(cd src && make doc) make doc
(cd doc && asciidoc index.txt) (cd doc && asciidoc index.txt)
# Checkout gh-pages # Checkout gh-pages
@ -19,7 +19,7 @@ mkdir -p ./$version
# Copy doc to the right locations # Copy doc to the right locations
cp doc/index.html ./ cp doc/index.html ./
cp src/dolmen.docdir/* ./$version/ cp msat.docdir/* ./$version/
# Add potentially new pages # Add potentially new pages
git add ./$version/* git add ./$version/*

4
src/doc.txt
View file

@ -24,7 +24,7 @@ Theory_intf
The following modules allow the creation of a McSat solver (Model Constructing solver): The following modules allow the creation of a McSat solver (Model Constructing solver):
{!ṃodules: {!modules:
Mcsolver Mcsolver
Expr_intf Expr_intf
Plugin_intf Plugin_intf
@ -32,7 +32,7 @@ Plugin_intf
Lastly, mSAT also provides an implementation of Tseitin's CNF conversion: Lastly, mSAT also provides an implementation of Tseitin's CNF conversion:
{!modules {!modules:
Tseitin Tseitin
Tseitin_intf Tseitin_intf
} }

12
src/msat.odocl
View file

@ -26,22 +26,18 @@ backend/Dot
backend/Dedukti backend/Dedukti
backend/Backend_intf backend/Backend_intf
# Auxiliary
util/Hashcons
# SAT solver frontend # SAT solver frontend
sat/Expr_sat
sat/Sat sat/Sat
sat/Expr_sat
sat/Type_sat sat/Type_sat
# SMT solver frontend # SMT solver frontend
smt/Expr_smt
smt/Smt smt/Smt
smt/Expr_smt
smt/Type_smt smt/Type_smt
smt/Unionfind smt/Unionfind
# MCsat # MCsat solver frontend
mcsat/Eclosure
mcsat/Mcsat mcsat/Mcsat
mcsat/Eclosure
mcsat/Plugin_mcsat mcsat/Plugin_mcsat

1
src/solver/tseitin.mli
View file

@ -8,3 +8,4 @@ module type S = Tseitin_intf.S
module Make : functor module Make : functor
(F : Tseitin_intf.Arg) -> S with type atom = F.t (F : Tseitin_intf.Arg) -> S with type atom = F.t