]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0197354) | patch
Improved backtracking in Simple
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 14:38:56 +0000 (16:38 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 14:38:56 +0000 (16:38 +0200)
commit1f8f8e52c38e1897e9b5ea106721d6a4dd88c284
treee90bc5f609285c52f3cb722cc649cee55737c27ftree | snapshot
parent0197354468e40860a3a104b9ea5b68854a22cfcacommit | diff
Improved backtracking in Simple

- Removed Fail exception, replaced by combination
  of Failure, Backtrack, Unseparable
- Added label to problem
ocaml/simple.ml diff | blob | history
ocaml/simple.mli diff | blob | history
ocaml/simple_test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.