jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Commit graph

  • 545e31c6f9
         Change the run_timers execution frequency async Tom Barthe 2021-01-18 03:47:58 +0100
  • a6f60bbf4e
         Fix the timer ISR name Tom Barthe 2020-12-30 06:28:41 +0100
  • 42ec772bd5
         Set 1ms as the base time of run_timers Tom Barthe 2020-12-30 06:27:50 +0100
  • 55498b4999
         Move avr.h functions to avr.c Tom Barthe 2020-12-30 02:09:54 +0100
  • 2c7466e2de
         Reset only stateful async nodes Tom Barthe 2020-12-30 02:03:06 +0100
  • 4827bdd9fe
         WIP: Add a TIMER1 configuration routine in avr.h Tom Barthe 2020-12-30 01:33:48 +0100
  • e23fce0285
         WIP: Call reset method on global async objects Tom Barthe 2020-12-30 01:28:36 +0100
  • 215b602383
         Add a simple_simul compiler option Tom Barthe 2020-12-30 01:10:45 +0100
  • 8d77b7434b
         Add a typedef for char* as string Tom Barthe 2020-12-28 04:39:16 +0100
  • bbe74e7ffe
         Add a pass to check for invalid async nesting Tom Barthe 2020-12-28 04:38:40 +0100
  • e536ec17d6
         Use external linkage for global async variables Tom Barthe 2020-12-26 04:28:39 +0100
  • 74f5e9a2e8
         Generate run_timers with correct timing Tom Barthe 2020-12-25 23:05:39 +0100
  • 5346c720d2
         WIP: Generate the body of run_timers Tom Barthe 2020-12-25 22:23:25 +0100
  • 58e6a951e4
         Declaration of static variables in Cfundef Tom Barthe 2020-12-25 21:54:58 +0100
  • 1ba3284031
         Extract timers from obj_dec.o_ack Tom Barthe 2020-12-25 19:16:17 +0100
  • 9b44a7a7ab
         Create run_timers function for async calls Tom Barthe 2020-12-25 15:03:19 +0100
  • 5b1a286999
         Fix bug of async calls of stateless functions Tom Barthe 2020-12-25 00:10:14 +0100
  • eca2974bba
         Define global variables for async state Tom Barthe 2020-12-24 06:41:47 +0100
  • 2bd04ed02d
         Generate calls to async stub (with a dummy _async) Tom Barthe 2020-12-24 05:55:32 +0100
  • 9687050f25
         Remove MstepAsync and add stub function for calls Tom Barthe 2020-12-24 05:28:47 +0100
  • 73db32c6be
         Fix bug and generate MstepAsync call in MiniLS Tom Barthe 2020-12-23 13:08:10 +0100
  • e9a718a868
         Fix formatting issue for Easync in hept_printer.ml Tom Barthe 2020-12-23 06:08:30 +0100
  • fbad83a61d
         Add and use atomic_memcpy for the AVR backend Tom Barthe 2020-12-22 21:30:04 +0100
  • f72a092af3
         Add support for _local_in in cexprs Tom Barthe 2020-12-22 20:54:16 +0100
  • f864d10095
         Update async example Tom Barthe 2020-12-22 17:46:50 +0100
  • 622a55ed81
         Use _local_out variable for _async_step method Tom Barthe 2020-12-22 17:37:54 +0100
  • e0fd48562b
         Add argument for out variable name Tom Barthe 2020-12-22 03:34:56 +0100
  • c36ab43ab1
         WIP: Add _async_step method Tom Barthe 2020-12-22 01:54:19 +0100
  • 34902b58f0
         Add basic copy functions Tom Barthe 2020-12-22 00:03:08 +0100
  • 5376d9993e
         Add _in struct for async Tom Barthe 2020-12-21 11:27:30 +0100
  • fdee5b68c0
         WIP: Add MstepAsync method to ObC Tom Barthe 2020-12-21 00:16:04 +0100
  • 53cc7a739f
         Add an example of the async keyword Tom Barthe 2020-12-20 19:57:44 +0100
  • efd6bebf91
         Add basic Easync support to heptagon/* Tom Barthe 2020-12-20 19:35:22 +0100
  • df3238cd52
         Add Easync to MiniLustre (cont.) Tom Barthe 2020-12-20 19:34:25 +0100
  • 85d06d6d56
         Add Easync to MiniLustre Tom Barthe 2020-12-20 18:25:24 +0100
  • a1390a5dae
         Add an alias for ack_name type Tom Barthe 2020-12-20 18:12:48 +0100
  • 9447e3566f
         Handle Easync in heptagon/* Tom Barthe 2020-12-20 18:03:37 +0100
  • 830f8e4bfa
         Add async call syntax to the parser Tom Barthe 2020-12-20 14:51:19 +0100
  • 67abb99502 Merge branch 'generate-types-file' into 'master' master Gwenaël Delaval 2019-10-31 14:54:28 +0100
  • 91dd7af1a0 Merge branch 'web-update' into 'master' Gwenaël Delaval 2019-10-31 14:52:59 +0100
  • 54cbec9190 C backend: generate A_types.{h,c} when compiling A.epi Adrien Guatto 2019-10-13 13:27:52 +0200
  • f05c20aba9 web: point to gitlab repo Adrien Guatto 2019-10-13 12:28:33 +0200
  • 239e23211f Remove test t20.ept Gwenaël Delaval 2018-10-30 18:02:57 +0100
  • a304a9003b Merge branch 'fix_boolop' into 'master' Gwenaël Delaval 2018-10-30 17:49:53 +0100
  • 89eddd77c4 Add test for xor operator Gwenaël Delaval 2018-10-30 17:10:26 +0100
  • d2234e64d8 Merge branch 'fix_heptc_script' into 'master' Gwenaël Delaval 2018-10-30 10:13:53 +0100
  • 0435a2420d Fix miscompilation of Pervasives.xor to C Adrien Guatto 2018-10-12 15:25:01 +0200
  • 99460e24e5 Remove broken Python bit from heptc script Adrien Guatto 2018-10-12 16:05:09 +0200
  • e0d1900f3a Version 1.05.00 Gwenaël Delaval 2018-06-19 22:07:03 +0200
  • b51c292231 Allow use of simple scheduler after control synthesis code generation Gwenaël Delaval 2018-06-07 11:51:06 +0200
  • 7abe92dc0d Adapt to new interface of reatk.ctrlNbac (≥ 0.14) Nicolas Berthier 2018-06-06 14:45:50 +0100
  • 8872bb3998 Do not remove sub-directories in `Compiler_utils.clean_dir' Nicolas Berthier 2018-03-02 14:27:15 +0000
  • 95bb1a72ad Handle implication operator in Sigali backend Nicolas Berthier 2018-03-02 14:26:10 +0000
  • 95c9eb699b Version 1.04.00 Gwenaël Delaval 2017-09-29 14:58:37 +0200
  • 24469c9ae1 Update .gitignore Gwenaël Delaval 2017-09-29 00:08:03 +0200
  • 63289fe9f6 Allow semicolons after tel's Timothy Bourke 2017-04-08 20:44:09 +0200
  • fa4aaee865 Typedef for real in C target Timothy Bourke 2017-04-08 20:28:55 +0200
  • 94badc5f01 Add an abbreviation for the 'real' type Timothy Bourke 2017-04-08 20:06:21 +0200
  • 0747494c7a Fix line counting. Ignore kind2 property comments Timothy Bourke 2017-02-15 22:55:32 +0100
  • abfc038b6b Accept single line "--" comments Timothy Bourke 2017-02-15 17:27:25 +0100
  • 2d9fb52bec Fix a mistake in new when patterns Timothy Bourke 2017-02-14 21:10:32 +0100
  • 4dadf6b4d6 Enforce well-formedness of clocks Timothy Bourke 2017-01-23 15:13:28 +0100
  • cae38d0e60 Accept when-syntax for declaring clocks Timothy Bourke 2017-01-23 14:59:09 +0100
  • 0ef0ac5529 Allow "and" as a synonym for "&" Timothy Bourke 2017-01-21 18:16:58 +0100
  • 3d75602a0d Accept "e when not x" for "e whenot x" Timothy Bourke 2017-01-21 18:12:06 +0100
  • 9de1a96843 Allow (optional) semicolon after returns clause Timothy Bourke 2017-01-21 18:08:01 +0100
  • 685c3aa862 Accept .lus file extension Timothy Bourke 2017-01-21 17:59:11 +0100
  • 66da5f4b5c Minor fix to Merlin improvements. Timothy Bourke 2017-01-21 17:56:13 +0100
  • f8afddd0d9 Work better with merlin Timothy Bourke 2017-01-19 11:17:54 +0100
  • 100c08ee36 Bug correction in normalization of merge: fix propagation of type annotations Nicolas Berthier 2017-09-21 16:09:19 +0100
  • 15b2c09425 Adapt to new interface of reatk.ctrlNbac (≥ 0.11) Nicolas Berthier 2017-09-20 16:44:33 +0100
  • 4274b21733 Version 1.03.04 Gwenaël Delaval 2017-05-24 01:19:55 +0200
  • b942f456ed "Last" pass bug correction Gwenaël Delaval 2017-05-23 23:30:11 +0200
  • 35bce1d5e8 Added simple scheduler with -simple-scheduler option Gwenaël Delaval 2017-05-23 22:16:57 +0200
  • 7d6106d0aa Passes optimization Gwenaël Delaval 2017-05-23 22:13:32 +0200
  • b9870eefc0 Debug mode in _tags.in Gwenaël Delaval 2017-05-23 22:12:27 +0200
  • db5524df3f Tests addition Gwenaël Delaval 2017-05-23 22:10:39 +0200
  • e4b0578b38 User manual update Gwenaël Delaval 2017-05-23 22:04:46 +0200
  • 1ead8a98ea Correction of unary minus priority Gwenaël Delaval 2017-05-23 22:01:05 +0200
  • 028c564a31 Clean-up of verbose output Gwenaël Delaval 2017-05-23 11:37:30 +0200
  • 63e090633c Corrected bug in causality analysis Gwenaël Delaval 2017-05-23 10:56:50 +0200
  • cc666cb32c Bug correction in init analysis Gwenaël Delaval 2017-03-17 15:18:31 +0100
  • faf707db4a Added test for bug [#14076] (initialization analysis) Gwenaël Delaval 2017-03-17 15:15:27 +0100
  • 7f9b72755a Correction of compile_sdc_run test script Gwenaël Delaval 2017-03-17 12:06:57 +0100
  • 5440bb3129 Logico-numerical DCS example Gwenaël Delaval 2017-03-16 11:59:47 +0100
  • f284ff2872 Reachability example Gwenaël Delaval 2017-03-16 11:59:02 +0100
  • 15238eaf8b Correction of DCS tests Gwenaël Delaval 2017-03-16 11:56:43 +0100
  • e4f51fea68 Switch to non-deprecated String functions Gwenaël Delaval 2017-03-14 12:24:29 +0100
  • d2dfed5019 Correction of shift/reduce conflict in syntax Gwenaël Delaval 2017-03-14 12:14:19 +0100
  • 0515cf4f80 Handling of implication operator in Ctrln back-end Gwenaël Delaval 2017-03-13 18:01:05 +0100
  • b0d719dcf2 Added SDC tests Gwenaël Delaval 2017-03-05 23:55:07 +0100
  • 3a8a3e1ff9 Modification of compile_sdc_run test script Gwenaël Delaval 2017-03-05 23:50:39 +0100
  • 6c3caec234 Bug correction in ctrl2ept: no systematic conversion from int to float Gwenaël Delaval 2017-03-04 01:53:32 +0100
  • 2f18926bf4 Clean up documentation comments Gwenaël Delaval 2017-03-03 11:41:57 +0100
  • 2e107cd872 Suppress "c_" prefix in Ctrl-Nbac generation Gwenaël Delaval 2017-02-23 02:45:04 +0100
  • 5b215f832b Version 1.03.02 Gwenaël Delaval 2017-02-08 21:36:04 +0100
  • 9456322f8c Added sdc tests in CTestTestfile.cmake Gwenaël Delaval 2017-02-06 18:02:31 +0100
  • cffb195b6d Compile/sdc/run test script Gwenaël Delaval 2017-02-06 18:02:05 +0100
  • 03c64bd519 Updated test modular.ept Gwenaël Delaval 2017-02-06 18:01:20 +0100
  • 7bc5e4c115 Examples with contracts and sdc for tests Gwenaël Delaval 2017-02-06 15:32:44 +0100