Artur Meski
|
d2347ae0bb
|
README update
|
2019-03-03 22:41:27 +00:00 |
|
Artur Meski
|
863e456af2
|
README
|
2019-03-03 22:30:38 +00:00 |
|
Artur Meski
|
b619f6119d
|
Merge branch 'bdd'
|
2019-03-03 22:26:33 +00:00 |
|
Artur Meski
|
97c83ba535
|
Moved files to 'reactics-bdd'
|
2019-03-03 22:26:33 +00:00 |
|
Artur Meski
|
5eb8e3b63d
|
Moved files to 'reactics-smt'
|
2019-03-03 22:26:00 +00:00 |
|
Artur Meski
|
21edba3c65
|
Test
|
2019-03-02 19:01:33 +00:00 |
|
Artur Meski
|
c3a19d81dc
|
Code re-formatting
|
2019-02-23 14:41:36 +00:00 |
|
Artur Meski
|
5f8d979906
|
Merge pull request #1 from arturme/distrib_rs
Distributed RS
|
2019-02-23 14:30:11 +00:00 |
|
Artur Meski
|
59cbc00e7f
|
Cleaning up rs/
|
2019-02-23 13:06:42 +00:00 |
|
Artur Meski
|
df19367659
|
Removed tgz
|
2019-02-23 13:01:45 +00:00 |
|
Artur Meski
|
493e4c5fc6
|
Clean-up
|
2019-02-23 12:59:20 +00:00 |
|
Artur Meski
|
28821c78de
|
Cleaning up
|
2019-02-22 23:23:59 +00:00 |
|
Artur Meski
|
f6de47a827
|
Moved avg.py to scripts/
|
2019-02-22 23:15:50 +00:00 |
|
Artur Meski
|
9e0ca1d654
|
Example: overview
|
2019-02-22 23:14:57 +00:00 |
|
Artur Meski
|
beef6c5f4e
|
example
|
2019-02-22 22:10:17 +00:00 |
|
Artur Meski
|
0e4a58a9af
|
Examples, default concentration
|
2019-01-01 16:06:57 +00:00 |
|
Artur Meski
|
c990b33d96
|
Print, phd_example
|
2018-12-31 18:56:04 +00:00 |
|
Artur Meski
|
b70c09a2d1
|
Shorter verbose message
|
2018-12-29 22:41:15 +00:00 |
|
Artur Meski
|
e4f5b7271e
|
Formatting
|
2018-12-29 22:07:26 +00:00 |
|
Artur Meski
|
53504d6514
|
Parser semicols
|
2018-12-29 15:01:57 +00:00 |
|
Artur Meski
|
37ef85beaa
|
Space
|
2018-12-29 13:50:28 +00:00 |
|
Artur Meski
|
e0535de471
|
Version
|
2018-12-29 13:48:56 +00:00 |
|
Artur Meski
|
877e9d0954
|
Benchmarks
|
2018-12-08 21:58:39 +00:00 |
|
Artur Meski
|
8226919c0e
|
Form
|
2018-12-08 21:53:32 +00:00 |
|
Artur Meski
|
a4eaa190d7
|
Results
|
2018-12-02 20:59:29 +00:00 |
|
Artur Meski
|
9ac04da320
|
asm, epistemic properties
|
2018-12-02 20:49:18 +00:00 |
|
Artur Meski
|
215015df57
|
Prog
|
2018-12-02 20:22:57 +00:00 |
|
Artur Meski
|
c8e02156b9
|
Progressiveness
|
2018-12-02 19:30:02 +00:00 |
|
Artur Meski
|
1f132d4692
|
Formula
|
2018-11-25 15:11:56 +00:00 |
|
Artur Meski
|
252af97897
|
Benchmarking
|
2018-11-25 14:47:21 +00:00 |
|
Artur Meski
|
3db8fe1037
|
ASM
|
2018-11-24 20:29:50 +00:00 |
|
Artur Meski
|
85e1e1d16b
|
C, E printing, etc.
|
2018-11-24 17:02:26 +00:00 |
|
Artur Meski
|
c72eb7ac4a
|
Everybody knows
|
2018-11-24 14:23:40 +00:00 |
|
Artur Meski
|
34f7b503c1
|
Common Knowledge operators support
|
2018-11-24 12:58:26 +00:00 |
|
Artur Meski
|
ff0031244e
|
script
|
2018-11-05 13:25:57 +00:00 |
|
Artur Meski
|
66f9e36c5d
|
Script
|
2018-10-22 20:54:09 +01:00 |
|
Artur Meski
|
eef037fd97
|
Reordering
|
2018-10-22 20:31:31 +01:00 |
|
Artur Meski
|
3faf005445
|
Script for TGC
|
2018-10-22 20:28:23 +01:00 |
|
Artur Meski
|
2088994fa7
|
Benchmarking script
|
2018-10-20 22:41:45 +01:00 |
|
Artur Meski
|
75007f04dd
|
assertion for made_progressive
|
2018-10-20 21:26:40 +01:00 |
|
Artur Meski
|
5a728f96ac
|
Progressiveness
|
2018-10-20 21:26:12 +01:00 |
|
Artur Meski
|
b0f24e26db
|
Reordering, verbosity
|
2018-10-20 21:26:01 +01:00 |
|
Artur Meski
|
134646308e
|
Updated script
|
2018-10-20 16:36:32 +01:00 |
|
Artur Meski
|
cd95f86fe5
|
scr
|
2018-10-14 16:39:44 +01:00 |
|
Artur Meski
|
e0603b3c9d
|
Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs
|
2018-10-14 16:38:02 +01:00 |
|
Artur Meski
|
76a6450583
|
perms
|
2018-10-14 16:23:36 +01:00 |
|
Artur Meski
|
7b15c50803
|
Scripts
|
2018-10-14 16:20:23 +01:00 |
|
Artur Meski
|
b0317bef6e
|
Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs
|
2018-10-14 16:16:50 +01:00 |
|
Artur Meski
|
672e43abce
|
Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs
|
2018-10-14 16:16:43 +01:00 |
|
Artur Meski
|
f20fce6c15
|
Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs
|
2018-10-14 16:15:44 +01:00 |
|