Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Activity

Activity:
Start Date:
End Date:
Time Activity By
2017-11-06
17:00:08 Files FRS Release why3 - 0.88.1 Guillaume Melquiond
2017-11-04
05:37:07 Trackers Tracker Item [#21527] Issue with cloning modules (anomaly: Not_found) Closed Nobody
2017-11-02
13:30:23 Trackers Tracker Item [#21527] Issue with cloning modules (anomaly: Not_found) Opened Alain Mebsout
2017-11-01
07:38:21 Source Code scm commit: update CHANGES (commit a88bcfd)
07:32:01 Source Code scm commit: Improved support for Isabelle 2017 (commit aec436a)
07:18:18 Source Code scm commit: provide function [forward_results] in [Call_provers] API (commit f2c4713)
07:00:01 Source Code scm commit: restore nighty-bench script for use with new_system branch (commit a63d6e2)
2017-10-31
16:15:19 Source Code scm commit: fixed stupid mistake during merge, again (commit 2b0f9a1)
16:11:47 Source Code scm commit: fixed stupid mistake made during merge (commit e60c8ff)
16:02:05 Source Code scm commit: Infinite matrices definitions (commit ab3922d)
16:01:33 Source Code scm commit: reification and normalization transformations (commit df04199)
15:58:36 Source Code scm commit: Merge remote-tracking branch 'origin/new_system' into new_system+itp (commit f876a20)
15:57:58 Source Code scm commit: Merge remote-tracking branch 'origin/master' into new_system+itp (commit e2c7f83)
15:15:53 Source Code scm commit: fixed issue #7 (commit 5dd0e60)
2017-10-27
18:06:55 Trackers Tracker Item [#21526] Dynlink errors after updating to 0.88 Opened Justin Wang
2017-10-25
14:07:11 Source Code scm commit: extraction: print match as a let when there is a single branch (commit 1991be5)
2017-10-24
15:45:20 Source Code scm commit: add reification transformation (wip) (commit 7c2ead7)
2017-10-23
14:49:01 Source Code scm commit: instantiate can be used to force typevar instanciations by giving a term to a variable of polymorphic type. (commit fd8380e)
2017-10-21
13:58:32 Source Code scm commit: OCaml64: add List.nth (commit 6936e73)
2017-10-20
17:06:27 Source Code scm commit: Merge branch 'master' into new_system+itp (commit 267d7e3)
17:04:41 Source Code scm commit: Add some text to the command entry to make it more intuitive. (commit 42f56bc)
15:41:15 Source Code scm commit: Use 'return' for moving from the goals to the command entry. (commit bbb0982)
15:39:39 Source Code scm commit: Use 'del' rather than 'x' as the key for removing nodes. (commit 9a43c89)
13:23:54 Source Code scm commit: Merge remote-tracking branch 'origin/master' into new_system+itp (commit 0d61ec5)
13:19:33 Source Code scm commit: fix automatic move to next unproven goal (commit ddd1c82)
10:24:04 Source Code scm commit: Merge branch 'master' into new_system+itp (commit 0138430)
10:21:31 Source Code scm commit: In case of syntax/type errors at start-up, show the file and error (commit fa238e3)
09:17:47 Source Code scm commit: Check for menhir's version. (commit d178ec5)
08:53:44 Source Code scm commit: Merge branch 'master' into new_system+itp (commit 9c3456a)
08:52:37 Source Code scm commit: Merge branch 'bugfix/v0.88' (commit 78faa9d)
2017-10-19
16:42:27 Source Code scm commit: Setup a gitlab-ci pipeline for running "make bench". (commit f82679b)
15:19:56 Source Code scm commit: other attempts to port old examples, not yet successful (commit 94bb546)
13:49:10 Source Code scm commit: a few examples to_port in progress (commit 6e19acc)
13:22:34 Source Code scm commit: ported example sumrange (commit f1f39f0)
12:18:21 Source Code scm commit: update obsolete sessions on moloch (commit 201bf85)
11:55:27 Source Code scm commit: change spec for array update, updates sessions (commit 953b3c3)
09:13:50 Source Code scm commit: update obsolete sessions (commit 455499c)
09:07:46 Source Code scm commit: Merge branch 'master' into new_system+itp (commit 42e8543)
08:44:33 Source Code scm commit: Compile with -safe-string to help transition toward OCaml 4.06.0. (commit c8a0ada)
08:31:00 Source Code scm commit: Fix build with Coq 8.7.0. (commit 0703258)