f1e2438 | Lonca Emmanuel | 24 March 2021, 14:03:36 UTC | release v3.0.2 | 24 March 2021, 14:03:36 UTC |
d444f63 | Lonca Emmanuel | 24 March 2021, 14:02:49 UTC | added a missing fgets return check that produced a warning on recent compilers | 24 March 2021, 14:02:49 UTC |
f0fd617 | Lonca Emmanuel | 24 March 2021, 13:52:08 UTC | duplicated COPYING into LICENSE & fixed AUTHORS | 24 March 2021, 13:52:08 UTC |
6bc34e6 | Lonca Emmanuel | 17 March 2021, 12:18:10 UTC | bumped version number to 3.0.2-dev | 17 March 2021, 12:18:10 UTC |
cfdc705 | Lonca Emmanuel | 17 March 2021, 12:16:06 UTC | cleaned configure.ac | 17 March 2021, 12:16:06 UTC |
76983f8 | Lonca Emmanuel | 17 March 2021, 10:40:04 UTC | added autogen.sh | 17 March 2021, 10:40:04 UTC |
7a8646f | Lonca Emmanuel | 17 March 2021, 10:31:36 UTC | removed temp files for git | 17 March 2021, 10:31:36 UTC |
2e365f3 | Lonca Emmanuel | 16 March 2021, 14:56:21 UTC | Merge branch 'comssextractor_ng' | 16 March 2021, 14:56:21 UTC |
1ef43b8 | emmanuel lonca | 15 March 2021, 09:52:50 UTC | fix ambiguous uses of pointers | 15 March 2021, 09:52:50 UTC |
c9a1059 | emmanuel lonca | 15 March 2021, 09:51:15 UTC | added missing headers for the kill function | 15 March 2021, 09:51:15 UTC |
52818c9 | emmanuel lonca | 15 March 2021, 09:49:57 UTC | removed --static flag for comss_extractor_ng to allow compilation on macOS | 15 March 2021, 09:49:57 UTC |
437d1fd | Lonca Emmanuel | 11 March 2021, 14:20:39 UTC | bumped version number to 3.0.1 | 11 March 2021, 14:21:33 UTC |
15f61a1 | Lonca Emmanuel | 11 March 2021, 14:16:44 UTC | removed docker interface | 11 March 2021, 14:16:44 UTC |
1659ef6 | Lonca Emmanuel | 11 March 2021, 14:13:32 UTC | fixed compiler flags | 11 March 2021, 14:13:32 UTC |
356d71a | Lonca Emmanuel | 11 March 2021, 14:02:40 UTC | fixed literal suffixes without spaces | 11 March 2021, 14:02:40 UTC |
19c5f3e | Lonca Emmanuel | 11 March 2021, 13:59:23 UTC | fixed friend declarations with default arguments | 11 March 2021, 13:59:23 UTC |
b3a6f6d | Lonca Emmanuel | 11 March 2021, 08:20:05 UTC | removed trailing comments | 11 March 2021, 08:20:05 UTC |
5fc4ce6 | Lonca Emmanuel | 11 March 2021, 08:19:20 UTC | reversed rebuildOrderHeap browsing order | 11 March 2021, 08:19:20 UTC |
28f81a1 | Lonca Emmanuel | 11 March 2021, 08:10:40 UTC | improved bufferized output efficency | 11 March 2021, 08:10:40 UTC |
3bcad73 | Emmanuel Lonca | 10 March 2021, 10:40:37 UTC | added some missing requirements in README | 10 March 2021, 10:40:37 UTC |
4042a53 | Emmanuel Lonca | 10 March 2021, 10:40:00 UTC | added an automake macro to check presence of zlib | 10 March 2021, 10:40:00 UTC |
c617cdd | Emmanuel Lonca | 20 March 2019, 07:46:44 UTC | improved performances for parsing and ID, SST and STG semantics | 20 March 2019, 07:46:44 UTC |
e6cdef6 | Emmanuel Lonca | 11 March 2019, 15:19:07 UTC | improved performances of var maps | 11 March 2019, 15:19:07 UTC |
4839482 | Emmanuel Lonca | 11 March 2019, 15:13:05 UTC | implemented GR-based cuts for all CO-based semantics | 11 March 2019, 15:13:05 UTC |
3443386 | Emmanuel Lonca | 08 March 2019, 10:17:07 UTC | added GR-based shortcuts for CO | 08 March 2019, 10:17:07 UTC |
1ca82b9 | Emmanuel Lonca | 01 March 2019, 11:29:06 UTC | improved performances for SE-CO | 01 March 2019, 11:29:06 UTC |
d5f3b2e | Emmanuel Lonca | 28 February 2019, 13:41:22 UTC | improved performances of extension enumeration for STT/STG | 28 February 2019, 13:41:22 UTC |
63dda90 | Emmanuel Lonca | 27 February 2019, 13:26:51 UTC | improved performances for enum in SST-STG | 27 February 2019, 13:26:51 UTC |
f39e628 | Emmanuel Lonca | 26 February 2019, 08:55:35 UTC | set version number to 3.0 | 26 February 2019, 08:55:35 UTC |
1ec636e | Emmanuel Lonca | 26 February 2019, 08:49:00 UTC | implemented problem reducer for ID | 26 February 2019, 08:49:00 UTC |
4eb8b3a | Emmanuel Lonca | 15 February 2019, 15:21:07 UTC | implemented problem reducer for STT and STG | 15 February 2019, 15:21:07 UTC |
44602f0 | Emmanuel Lonca | 15 February 2019, 15:19:23 UTC | some refactoring | 15 February 2019, 15:19:23 UTC |
a0c6937 | Emmanuel Lonca | 15 February 2019, 12:22:57 UTC | implemented problem reducer for ST | 15 February 2019, 12:22:57 UTC |
98b9b97 | Emmanuel Lonca | 15 February 2019, 10:37:30 UTC | some refactoring | 15 February 2019, 10:37:30 UTC |
8d12033 | Emmanuel Lonca | 15 February 2019, 10:05:24 UTC | fixed problem reducer for CO and implemented it for PR | 15 February 2019, 10:05:24 UTC |
d830e16 | Emmanuel Lonca | 14 February 2019, 13:48:53 UTC | implemented eq-preproc for CO semantics | 14 February 2019, 13:48:53 UTC |
1477927 | Emmanuel Lonca | 11 February 2019, 13:43:57 UTC | updated docker image | 11 February 2019, 13:43:57 UTC |
ef96d65 | Emmanuel Lonca | 11 February 2019, 10:41:36 UTC | fixed comssextractor_ng for UNIX systems that not use GLIBC | 11 February 2019, 10:41:36 UTC |
71ebf4f | Emmanuel Lonca | 08 February 2019, 16:17:37 UTC | improved performances | 08 February 2019, 16:17:37 UTC |
3dcaeb6 | Emmanuel Lonca | 29 January 2019, 09:35:53 UTC | logging and performances update | 29 January 2019, 09:35:53 UTC |
30d0fcb | Emmanuel Lonca | 28 January 2019, 10:02:46 UTC | fixed a bug that raised an error with empty lines in dynamics files | 28 January 2019, 10:02:46 UTC |
032aaa2 | Emmanuel Lonca | 23 January 2019, 10:19:08 UTC | improved logging | 23 January 2019, 10:19:08 UTC |
af56b9b | Emmanuel Lonca | 22 January 2019, 15:44:41 UTC | set up logging (using -log FILE) | 22 January 2019, 15:44:41 UTC |
431875a | Emmanuel Lonca | 22 January 2019, 13:11:10 UTC | configure scripts now ckecks presence of libz.a | 22 January 2019, 13:11:10 UTC |
22a2643 | Emmanuel Lonca | 22 January 2019, 13:02:14 UTC | improved model enumeration + some memory improvements | 22 January 2019, 13:02:14 UTC |
7e85ffb | Emmanuel Lonca | 22 January 2019, 12:58:43 UTC | fixed an issue preventing compilation with older compilers | 22 January 2019, 12:58:43 UTC |
abe64fa | Lonca Emmanuel | 11 January 2019, 13:46:00 UTC | improved efficency for ID tracks | 11 January 2019, 13:46:00 UTC |
adb31e0 | Lonca Emmanuel | 11 January 2019, 13:27:41 UTC | improved efficency for {DC,DS}-{STT,STG} tracks | 11 January 2019, 13:27:41 UTC |
565ccd3 | Lonca Emmanuel | 11 January 2019, 13:16:03 UTC | improved efficency for DS-PR track | 11 January 2019, 13:16:03 UTC |
fc3c3d8 | Lonca Emmanuel | 09 January 2019, 15:44:45 UTC | removed old version of comss extractor | 09 January 2019, 15:44:45 UTC |
2559ced | Lonca Emmanuel | 09 January 2019, 15:43:37 UTC | refactored code for range-based semantics default solvers | 09 January 2019, 15:43:37 UTC |
3961239 | Lonca Emmanuel | 09 January 2019, 14:14:40 UTC | refactored SAT encoding helper in dynamics parts | 09 January 2019, 14:14:40 UTC |
0d85cdd | Lonca Emmanuel | 09 January 2019, 13:48:42 UTC | fixed SST/STG solvers in dynamic frameworks | 09 January 2019, 13:48:42 UTC |
b7442a4 | Lonca Emmanuel | 09 January 2019, 13:47:30 UTC | fixed builtin solvers | 09 January 2019, 13:47:30 UTC |
08dcd6f | Lonca Emmanuel | 09 January 2019, 08:16:49 UTC | fixed a bug in default ID solver | 09 January 2019, 08:16:49 UTC |
139331c | Lonca Emmanuel | 09 January 2019, 08:16:20 UTC | implemented assumptions for MCS enumeration | 09 January 2019, 08:16:20 UTC |
26e8309 | Lonca Emmanuel | 08 January 2019, 13:34:08 UTC | yet another commit | 08 January 2019, 13:34:08 UTC |
42275ee | Lonca Emmanuel | 21 December 2018, 10:42:48 UTC | CoQuiAAS now uses NG minisat solver; coMss-based solvers are broken at this time | 21 December 2018, 10:42:48 UTC |
05506e9 | Lonca Emmanuel | 13 December 2018, 14:43:07 UTC | added Docker source for ICCMA19 | 13 December 2018, 14:43:07 UTC |
9406b9d | Lonca Emmanuel | 13 December 2018, 10:21:58 UTC | made CoQuiAAS build on non-GLIBC based UNIX systems | 13 December 2018, 10:21:58 UTC |
32bab7e | Lonca Emmanuel | 11 December 2018, 15:06:41 UTC | implemented dynamics for GR semantics | 11 December 2018, 15:06:41 UTC |
648cd5a | Lonca Emmanuel | 11 December 2018, 13:32:36 UTC | implemented dynamics for PR semantics | 11 December 2018, 13:32:36 UTC |
c7c2e21 | Lonca Emmanuel | 11 December 2018, 12:55:57 UTC | implemented dynamics for ST semantics (2/2) | 11 December 2018, 12:55:57 UTC |
d60cafd | Lonca Emmanuel | 11 December 2018, 11:55:11 UTC | implemented dynamics for ST semantics | 11 December 2018, 11:55:11 UTC |
786251d | Lonca Emmanuel | 11 December 2018, 09:00:58 UTC | implemented dynamics for CO semantics | 11 December 2018, 09:00:58 UTC |
99ffc3c | Lonca Emmanuel | 11 December 2018, 08:58:15 UTC | removed some utility files from git repository | 11 December 2018, 08:58:15 UTC |
474b74d | Lonca Emmanuel | 04 December 2018, 15:09:15 UTC | added a solver decorator for dynamic attacks | 04 December 2018, 15:09:15 UTC |
8390b6f | Lonca Emmanuel | 04 December 2018, 15:07:53 UTC | updated handling of dynamic attacks | 04 December 2018, 15:07:53 UTC |
7108b2b | Lonca Emmanuel | 04 December 2018, 10:43:38 UTC | added dynamics capabilities for solver output formatters | 04 December 2018, 10:43:38 UTC |
c8c09bb | Lonca Emmanuel | 03 December 2018, 15:46:48 UTC | removed solver member made useless since display changes | 03 December 2018, 15:46:48 UTC |
56deb8a | Lonca Emmanuel | 03 December 2018, 15:31:19 UTC | set CLI option for dynamics parsing | 03 December 2018, 15:31:19 UTC |
100b77b | Lonca Emmanuel | 03 December 2018, 15:22:16 UTC | added parsing for dynamics input files | 03 December 2018, 15:22:16 UTC |
3bd7b24 | Lonca Emmanuel | 03 December 2018, 13:08:47 UTC | extensions are know displayed as soon as they are discovered during an enumeration process | 03 December 2018, 13:08:47 UTC |
55a728a | Lonca Emmanuel | 23 November 2018, 08:26:00 UTC | added ICCMA2019 output formatter | 23 November 2018, 08:26:00 UTC |
8e467dc | Lonca Emmanuel | 23 November 2018, 07:37:52 UTC | updated makefiles | 23 November 2018, 07:37:52 UTC |
8783da7 | Lonca Emmanuel | 22 November 2018, 10:38:35 UTC | refactored solver output to allow mutiple formattings - needed by changes for ICCMA19 | 22 November 2018, 10:38:35 UTC |
e5c022c | Lonca Emmanuel | 21 November 2018, 14:22:55 UTC | removed unused variable | 21 November 2018, 14:22:55 UTC |
787895d | Lonca Emmanuel | 14 November 2018, 08:10:03 UTC | fixed a bug that made solver incorrect for GR computations in D3 track context | 14 November 2018, 08:10:03 UTC |
f8e7a90 | Lonca Emmanuel | 09 November 2017, 09:01:13 UTC | fixed a bug that maid default ideal semantics solver incorrect | 09 November 2017, 09:01:13 UTC |
259a15b | Lonca Emmanuel | 07 November 2017, 14:02:54 UTC | added external comssExtractor like solver handling | 07 November 2017, 14:02:54 UTC |
4f2a4f2 | Lonca Emmanuel | 29 September 2017, 08:25:33 UTC | fixed a bug that could make app crash for DC-ID problems | 29 September 2017, 08:25:33 UTC |
0cec207 | Lonca Emmanuel | 29 September 2017, 07:47:38 UTC | removed unwanted return | 29 September 2017, 07:47:38 UTC |
260368e | Lonca Emmanuel | 28 September 2017, 13:11:57 UTC | fixed a bug that made solver incorrect for DC-STG and DS-STG problems | 28 September 2017, 13:11:57 UTC |
8cb5a6c | Lonca Emmanuel | 28 September 2017, 11:36:11 UTC | fixed a bug that made solver incorrect for DC-SST and DS-SST problems | 28 September 2017, 11:36:11 UTC |
54a1668 | Lonca Emmanuel | 31 August 2017, 13:23:38 UTC | fixed a bug that made defaut stable semantics solver incorrect for DC and DS queries | 31 August 2017, 13:23:38 UTC |
f6fd625 | Lonca Emmanuel | 09 March 2017, 13:53:09 UTC | improved performances for SST and STG enumeration using models provided by LBX | 09 March 2017, 13:53:09 UTC |
e45dc8d | Lonca Emmanuel | 09 March 2017, 13:08:28 UTC | fixed a bug that maid sometimes crash D3 GR ext. computation | 09 March 2017, 13:08:28 UTC |
c1e4e94 | Lonca Emmanuel | 09 March 2017, 11:47:36 UTC | fixed a bug that made results incorrect using LBX-based solvers | 09 March 2017, 11:47:36 UTC |
159787d | Lonca Emmanuel | 08 March 2017, 16:00:21 UTC | fixed a bug that made D3 incorrect for GR | 08 March 2017, 16:00:21 UTC |
9b897fa | Lonca Emmanuel | 08 March 2017, 15:59:48 UTC | Updated D3 output to fit competition requirements | 08 March 2017, 15:59:48 UTC |
7d0c116 | Lonca Emmanuel | 08 March 2017, 13:29:43 UTC | added D3 as a supported problem | 08 March 2017, 13:29:43 UTC |
47b9c37 | Lonca Emmanuel | 08 March 2017, 13:18:48 UTC | Updated command-line and output to fit ICCMA'17 competition requirements fir Dung's triathlon | 08 March 2017, 13:18:48 UTC |
0135e7f | Lonca Emmanuel | 08 March 2017, 13:08:26 UTC | Fixed a bug that made STG solver incorrect | 08 March 2017, 13:08:26 UTC |
9857af8 | Lonca Emmanuel | 08 March 2017, 11:40:10 UTC | Fixed a bug that made SST solver incorrect | 08 March 2017, 11:40:10 UTC |
999bb84 | Lonca Emmanuel | 08 March 2017, 11:37:19 UTC | Added the ability for a solver to forget its models/MSSes | 08 March 2017, 11:37:19 UTC |
9c46207 | Lonca Emmanuel | 08 March 2017, 09:15:39 UTC | fixed a bug that could randomly cause SIGSEGV | 08 March 2017, 09:15:39 UTC |
c2b9fc8 | Lonca Emmanuel | 08 March 2017, 09:14:56 UTC | fixed "--problems" display | 08 March 2017, 09:14:56 UTC |
4244690 | Lonca Emmanuel | 18 January 2017, 16:06:32 UTC | made stat maps be shared using smart pointers | 18 January 2017, 16:06:32 UTC |
c46df23 | Lonca Emmanuel | 18 January 2017, 15:47:06 UTC | shared_ptr are now built using make_shared | 18 January 2017, 15:47:06 UTC |
79246c2 | Lonca Emmanuel | 18 January 2017, 15:04:56 UTC | fixed a memory leak ; sat-based solvers are now passed using smart pointers | 18 January 2017, 15:04:56 UTC |