simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 04:14:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Updated version number in opam to 0.1

Browse source
This commit is contained in:
Guillaume Bury 2014-12-18 16:17:52 +01:00
parent 4e34bbdf59
commit 4b25650c4d
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
opam
View file

@ -1,6 +1,6 @@
opam-version: "1.2" opam-version: "1.2"
license: "Apache" license: "Apache"
version: "dev" version: "0.1"
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"] author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
build: [ build: [

1
solver/mcsolver.ml
View file

@ -841,6 +841,7 @@ module Make (E : Expr_intf.S)
let unsat_conflict () = env.unsat_conflict let unsat_conflict () = env.unsat_conflict
(* Push/Pop *)
type level = int type level = int
let base_level = 0 let base_level = 0