Commits · develop · Babel Group / makina / makina

Browse files

Jun 24, 2025
- bump version · 345c5609
  Luis authored Jun 24, 2025
  
  345c5609
Jun 12, 2025
- fixed call_command bug · cd576d25
  Luis authored Jun 12, 2025
  
  View commits for tag 0.3.2 0.3.2
  
  cd576d25
Jun 11, 2025
- fix in readme · 571d0247
  Luis authored Jun 11, 2025
  
  View commits for tag 0.3.1 0.3.1
  
  571d0247
- 0.3.1 · 4a4f0819
  Luis authored Jun 11, 2025
  
  4a4f0819
- deploy fix · 384a6e4e
  Luis authored Jun 11, 2025
  
  384a6e4e
- ci now publishes updates to hex.pm · 5a652d26
  Luis authored Jun 11, 2025
  
  5a652d26
- corsa dep now uses http · 97d3006a
  Luis authored Jun 11, 2025
  
  97d3006a
- ci · d9568fac
  Luis authored Jun 11, 2025
  
  d9568fac
- fix · f43cf5ca
  Luis authored Jun 11, 2025
  
  f43cf5ca
Apr 03, 2025
- removes args compatibility check · 20777631
  Luis authored Apr 03, 2025
  
  20777631
- fix · 210b9962
  Luis authored Apr 03, 2025
  
  210b9962
Apr 02, 2025
- fix · 60152d22
  Luis authored Apr 02, 2025
  
  60152d22
- fix · 94c86d05
  Luis authored Apr 02, 2025
  
  94c86d05
- fix · b94eeb8c
  Luis authored Apr 02, 2025
  
  b94eeb8c
- fixes · 3efc2f0b
  Luis authored Apr 02, 2025
  
  3efc2f0b
- fix · 8c4c7283
  Luis authored Apr 02, 2025
  
  8c4c7283
- fix · 9b5f47cb
  Luis authored Apr 02, 2025
  
  9b5f47cb
- fix · bc9c37d0
  Luis authored Apr 02, 2025
  
  bc9c37d0
- now checks type-compatibility on extended dynamic_state · 2a9f66f7
  Luis authored Apr 02, 2025
  
  2a9f66f7
- fixes · 72b8f740
  Luis authored Apr 02, 2025
  
  72b8f740
- fix · 38a736d2
  Luis authored Apr 02, 2025
  
  38a736d2
- updates types · c1704c5b
  Luis authored Apr 02, 2025
  
  c1704c5b
- initial state types are now also checked against the spec in extended model · c0104730
  Luis authored Apr 02, 2025
  
  c0104730
- fix · 6e0c4fb6
  Luis authored Apr 02, 2025
  
  6e0c4fb6
Apr 01, 2025
- fix · a8b55391
  Luis authored Apr 01, 2025
  
  a8b55391
- fix · b0ba5c8e
  Luis authored Apr 01, 2025
  
  b0ba5c8e
- fix · b90657d9
  Luis authored Apr 01, 2025
  
  b90657d9
Mar 31, 2025
- fix · 527e6c62
  Luis authored Mar 31, 2025
  
  527e6c62
- fix · ec041c78
  Luis authored Mar 31, 2025
  
  ec041c78
- fix · e9cc87fb
  Luis authored Mar 31, 2025
  
  e9cc87fb
- fix · 622c20f3
  Luis authored Mar 31, 2025
  
  622c20f3
- fix · 46909547
  Luis authored Mar 31, 2025
  
  46909547
- fix · 50ff6336
  Luis authored Mar 31, 2025
  
  50ff6336
- msg · e5a8c5db
  Luis authored Mar 31, 2025
  
  e5a8c5db
- fixing old tests · 3a9640a8
  Luis authored Mar 31, 2025
  
  3a9640a8
- fix · 282c9003
  Luis authored Mar 31, 2025
  
  282c9003
- now checks that args and dynamic state are correct in postcondition · ff5c26d8
  Luis authored Mar 31, 2025
  
  ff5c26d8
- fix · 4deb2205
  Luis authored Mar 31, 2025
  
  4deb2205
- fix · f24e22e8
  Luis authored Mar 31, 2025
  
  f24e22e8
- error detection in symbolic state · cbf5c2a0
  Luis authored Mar 31, 2025
  
  cbf5c2a0